7.88 Right Cosets Records

A right coset is represented by a domain record with the following tag components.

isDomain:

always true.

isRightCoset:

always true.

The right coset is determined by the following identity components, which every right coset record has.

group:

the subgroup U of which this right coset is a right coset.

representative:

an element of the right coset. It is unspecified which element.

In addition, a right coset record may have the following optional information components.

elements:

if present the proper set of elements of the coset.

isFinite:

if present this is true if the coset is finite, and false if the coset is infinite. If not present it is not known whether the coset is finite or infinite.

size:

if present the size of the coset. Is "infinity" if the coset is infinite. If not present the size of the coset is not known.

Previous Up Top Next
Index