If the coefficient ring R of an algebra A is a Euclidean domain then one may construct submodules and ideals of A in Magma.
Create the subalgebra S of the algebra A that is generated by the elements defined by L, where L is a list of one or more items of the following types:The constructor returns the subalgebra as an algebra of the same type as A. An exception are group algebras, where the subalgebra is either of type AlgAss or of the special type AlgGrpSub. As well as the subalgebra S itself, the constructor returns the inclusion homomorphism f : S -> A.
- (a)
- An element of A;
- (b)
- A set or sequence of elements of A;
- (c)
- A subalgebra or ideal of A;
- (d)
- A set or sequence of subalgebras or ideals of A.
Create the left ideal I of the algebra A generated by the elements defined by L, where L is a list as for the sub constructor above.The constructor returns the left ideal as an algebra of the same type as A with the same exception for group algebras as for the sub constructor. As well as the left ideal I itself, the constructor returns the inclusion homomorphism f : I -> A.
Create the right ideal I of the algebra A generated by the elements defined by L, where L is a list as for the sub constructor above.The constructor returns the right ideal as an algebra of the same type as A with the same exception for group algebras as for the sub constructor. As well as the right ideal I itself, the constructor returns the inclusion homomorphism f : I -> A.
Create the (two-sided) ideal I of the algebra A generated by the elements defined by L, where L is a list as for the sub constructor above.The constructor returns the right ideal as an algebra of the same type as A with the same exception for group algebras as for the sub constructor. As well as the ideal I itself, the constructor returns the inclusion homomorphism f : I -> A.
If the coefficient ring R of an algebra A is a field, then quotient algebras of A may also be constructed.
Create the quotient algebra Q = A / I, where I is the two-sided ideal of A generated by the elements of A specified by the list L, which should satisfy the same conditions as for the sub constructor above.The constructor returns the quotient as a structure constant algebra with degree equal to its dimension. If A is known to be associative, then Q is of type AlgAss, otherwise Q is of type AlgGen. As well as the quotient Q itself, the constructor returns the natural homomorphism f : A -> Q.
The quotient of the algebra A by the (two-sided) ideal closure of its subalgebra S.