All Questions
Tagged with congruences universal-algebra
5 questions
4
votes
2
answers
365
views
Notion of prime congruences
We have the idea of a prime ideal in a commutative ring $R$ but in universal algebra, we generalize the notion of ideal to that of a congruence. I’ve thought over the question of what a prime ...
2
votes
1
answer
118
views
Reference request for a proof of the fact that every congruence-permutable variety is semidegenerate
Given an algebra $\mathbf{A}$, a pair of congruences
$ \alpha ,\beta \in Con(\mathbf {A})$ are said to permute when
$ \alpha \circ \beta =\beta \circ \alpha$, and an algebra
$\mathbf{A}$ is called ...
3
votes
1
answer
80
views
Reference request for a proof of the Mal'cev condition for congruence $n$-permutability
By a theorem of Hagemann and Mitschke, a condition (A) that a variety $\mathcal{V}$ is congruence $n$-permutable, is equivalent to a condition (B) that there exist ternary terms $p_1,\dots,p_{n-1}$ ...
1
vote
0
answers
254
views
Presentation of amalgamated sum as a quotient of the direct sum
I am currently reading Arthur Ogus' "Lectures on Logarithmic Algebraic Geometry" (https://math.berkeley.edu/~ogus/preprints/log_book/logbook.pdf).
I'm trying to understand why the amalgamated sum of ...
22
votes
0
answers
1k
views
Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?
If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by ...