Ring ^ ZZ -- make a free module

Synopsis

• Operator: ^

• Usage:

  R^n

• Inputs:
  • R, a ring
  • n, an integer
• Outputs:
  • a module, a new free R-module of rank n.

Description

i1 : R = ZZ[x,y,z]/(x^2-y*x)

o1 = R

o1 : QuotientRing

i2 : F = R^4

      4
o2 = R

o2 : R-module, free

i3 : degrees F

o3 = {{0}, {0}, {0}, {0}}

o3 : List

See also

• degrees(Module) -- degrees of generators
• Ring ^ List -- make a free module
• graded and multigraded polynomial rings