On identities of finite involution semigroups. (Q2267781): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00233-009-9193-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2015594284 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational theories of semigroups with involution. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Avoidable patterns in strings of symbols / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5313980 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3904780 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Poincaré recurrence and number theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-identities of finite semigroups and symbolic dynamics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3728962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A field guide to equational logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3658046 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>V</i>-regular semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Regular * semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Identical relations in finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5849795 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bases for equational theories of semi-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772415 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3362125 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: IDENTITIES OF FINITE INVERSE SEMIGROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3924387 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4728547 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2740982 / rank | |||
Normal rank |
Latest revision as of 12:54, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On identities of finite involution semigroups. |
scientific article |
Statements
On identities of finite involution semigroups. (English)
0 references
2 March 2010
0 references
Zimin's word \(Z_n\) on the variables \(x_1,\dots,x_n\) is defined inductively by letting \(Z_1=x_1\) and \(Z_n=Z_{n-1}x_nZ_{n-1}\) for \(n>1\). In a preprint by \textit{K.~Auinger}, the author, and the reviewer [``Equational theories of semigroups with enriched signature'', \url{http://arxiv.org/abs/0902.1155}], it has been shown that a finite involution semigroup \(S\) is inherently nonfinitely based whenever \(S\) satisfies no nontrivial identity of the form \(Z_n=W\) with \(W\) being a involutorial word. Here the author proves that if \(S\) satisfies a nontrivial identity of the form \(Z_n=W\) and either the variety of involution semigroups generated by \(S\) does not contain the 6-element Brandt monoid \(B_2^1\) (considered as an involution semigroup subject to its natural involution) or \(W\) can be decomposed as \(Z_nW'\) for some involutorial word \(W'\), then \(S\) is not inherently nonfinitely based.
0 references
finite involution semigroups
0 references
finitely based varieties
0 references
locally finite varieties
0 references
inherently nonfinitely based varieties
0 references
Zimin word
0 references
involutorial isoterms
0 references
Brandt monoid
0 references
identities
0 references