Ideals in universal algebras (Q798686): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5595183 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An easy way to the commutator in modular varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(n\)-permutable congruences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups with Multiple Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the representation of lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Su una classe equazionale di algebre / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Implication algebras are 3-permutable and 3-distributive / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5678913 / rank | |||
Normal rank |
Revision as of 13:56, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ideals in universal algebras |
scientific article |
Statements
Ideals in universal algebras (English)
0 references
1984
0 references
The authors consider ideals in varieties with 0, which were introduced by \textit{A. Ursini} [Boll. Un. Mat. Ital., IV. Ser. 6, 90--95 (1972; Zbl 0263.08006)] as a generalization of ideals in rings, normal subgroups etc. Ideals are defined by equations in classes of algebras with a constant 0 and for every congruence \(\theta [0]\theta\) is an ideal. Important is the case that also every ideal is \([0]\theta\) for a unique congruence \(\theta\), in which case the lattices of ideals and congruences are isomorphic. These varieties are called ideal determined. Using a result of Fichtner on 0-regular varieties a Mal'cev condition for ideal determined varieties can be stated. Some characterizations on the congruence lattice follow. In the second part, in ideal determined varieties commutators on congruences (and ideals) are considered. Here a characterization of the commutator \([I,J]\) of ideals \(I, J\) is given using terms.
0 references
ideals in varieties
0 references
lattices of ideals
0 references
0-regular varieties
0 references
Mal'cev condition
0 references
ideal determined varieties
0 references
congruence lattice
0 references
commutators
0 references
0 references