[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Construction of a Subalgebra

Construction of a Subalgebra

sub<A | L_1, ..., L_r> : AlgFP, AlgFPElt, ..., AlgFPElt -> AlgFP
Construct the subalgebra R of the fp-algebra A generated by the words specified by the terms of the generator list L_1, ..., L_r.

A term L_i of the generator list may consist of any of the following objects:

The collection of words and algebras specified by the list must all belong to the algebra A, and R will be constructed as a subgroup of A.

The generators of R consist of the words specified directly by terms L_i together with the stored generating words for any algebras specified by terms of L_i. Repetitions of an element and occurrences of the identity element are removed (unless R is trivial).

ideal<A | L_1, ..., L_r> : AlgFP, AlgFPElt, ..., AlgFPElt -> AlgFP
Construct the two-sided ideal I of the fp-algebra A generated by the words specified by the terms of the generator list L_1, ..., L_r.

The possible forms of a term L_i of the generator list are the same as for the sub-constructor.

lideal<A | L_1, ..., L_r> : AlgFP, AlgFPElt, ..., AlgFPElt -> AlgFP
Construct the left ideal I of the fp-algebra A generated by the words specified by the terms of the generator list L_1, ..., L_r.

The possible forms of a term L_i of the generator list are the same as for the sub-constructor.

rideal<A | L_1, ..., L_r> : AlgFP, AlgFPElt, ..., AlgFPElt -> AlgFP
Construct the right ideal I of the fp-algebra A generated by the words specified by the terms of the generator list L_1, ..., L_r.

The possible forms of a term L_i of the generator list are the same as for the sub-constructor.

[Next] [Prev] [Right] [Left] [Up] [Index] [Root]