In algebra, the principal factor of a
-class ''J'' of a
semigroup
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.
The binary operation of a semigroup is most often denoted multiplicatively (just notation, not necessarily th ...
''S'' is equal to ''J'' if ''J'' is the
kernel of ''S'', and to
otherwise.
Properties
* A principal factor is a
simple
Simple or SIMPLE may refer to:
*Simplicity, the state or quality of being simple
Arts and entertainment
* ''Simple'' (album), by Andy Yorke, 2008, and its title track
* "Simple" (Florida Georgia Line song), 2018
* "Simple", a song by John ...
,
0-simple or
null semigroup.
[Grillet (1995), p. 50, Proposition 4.9.]
References
Further reading
*.
* .
*.
Semigroup theory
{{abstract-algebra-stub