48.2 Ideals of semigroups

Ideals of semigroups are the same as ideals of the semigroup when considered as a magma. For documentation on ideals for magmas see Magma.

  • SemigroupIdealByGenerators( S, gens ) O

    S is a semigroup, gens is a list of elements of S. Returns the two-sided ideal of S generated by gens.

  • ReesCongruenceOfSemigroupIdeal( I ) A

    A two sided ideal I of a semigroup S defines a congruence on S given by DÈI ×I.

  • IsLeftSemigroupIdeal( I ) P
  • IsRightSemigroupIdeal( I ) P
  • IsSemigroupIdeal( I ) P

    Categories of semigroup ideals.

  • IsRightSemigroupIdealEnumerator C
  • IsLeftSemigroupIdealEnumerator C
  • IsSemigroupIdealEnumerator C

    Categories for generic semigroup ideal enumerators.

    [Top] [Previous] [Up] [Next] [Index]

    GAP 4 manual
    February 2000