Lattice of congruences of a lattice is distributive
42723
Lattices are congruence-distributive
7316
How to prove that $z\gcd(a,b)=\gcd(za,zb)$
14809
Existence & uniqueness of solutions of linear congruences $\ cx\equiv b\pmod m$
30725
Why are naturals < modulus equal if congruent? [uniqueness of remainder]
8481
System of congruence relations
46147
Proving $(\forall a\in\mathbb{Z^+})(m\in\mathbb{Z^+}\to a^m\equiv a^{m-\phi(m)}\pmod{m})$
94017
If p is a prime and a ∈Z. How do we prove that the congruence x^x ≡ a (mod p) is solvable?
24561
$\mathbb S_n$ as semidirect product
93410
How to prove ~ (~P & ~Q) : P ∨ Q by natural deduction
1425
The Chinese Remainder Theorem for Rings.
41846
$(\mathbb{R}^n,\|\cdot\|_{p})$ is isometrically isomorphic to $(\mathbb{R}^n,\|\cdot\|_{q})$ iff $p=q,$
42141
Proving Distributivity of Matrix Multiplication
146617
A complete picture of the lattice of subfields for a cyclotomic extension over $\mathbb{Q}$.
102112
Idempotents in $\mathbb Z_n$
48397
Index of a sublattice in a lattice and a homomorphism between them
57654
Congruent Modulo $n$: definition
81150
Positive integer multiples of an irrational mod 1 are dense