ambient

ambient M -- yields the ambient free module for the module M.
ambient R -- yields the ambient ring of the quotient ring R . For a Galois field it yields the ring it was constructed from. 

     i1 = ambient(ZZ/101[a,b]/b^3/a^3)
     
           ZZ
          ---[a,b]
          101
     o1 = --------
              3
             b
     
     o1 : QuotientRing

See also cover and super.

Go to main index.

Go to concepts index.