ring S
i1 : R=ZZ/37[x,y,z];
i2 : S=createMonomialSubalgebra {x^2*y, x*z, z^3} ZZ 2 3 o2 = --[x y, x*z, z ] 37 o2 : monomial subalgebra of R
i3 : ring S o3 = R o3 : PolynomialRing