Minimal noncommutative varieties and power varieties (Q796662): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2140/pjm.1984.111.125 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2043288907 / rank | |||
Normal rank |
Latest revision as of 20:25, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal noncommutative varieties and power varieties |
scientific article |
Statements
Minimal noncommutative varieties and power varieties (English)
0 references
1984
0 references
A variety of finite monoids is a class of finite monoids closed under taking submonoids, quotients and \textit{finite} direct products. A language L is a subset of a finitely generated free monoid. The variety theorem of Eilenberg sets up a one to one correspondence between varieties of finite monoids and classes of languages called, appropriately, varieties of languages. If V is a variety of monoids, let PV denote the variety generated by the power set monoids PM, \(M\in V\). The authors show that for any variety, one has \(P^ 3V=P^ 4V\). In fact, if V contains a noncommutative monoid, then \(P^ 3V\) is the variety of all finite monoids; and if V is commutative, then \(P^ 2V=P^ 3V\), a result obtained already by Perrot and Straubing. The proof of the above theorem uses the following result, which the authors also prove: if V is a minimal noncommutative variety, then V is generated either by a noncommutative metabelian group or by the syntactic monoid of one of the languages \(\{a,b\}^*a\), \(a\{a,b\}^*\) or \(\{\) a\(b\}\).
0 references
variety of finite monoids
0 references
finitely generated free monoid
0 references
variety theorem of Eilenberg
0 references
varieties of languages
0 references
minimal noncommutative variety
0 references