Namespaces
Variants
Actions

Difference between revisions of "Periodic semi-group"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(Category:Group theory and generalizations)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A [[Semi-group|semi-group]] in which each monogenic sub-semi-group (cf. [[Monogenic semi-group|Monogenic semi-group]]) is finite (in other words, each element has finite order). Every periodic semi-group has idempotents. The set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722001.png" /> of all elements in a periodic semi-group some power (depending on the element) of which is equal to a given idempotent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722002.png" /> is called the torsion class corresponding to that idempotent. The set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722003.png" /> of all elements from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722004.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722005.png" /> serves as the unit is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722006.png" />-class (see [[Green equivalence relations|Green equivalence relations]]). It is the largest subgroup in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722007.png" /> and an ideal in the sub-semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722008.png" /> generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p0722009.png" />; therefore, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220010.png" /> is a homogroup (see [[Minimal ideal|Minimal ideal]]). A periodic semi-group containing a unique idempotent is called unipotent. The unipotency of a periodic semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220011.png" /> is equivalent to each of the following conditions: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220012.png" /> is an ideal extension of a group by a [[Nil semi-group|nil semi-group]], or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220013.png" /> is a subdirect product of a group and a nil semi-group.
+
{{TEX|done}}
 +
A [[Semi-group|semi-group]] in which each monogenic sub-semi-group (cf. [[Monogenic semi-group|Monogenic semi-group]]) is finite (in other words, each element has finite order). Every periodic semi-group has idempotents. The set $K_e$ of all elements in a periodic semi-group some power (depending on the element) of which is equal to a given idempotent $e$ is called the torsion class corresponding to that idempotent. The set $G_e$ of all elements from $K_e$ for which $e$ serves as the unit is an $\mathcal H$-class (see [[Green equivalence relations|Green equivalence relations]]). It is the largest subgroup in $K_e$ and an ideal in the sub-semi-group $\langle K_e\rangle$ generated by $K_e$; therefore, $\langle K_e\rangle$ is a homogroup (see [[Minimal ideal|Minimal ideal]]). A periodic semi-group containing a unique idempotent is called unipotent. The unipotency of a periodic semi-group $S$ is equivalent to each of the following conditions: $S$ is an ideal extension of a group by a [[Nil semi-group|nil semi-group]], or $S$ is a subdirect product of a group and a nil semi-group.
  
