Log in

An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

  • Research Article
  • Published:
Central European Journal of Mathematics

Abstract

In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L p,k, and the finite field F(p k) with constants F(p). By using Lagrange polynomials, we give an explicit procedure to obtain an interpretation Φ1 of the variety V(L p,k) generated by L p,k into the variety V(F(p k)) generated by F(p k) and an interpretation Φ2 of V(F(p k)) into V(L p,k) such that Φ2Φ1(B) = B for every B ε V(L p,k) and Φ1Φ2(R) = R for every R ε V(F(p k)).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (France)

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. M. Abad: “Cyclic Post algebras of order n”, An. Acad. Brasil. Ciênc., Vol. 53(2), (1981), pp. 243–246.

    MATH  MathSciNet  Google Scholar 

  2. R. Balbes and P. Dwinger: Distributive Lattices, University of Missouri Press, Columbia, MO., 1974.

    MATH  Google Scholar 

  3. V. Boicescu, A. Filipoiu, G. Georgescu and S. Rudeanu: Lukasiewicz-Moisil Algebras, Annals of Discrete Mathematics, Vol. 49, North-Holland, Amsterdam, 1991.

    MATH  Google Scholar 

  4. S. Burris and H. Sankappanavar: A Course in Universal Algebra, Graduate Texts in Mathematics, Vol 78, Springer, Berlin, 1981.

    MATH  Google Scholar 

  5. H. Cendra: “Cyclic Boolean algebras and Galois fields F(2k)”, Portugal. Math., Vol. 39(1–4), (1980), pp. 435–440.

    MathSciNet  Google Scholar 

  6. G. Epstein: “The lattice theory of Post algebras”, Trans. Amer. Math. Soc., Vol. 95, (1960), pp. 300–317.

    Article  MATH  MathSciNet  Google Scholar 

  7. K. Kaarly and A.F. Pixley: Polynomial Completeness in Algebraic Systems, Chapman and Hall, Boca Raton, 2001.

    Google Scholar 

  8. S. Lang: Algebra, Addison-Wesley Publishing Company, CA., 1984.

    Google Scholar 

  9. R. Lewin: “Interpretability into Łukasiewicz algebras”, Rev. Un. Mat. Argentina, Vol. 41(3), (1999), pp. 81–98.

    MATH  MathSciNet  Google Scholar 

  10. R. McKenzie, G. McNulty and W. Taylor: Algebras, Lattices, Varieties, Vol. I, Wadsworth and Brooks, Monterey, CA, 1987.

    Google Scholar 

  11. A. Monteiro: “Algèbres de Boole cycliques”, Rev. Roumaine de Mathématiques Pures Appl., Vol. 23(1), (1978), pp. 71–76.

    MATH  MathSciNet  Google Scholar 

  12. G. Moisil: Algebra schemelor cu elemente ventil, Seria St. nat. 4–5, Revista Universitatii C.I. Parhon, Bucharest, 1954, pp. 9–15.

    Google Scholar 

  13. G. Moisil: “Algèbres universelles et automates”, In: Essais sur les Logiques non Chrysippiennes, Editions de L’Academie de la Republique Socialiste de Roumanie, Bucharest, 1972.

    Google Scholar 

  14. S. Rudeanu: Boolean functions and equations, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1974.

    MATH  Google Scholar 

  15. M. Serfati: “Introduction aux Algèbres de Post et à leurs applications (logiques à r valeurs-équations postiennes-graphoïdes orientés)”, Cahiers du Bureau Universitaire de Recherche Opérationnelle Université Paris VI. Série Recherche, Vol. 21, (1973), pp. 35–42.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

About this article

Cite this article

Abad, M., Díaz Varela, J.P., López Martinolich, B.F. et al. An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field. centr.eur.j.math. 4, 547–561 (2006). https://doi.org/10.2478/s11533-006-0023-8

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.2478/s11533-006-0023-8

Keywords

MSC (2000)

Navigation