加载中…
For semigroup , a commutative congruence on and a subsemigroup Orientable() of were introduced in “Two cancellative commutative congruences and group diagrams”, Semigroup Forum (2011) 82: 338-353. Here we demonstrate that when the semigroup is in fact a group , then Orientable() is the commutator subgroup and is the abelian quotient group .

生成讲解博客的中文版本

生成AI智能校验的中文版本