Beitr\"age zur Algebra und Geometrie
Contributions to Algebra and Geometry
Volume 36 (1995), No. 1
The Strong Independence Theorem for Automorphism Groups and Congruence Lattices
of Finite Lattices
G. Gr\"atzer
The Independence Theorem for the congruence
lattice and the automorphism group of a finite lattice
was proved by V.~A. Baranski\u\i\ and A.~Urquhart.
Both proofs utilize the characterization theorem of
congruence lattices of finite lattices (as finite
distributive lattices) and the characterization
theorem of automorphism groups of finite lattices (as
finite groups).
In this paper, we introduce a new, stronger form of
independence.