A POLYNOMIAL ALGORITHM FOR TESTING CONGRUENCE MODULARITY

DOI10.1142/S0218196796000210zbMath0857.08006MaRDI QIDQ3837506

Christian Herrmann, Marcel Wild

Publication date: 11 March 1997

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

polynomial algorithm; congruence lattice; congruence modularity; modular lattice; finite algebra; closure system; join irreducibles; size of an algebra

Mathematics Subject Classification ID

08B10: Congruence modularity, congruence distributivity

06C05: Modular lattices, Desarguesian lattices

06A15: Galois correspondences, closure operators (in relation to ordered sets)