Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Lave Cave's user avatar
  • 293
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 ...
Arena's user avatar
  • 21
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}$ ...
Tom's user avatar
  • 133
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 ...
gmp's user avatar
  • 65
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 ...
William DeMeo's user avatar