R-trivial semigroups¶
- class sage.categories.r_trivial_semigroups.RTrivialSemigroups(base_category)[source]¶
- Bases: - CategoryWithAxiom- Commutative_extra_super_categories()[source]¶
- Implement the fact that a commutative \(R\)-trivial semigroup is \(J\)-trivial. - EXAMPLES: - sage: Semigroups().RTrivial().Commutative_extra_super_categories() [Category of j trivial semigroups] - >>> from sage.all import * >>> Semigroups().RTrivial().Commutative_extra_super_categories() [Category of j trivial semigroups] 
 - extra_super_categories()[source]¶
- Implement the fact that a \(R\)-trivial semigroup is \(H\)-trivial. - EXAMPLES: - sage: Semigroups().RTrivial().extra_super_categories() [Category of h trivial semigroups] - >>> from sage.all import * >>> Semigroups().RTrivial().extra_super_categories() [Category of h trivial semigroups]