Nil-extensions of unions of groups induced by identities (Q1322581): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q589105 |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Takayuki Tamura / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3686902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3720824 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Retractive nil-extensions of regular semigroups. I, II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3739358 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3778166 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3480271 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3984691 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decompositions of semigroups induced by identities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semigroup varieties of inflations of unions of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semigroups with an idempotent power. II: The lattice of equational subclasses of \([(xy)^2=xy]\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5635619 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5563395 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4123538 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semigroups satisfying variable identities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semigroups Satisfying Variable Identities. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4047743 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semigroups satisfying identity xy=f(x,y) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3734720 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1977745975 / rank | |||
Normal rank |
Latest revision as of 11:23, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nil-extensions of unions of groups induced by identities |
scientific article |
Statements
Nil-extensions of unions of groups induced by identities (English)
0 references
4 January 1995
0 references
The authors determine all identities which induce (1) nil-extensions of unions of groups, (2) retractive nil-extensions of unions of groups and (3) nilpotent extensions of union of groups. An ideal extension \(S\) of a semigroup \(K\) is called a nil-extension (\(n\)-nil extension) if \(S/K\) is a nil-semigroup (\(n\)-nilpotent semigroup). Let \(u = v\) be an identity where \(u\), \(v\) are words, i.e. elements of the free semigroup \(A^ +\) over an alphabet \(A\). For instance, the result of (1): \(u = v\) is an identity which induces a nil-extension of unions of groups if and only if \(u = v\) is not satisfied in the class of semigroups given by any one of the following presentations: \[ \langle a, e\mid a^ 2 = a^ 3,\;e^ 2 = e,\;ae = a,\;ea = a\rangle \] \[ \langle a, e \mid a^ 2 = a^ 3,\;e^ 2 = e,\;ae = a,\;ea = a^ 2\rangle, \] \[ \langle a, e \mid a^ 2 = a^ 3,\;e^ 2 = e,\;ae = a^ 2, ea = a\rangle. \] Also this condition can be equivalently described in explicit forms of \(u\) and \(v\) as follows: \(\{x \in A: | x|_ u = 1\} \neq \{x \in A: | x|_ v = 1\}\) and \(u = v\) is \(p\)-equivalent to some of the following three identities: \[ x_ 1 u'(x_ 2,\dots,x_ n) = v'(x_ 1,\dots,x_{n - 1})x_ n,\tag{A1} \] where \(x_ 1 \nparallel_ \ell v'\) and \(x_ n \nparallel_ r u'\). \((x_ 1 \nparallel_ \ell v'\) means \(x_ 1\) does not divide \(v'\) from the left) \[ x_ 1 u' x_ n = v'\quad \text{ where } x_ 1,x_ n\nmid u',\quad x_ 1 \nparallel_ \ell v'\quad \text{ and }x_ n \nparallel_ r v'\tag{A2} \] \[ x_ 1 u'(x_ 2, \dots, x_ n) = v'(x_ 2,\dots,x_ n)x_ 1.\tag{A3} \] The results (2) and (3) are described in a similar manner.
0 references
identities
0 references
nil-extensions
0 references
unions of groups
0 references
nilpotent extensions
0 references
ideal extension
0 references
words
0 references
presentations
0 references
0 references