Advertisement

Algebra universalis

, Volume 69, Issue 3, pp 257–278 | Cite as

Expansions of finite algebras and their congruence lattices

  • William DeMeo
Article

Abstract

In this paper, we present a novel approach to the construction of new finite algebras and describe the congruence lattices of these algebras. Given a finite algebra \({\langle B_0, \ldots \rangle}\), let \({B_1,B_2, \ldots , B_K}\) be sets that either intersect B 0 or intersect each other at certain points. We construct an overalgebra \({\langle A, FA \rangle}\), by which we mean an expansion of \({\langle B_0, \ldots \rangle}\) with universe \({A = B_0 \cup B_1 \cup \ldots \cup B_K}\), and a certain set F A of unary operations that includes mappings e i satisfying \({e^2_i = e_i}\) and e i (A) =  B i , for \({0 \leq i \leq K}\). We explore two such constructions and prove results about the shape of the new congruence lattices Con\({\langle A, F_A \rangle}\) that result. Thus, descriptions of some new classes of finitely representable lattices is one contribution of this paper. Another, perhaps more significant, contribution is the announcement of a novel approach to the discovery of new classes of representable lattices, the full potential of which we have only begun to explore.

2010 Mathematics Subject Classification

Primary: 08A30 Secondary: 08A60 06B10 

Key words and phrases

congruence lattice finite algebra finite lattice representations 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society Colloquium Publications, vol. 25. American Mathematical Society, Providence (1979)Google Scholar
  2. 2.
    DeMeo, W.: Interval enforceable properties of finite groups. http://arxiv.org/abs/1205.1927 (2012, preprint)
  3. 3.
    DeMeo, W., Freese, R.: Congruence lattices of intransitive G-sets (2012, preprint)Google Scholar
  4. 4.
    Freese, R., Kiss, E., Valeriote, M.: Universal Algebra Calculator. http://www.uacalc.org (2008)
  5. 5.
    The GAP Group: GAP—Groups, Algorithms, and Programming, version 4.4.12. http://www.gap-system.org (2008)
  6. 6.
    Grätzer G., Schmidt E.T.: Characterizations of congruence lattices of abstract algebras. Acta Sci. Math. (Szeged) 24, 34–59 (1963)MathSciNetMATHGoogle Scholar
  7. 7.
    McKenzie, R.: Finite forbidden lattices. In: Universal Algebra and Lattice Theory (Puebla, 1982). Lecture Notes in Mathematics, vol. 1004, pp. 176–205. Springer, Berlin (1983)Google Scholar
  8. 8.
    McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices, Varieties, vol. I. Wadsworth & Brooks/Cole, Monterey (1987)Google Scholar
  9. 9.
    Pálfy, P.P.: Intervals in subgroup lattices of finite groups. In: Groups ’93 Galway/St. Andrews, vol. 2. London Math. Soc. Lecture Note Ser., vol. 212, pp. 482–494. Cambridge University Press, Cambridge (1995)Google Scholar
  10. 10.
    Pálfy P.P., Pudlák P.: Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups. Algebra Universalis 11, 22–27 (1980)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer Basel 2013

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of South CarolinaColumbiaUSA

Personalised recommendations