Solid varieties of semigroups (Q1318964): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Klaus Denecke / rank | |||
Property / author | |||
Property / author: Q202045 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Sheila Oates-Williams / rank | |||
Property / author | |||
Property / author: Klaus Denecke / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Shelly L. Wismath / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Sheila Oates-Williams / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3979090 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypervarieties of a given type / 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: Q4026909 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperidentities and hypervarieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperidentities for some varieties of semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperidentities for some varieties of commutative semigroups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:27, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solid varieties of semigroups |
scientific article |
Statements
Solid varieties of semigroups (English)
0 references
24 October 1994
0 references
Let \(\tau = (n_ i)_{i \in I}\) be a type and \((f_ i)_{i \in I}\) operation symbols such that the arity of \(f_ i\) is \(n_ i\). Let \(W_ \tau(X)\) be the set of all terms of type \(\tau\) in an alphabet \(X\). A map \(\sigma: (f_ i)_{i \in I} \to W_{\tau}(X)\) is a hypersubstitution. If \(t \approx t'\) is an equation, then \(\Xi[t \approx t']\) denotes the set of all equations obtained from \(t \approx t'\) by hypersubstitution. The equation \(t \approx t'\) is a type \(\tau\) hyperidentity of an algebra \(A\) if \(A\) satisfies all the equations in \(\Xi[t \approx t']\). Similarly, an equation is a hyperidentity of a variety \(V\) if it is a hyperidentity of every algebra in \(V\). A variety \(V\) of type \(\tau\) is solid if every identity of \(V\) is also a type \(\tau\) hyperidentity in \(V\). It was shown by \textit{K. Denecke, D. Lau, R. Pöschel} and \textit{D. Schwiegert} [Contrib. Gen. Algebra 7, 97-118 (1991; Zbl 0759.08005)] that a variety is solid if and only if it is a hypervariety. This paper gives other results of this nature for algebras in general, and then turns to a study of solid varieties of semigroups. Many new examples of such varieties are given, and a picture of the bottom of the lattice of such varieties is produced.
0 references
lattice of varieties
0 references
type
0 references
operation symbols
0 references
hypersubstitution
0 references
hyperidentity
0 references
hypervariety
0 references
solid varieties of semigroups
0 references