The decomposition of a periodic semi-group into torsion classes plays a decisive part in the study of many aspects of periodic semi-groups. An arbitrary torsion class is not necessarily a sub-semi-group: A minimal counterexample is the five-element [[Brandt semi-group|Brandt semi-group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220014.png" />, which is isomorphic to a [[Rees semi-group of matrix type|Rees semi-group of matrix type]] over the unit group having as unit the sandwich matrix of order two. In a periodic semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220015.png" />, all torsion classes are sub-semi-groups if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220016.png" /> does not contain sub-semi-groups that are ideal extensions of a unipotent semi-group by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220017.png" />; in this case, the decomposition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220018.png" /> into torsion classes is not necessarily a [[Band of semi-groups|band of semi-groups]]. Various conditions are known (including necessary and sufficient ones) under which a periodic semi-group is a band of torsion classes; this clearly occurs for commutative semi-groups, and it is true for periodic semi-groups having two idempotents [[#References|[3]]].
+
The decomposition of a periodic semi-group into torsion classes plays a decisive part in the study of many aspects of periodic semi-groups. An arbitrary torsion class is not necessarily a sub-semi-group: A minimal counterexample is the five-element [[Brandt semi-group|Brandt semi-group]] $B_2$, which is isomorphic to a [[Rees semi-group of matrix type|Rees semi-group of matrix type]] over the unit group having as unit the sandwich matrix of order two. In a periodic semi-group $S$, all torsion classes are sub-semi-groups if and only if $S$ does not contain sub-semi-groups that are ideal extensions of a unipotent semi-group by $B_2$; in this case, the decomposition of $S$ into torsion classes is not necessarily a [[Band of semi-groups|band of semi-groups]]. Various conditions are known (including necessary and sufficient ones) under which a periodic semi-group is a band of torsion classes; this clearly occurs for commutative semi-groups, and it is true for periodic semi-groups having two idempotents [[#References|[3]]].
  
The Green relations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220020.png" /> coincide in any periodic semi-group; a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220021.png" />-simple periodic semi-group is completely <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220022.png" />-simple. The following conditions are equivalent for a periodic semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220023.png" />: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220024.png" /> is an [[Archimedean semi-group|Archimedean semi-group]]; 2) all idempotents in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220025.png" /> are pairwise incomparable with respect to the natural partial order (see [[Idempotent|Idempotent]]); and 3) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220026.png" /> is an ideal extension of a [[Completely-simple semi-group|completely-simple semi-group]] by a nil semi-group. Many conditions equivalent to the fact that a periodic semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220027.png" /> decomposes into a band (and then also into a semi-lattice) of Archimedean semi-groups are known; they include the following: a) for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220028.png" /> and for any idempotent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220029.png" />, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220030.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220031.png" /> (cf. [[#References|[5]]]); b) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220032.png" />, each regular <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220033.png" />-class is a sub-semi-group; and c) each [[Regular element|regular element]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220034.png" /> is a group element.
+
The Green relations $\mathcal D$ and $\mathcal J$ coincide in any periodic semi-group; a $0$-simple periodic semi-group is completely $0$-simple. The following conditions are equivalent for a periodic semi-group $S$: 1) $S$ is an [[Archimedean semi-group|Archimedean semi-group]]; 2) all idempotents in $S$ are pairwise incomparable with respect to the natural partial order (see [[Idempotent|Idempotent]]); and 3) $S$ is an ideal extension of a [[Completely-simple semi-group|completely-simple semi-group]] by a nil semi-group. Many conditions equivalent to the fact that a periodic semi-group $S$ decomposes into a band (and then also into a semi-lattice) of Archimedean semi-groups are known; they include the following: a) for any $a\in S$ and for any idempotent $e\in S$, if $e\in SaS$, then $e\in Sa^2S$ (cf. [[#References|[5]]]); b) in $S$, each regular $\mathcal D$-class is a sub-semi-group; and c) each [[Regular element|regular element]] of $S$ is a group element.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220035.png" /> be an infinite periodic semi-group and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220036.png" /> be the set of all its idempotents. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220037.png" /> is finite, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220038.png" /> contains an infinite unipotent sub-semi-group, while if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220039.png" /> is infinite, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220040.png" /> contains an infinite sub-semi-group that is a [[Nilpotent semi-group|nilpotent semi-group]] or a semi-group of idempotents (cf. [[Idempotents, semi-group of|Idempotents, semi-group of]]) [[#References|[4]]].
+
Let $S$ be an infinite periodic semi-group and let $E_S$ be the set of all its idempotents. If $E_S$ is finite, $S$ contains an infinite unipotent sub-semi-group, while if $E_S$ is infinite, $S$ contains an infinite sub-semi-group that is a [[Nilpotent semi-group|nilpotent semi-group]] or a semi-group of idempotents (cf. [[Idempotents, semi-group of|Idempotents, semi-group of]]) [[#References|[4]]].
  
An important subclass of periodic semi-groups is constituted by the locally finite semi-groups (cf. [[Locally finite semi-group|Locally finite semi-group]]). A more extensive class is constituted by the quasi-periodic semi-groups (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220041.png" /> is called quasi-periodic if some power of each of its elements lies in a subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072200/p07220042.png" />). Many properties of periodic semi-groups can be transferred to quasi-periodic ones. Quasi-periodic groups are also called epigroups.
+
An important subclass of periodic semi-groups is constituted by the locally finite semi-groups (cf. [[Locally finite semi-group|Locally finite semi-group]]). A more extensive class is constituted by the quasi-periodic semi-groups ($S$ is called quasi-periodic if some power of each of its elements lies in a subgroup $G\subseteq S$). Many properties of periodic semi-groups can be transferred to quasi-periodic ones. Quasi-periodic groups are also called epigroups.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.H. Clifford,  G.B. Preston,  "The algebraic theory of semi-groups" , '''1''' , Amer. Math. Soc.  (1961)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  E.S. Lyapin,  "Semigroups" , Amer. Math. Soc.  (1974)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.S. Prosvirov,  "Periodic semigroups"  ''Mat. Zap. Uralsk. Univ.'' , '''8''' :  1  (1971)  pp. 77–94  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.N. Shevrin,  "On the theory of periodic semigroups"  ''Soviet Math. Izv. Vyz.'' , '''18''' :  5  (1974)  pp. 172–181  ''Izv. Vyzov. Mat.'' , '''18''' :  5  (1974)  pp. 205–215</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Putcha,  "Semilattice decompositions of semigroups"  ''Semigroup Forum'' , '''6''' :  1  (1973)  pp. 12–34</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  S. Schwarz,  "Contribution to the theory of torsion semigroups"  ''Chekhoslov. Mat. Zh.'' , '''3'''  (1953)  pp. 7–21  (In Russian)  (English abstract)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  A.H. Clifford,  G.B. Preston,  "The algebraic theory of semi-groups" , '''1''' , Amer. Math. Soc.  (1961)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  E.S. Lyapin,  "Semigroups" , Amer. Math. Soc.  (1974)  (Translated from Russian)</TD></TR>
 +
<TR><TD valign="top">[3]</TD> <TD valign="top">  A.S. Prosvirov,  "Periodic semigroups"  ''Mat. Zap. Uralsk. Univ.'' , '''8''' :  1  (1971)  pp. 77–94  (In Russian)</TD></TR>
 +
<TR><TD valign="top">[4]</TD> <TD valign="top">  L.N. Shevrin,  "On the theory of periodic semigroups"  ''Soviet Math. Izv. Vyz.'' , '''18''' :  5  (1974)  pp. 172–181  ''Izv. Vyzov. Mat.'' , '''18''' :  5  (1974)  pp. 205–215</TD></TR>
 +
<TR><TD valign="top">[5]</TD> <TD valign="top">  M. Putcha,  "Semilattice decompositions of semigroups"  ''Semigroup Forum'' , '''6''' :  1  (1973)  pp. 12–34</TD></TR>
 +
<TR><TD valign="top">[6]</TD> <TD valign="top">  S. Schwarz,  "Contribution to the theory of torsion semigroups"  ''Chekhoslov. Mat. Zh.'' , '''3'''  (1953)  pp. 7–21  (In Russian)  (English abstract)</TD></TR>
 +
</table>
 +
 
 +
[[Category:Group theory and generalizations]]

Latest revision as of 17:22, 17 October 2014

A semi-group in which each monogenic sub-semi-group (cf. Monogenic semi-group) is finite (in other words, each element has finite order). Every periodic semi-group has idempotents. The set $K_e$ of all elements in a periodic semi-group some power (depending on the element) of which is equal to a given idempotent $e$ is called the torsion class corresponding to that idempotent. The set $G_e$ of all elements from $K_e$ for which $e$ serves as the unit is an $\mathcal H$-class (see Green equivalence relations). It is the largest subgroup in $K_e$ and an ideal in the sub-semi-group $\langle K_e\rangle$ generated by $K_e$; therefore, $\langle K_e\rangle$ is a homogroup (see Minimal ideal). A periodic semi-group containing a unique idempotent is called unipotent. The unipotency of a periodic semi-group $S$ is equivalent to each of the following conditions: $S$ is an ideal extension of a group by a nil semi-group, or $S$ is a subdirect product of a group and a nil semi-group.

The decomposition of a periodic semi-group into torsion classes plays a decisive part in the study of many aspects of periodic semi-groups. An arbitrary torsion class is not necessarily a sub-semi-group: A minimal counterexample is the five-element Brandt semi-group $B_2$, which is isomorphic to a Rees semi-group of matrix type over the unit group having as unit the sandwich matrix of order two. In a periodic semi-group $S$, all torsion classes are sub-semi-groups if and only if $S$ does not contain sub-semi-groups that are ideal extensions of a unipotent semi-group by $B_2$; in this case, the decomposition of $S$ into torsion classes is not necessarily a band of semi-groups. Various conditions are known (including necessary and sufficient ones) under which a periodic semi-group is a band of torsion classes; this clearly occurs for commutative semi-groups, and it is true for periodic semi-groups having two idempotents [3].

The Green relations $\mathcal D$ and $\mathcal J$ coincide in any periodic semi-group; a $0$-simple periodic semi-group is completely $0$-simple. The following conditions are equivalent for a periodic semi-group $S$: 1) $S$ is an Archimedean semi-group; 2) all idempotents in $S$ are pairwise incomparable with respect to the natural partial order (see Idempotent); and 3) $S$ is an ideal extension of a completely-simple semi-group by a nil semi-group. Many conditions equivalent to the fact that a periodic semi-group $S$ decomposes into a band (and then also into a semi-lattice) of Archimedean semi-groups are known; they include the following: a) for any $a\in S$ and for any idempotent $e\in S$, if $e\in SaS$, then $e\in Sa^2S$ (cf. [5]); b) in $S$, each regular $\mathcal D$-class is a sub-semi-group; and c) each regular element of $S$ is a group element.

