The AssociativeAlgebras package contains a number of methods for studying noncommutative rings - primarily graded rings. The following three extended examples highlight the capabilities of the package.
Our first example concerns a three-dimensional Sklyanin algebra. This example is a PI-ring. We define the ring as a quotient of the tensor algebra on three generators by the two-sided ideal generated by the three elements listed.
|
|
|
|
|
It is known that this algebra has a unique (up to rescaling) central element of degree 3. We can verify this claim computationally using centralElements and check that the element is regular to a given degree. See isLeftRegular.
|
|
|
|
In fact, we can see that j is (up to scaling) the only normal element of degree 3. See the discussion above for interpreting the output of normalElements.
|
|
The user can create noncommutative rings in ways other than specifying a presentation. For our second example, consider a skew polynomial ring on four generators, where generators skew-commute (but are not nilpotent). See skewPolynomialRing for more details.
|
Let us briefly note that the user can also define a skew polynomial ring with coefficients in a commutative ring.
|
|
|
Returning to the main example, we can define a graded Ore extension of C by specifying an automorphism. The function map is used to define a ring map. Note that ring maps are linear and multiplicative by definition but are not assumed to be well-defined.
|
|
We form the Ore extension of C by sigma. See oreExtension.
|
The new generator a is normal and regular in D. Regularity (on the left or right) can be checked one homogeneous degree at a time. See isLeftRegular. Thus a determines a graded automorphism f:D->D via a*r=f(r)*a.
|
|
|
Given an automorphism, one can check to see which elements it normalizes in any given degree.
|
|
One can check for the presence of normal elements more generally. In our example, since a is normal, a^2 will also be normal. It is the only normal monomial of degree 2. A complete description of the normal elements in a given degree is given by normalElements.
|
Each component of the "normal variety" is a set of polynomial equations which must be satisfied by the coefficients of the monomial basis for an element expressed in that basis to be normal. In this case, the basis of D in degree 2 is
|
The output of normalElements tells us that in order for a degree 2 element of D to be normal, it must be an expression in powers of the generators, and that the coefficients of these powers must satisfy the six nontrivial equations listed.
|
Of course, one has been able to define (graded) commutative algebras in Macaulay2 for a long time. Specifying graded commutativity is usually done with the SkewCommutative option when creating the ring. The user can convert such rings (and their quotients) to a FreeAlgebraQuotient by using the command toFreeAlgebraQuotient:
|
|
|
|
|
|
|