R-trivial semigroups - Category Framework

Skip to content
Back to top
View this page
Edit this page

# R-trivial semigroups

class sage.categories.r_trivial_semigroups.RTrivialSemigroups(base_category)

  Bases: `CategoryWithAxiom`

  Commutative_extra_super_categories()

    Implement the fact that a commutative \(R\)-trivial semigroup is \(J\)-trivial.

    EXAMPLES:

    Sage

        sage: Semigroups().RTrivial().Commutative_extra_super_categories()
        [Category of j trivial semigroups]

    Python

        >>> from sage.all import *
        >>> Semigroups().RTrivial().Commutative_extra_super_categories()
        [Category of j trivial semigroups]

  extra_super_categories()

    Implement the fact that a \(R\)-trivial semigroup is \(H\)-trivial.

    EXAMPLES:

    Sage

        sage: Semigroups().RTrivial().extra_super_categories()
        [Category of h trivial semigroups]

    Python

        >>> from sage.all import *
        >>> Semigroups().RTrivial().extra_super_categories()
        [Category of h trivial semigroups]