Let $S$ be an infinite periodic semi-group and let $E_S$ be the set of all its idempotents. If $E_S$ is finite, $S$ contains an infinite unipotent sub-semi-group, while if $E_S$ is infinite, $S$ contains an infinite sub-semi-group that is a nilpotent semi-group or a semi-group of idempotents (cf. Idempotents, semi-group of) [4].

An important subclass of periodic semi-groups is constituted by the locally finite semi-groups (cf. Locally finite semi-group). A more extensive class is constituted by the quasi-periodic semi-groups ($S$ is called quasi-periodic if some power of each of its elements lies in a subgroup $G\subseteq S$). Many properties of periodic semi-groups can be transferred to quasi-periodic ones. Quasi-periodic groups are also called epigroups.

References

[1] A.H. Clifford, G.B. Preston, "The algebraic theory of semi-groups" , 1 , Amer. Math. Soc. (1961)
[2] E.S. Lyapin, "Semigroups" , Amer. Math. Soc. (1974) (Translated from Russian)
[3] A.S. Prosvirov, "Periodic semigroups" Mat. Zap. Uralsk. Univ. , 8 : 1 (1971) pp. 77–94 (In Russian)
[4] L.N. Shevrin, "On the theory of periodic semigroups" Soviet Math. Izv. Vyz. , 18 : 5 (1974) pp. 172–181 Izv. Vyzov. Mat. , 18 : 5 (1974) pp. 205–215
[5] M. Putcha, "Semilattice decompositions of semigroups" Semigroup Forum , 6 : 1 (1973) pp. 12–34
[6] S. Schwarz, "Contribution to the theory of torsion semigroups" Chekhoslov. Mat. Zh. , 3 (1953) pp. 7–21 (In Russian) (English abstract)
How to Cite This Entry:
Periodic semi-group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Periodic_semi-group&oldid=17355
This article was adapted from an original article by L.N. Shevrin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article