On regular identities (Q795074): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3939863 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Regular Identities in Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On equational classes of abstract algebras defined by regular equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the subdirect Product of some Equational classes of Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5609363 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01194544 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2078802264 / rank | |||
Normal rank |
Latest revision as of 12:12, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On regular identities |
scientific article |
Statements
On regular identities (English)
0 references
1983
0 references
An identity \({\mathfrak p}\equiv {\mathfrak q}\) is called regular if the set of variables occurring in \({\mathfrak p}\) is the same as those of \({\mathfrak q}\), it is called normal if \({\mathfrak p}={\mathfrak q}\) or neither \({\mathfrak p}\) and \({\mathfrak q}\) is a variable. The author proves that the regular and normal identities holding in a variety K of algebras form a basis for all the identities of K. Further if the type is finite and \({\mathfrak p}({\mathfrak x},{\mathfrak y})\equiv {\mathfrak x}\) holds in K for some polynomial in which both \({\mathfrak x}\) and \({\mathfrak y}\) occur, then if all the identities of K have a finite basis, so do the regular identities of K.
0 references
normal identities
0 references
variety
0 references
finite basis
0 references
regular identities
0 references