Macaulay2 » Documentation
Packages » AssociativeAlgebras :: oreIdeal
next | previous | forward | backward | up | index | toc

oreIdeal -- Creates the defining ideal of an Ore extension of a noncommutative ring



Given a ring A, an Ore extension of A by x is the quotient of the free extension A<x> by the relations x*a - sigma(a)*x-delta(a) where sigma is an automorphism of A and delta is a sigma-derivation. This method returns the defining ideal (in the appropriate tensor algebra) of an Ore extension of A by x. The current version assumes the sigma-derivation delta is 0, but this is to be fixed soon.

i1 : B = skewPolynomialRing(QQ,(-1)_QQ,{x,y,z,w})
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o1 = B

o1 : FreeAlgebraQuotient
i2 : sigma = map(B,B,{y,z,w,x})

o2 = map (B, B, {y, z, w, x})

o2 : RingMap B <-- B
i3 : C = oreIdeal(B,sigma,a)

o3 = ideal (x*y + y*x, x*z + z*x, y*z + z*y, x*w + w*x, y*w + w*y, z*w + w*z,
     - y*a + a*x, - z*a + a*y, - w*a + a*z, - x*a + a*w)

o3 : Ideal of QQ <|x, y, z, w, a|>

See also

Ways to use oreIdeal :

For the programmer

The object oreIdeal is a method function with options.