delta = derivation(A,output,sigma)
This function returns a Derivation object, which may be used to perform computations with (twisted) derivations in a noncommutative algebra. A linear map $\delta : A \to A$ is called a $\sigma$-derivation provided for all $x,y \in A$, one has $\delta(xy) = \delta(x)y + \sigma(x)\delta(y)$. Such maps are useful in defining many noncommutative algebras, including Ore extensions.
Below we give a simple example of a twisted derivation that is used to define the subalgebras appearing in Fomin and Procesi's work to describe Fomin-Kirillov algebras.
|
|
|
|
The object Derivation is a type, with ancestor classes HashTable < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2:1692:0.