Springer Nature is making Coronavirus research free. View research | View latest news | Sign up for updates

Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras

  • 63 Accesses


There is a constructive method to define a structure of simple k-cyclic Post algebra of order p, L p,k , on a given finite field F(p k), and conversely. There exists an interpretation Φ1 of the variety \({\mathcal{V}(L_{p,k})}\) generated by L p,k into the variety \({\mathcal{V}(F(p^k))}\) generated by F(p k) and an interpretation Φ2 of \({\mathcal{V}(F(p^k))}\) into \({\mathcal{V}(L_{p,k})}\) such that Φ2Φ1(B) =  B for every \({B \in \mathcal{V}(L_{p,k})}\) and Φ1Φ2(R) =  R for every \({R \in \mathcal{V}(F(p^k))}\).

In this paper we show how we can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple.

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


  1. 1.

    Abad M., Díaz Varela J.P., López Martinolich B.F., Vannicola M.C., Zander M. (2006) ‘An Equivalence between Varieties of Cyclic Post Algebras and Varieties generated by a Finite Field’. Central European Journal of Mathematics 4: 547–561

  2. 2.

    Abad M. (1981) ‘Cyclic Post algebras of order n’. An. Acad. Brasil. Ciênc. 53(2): 243–246

  3. 3.

    Adams, W., and P. Loustaunau, An Introduction to Gröbner Bases, Graduate Studies in Mathematics, 3, AMS, Providence, 1994.

  4. 4.

    Allgower, E. L., and K. Georg, Computational Solution of Nonlinear Systems of Equations, Lectures in Applied Mathematics, 26, AMS, 1990.

  5. 5.

    Balbes R., Dwinger P. (1974) Distributive Lattices. University of Missouri Press, Columbia, MO

  6. 6.

    Becker, T., and V. Weispfenning, Gröbner Bases, Graduate Texts in Mathematics 141, Springer-Verlag, 1993.

  7. 7.

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

  8. 8.

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

  9. 9.

    Cendra, H., ‘Cyclic Boolean algebras and Galois fields F(2k)’, Portugal. Math. 39, 1–4:435–440, 1980.

  10. 10.

    Cox, D., J. Little, andD. O’Shea, Ideals, Varieties and Algorithms, Undergraduate Texts in Mathematics, Springer-Verlag, 1992, 1997.

  11. 11.

    Epstein G. (1960) ‘The lattice theory of Post algebras’. Trans. Amer. Math. Soc. 95: 300–317

  12. 12.

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

  13. 13.

    Kunz E. (1985) Introduction to Commutative Algebra and Algebraic Geometry. Birkhäuser, Boston

  14. 14.

    Lang S. (1984) Algebra. Addison-Wesley Publishing Company, CA

  15. 15.

    Lewin R. (1999) ‘Interpretability into Łukasiewicz algebras’. Rev. Un. Mat. Argentina 41(3): 81–98

  16. 16.

    López Martinolich, B. F., Resolución de Sistemas de Ecuaciones Polinomiales, Tesis de magister, Universidad Nacional del Sur, 1998.

  17. 17.

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

  18. 18.

    Monteiro A. (1978) ‘Algèbres de Boole cycliques’. Rev. Roumaine de Mathématiques Pures Appl. 23(1): 71–76

  19. 19.

    Moisil G. (1954) ‘Algebra schemelor cu elemente ventil’. Revista Universitatii C.I. Parhon, Bucharest, Seria St. nat. 4-5: 9–15

  20. 20.

    Moisil, G., ‘Algèbres universelles et automates’, in Essais sur les Logiques non Chrysippiennes, Editions de L’Academie de la Republique Socialiste de Roumanie, Bucharest, 1972.

  21. 21.

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

  22. 22.

    Serfati M. (1973) 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 21: 35–42

  23. 23.

    Serfati M. (1996) ‘On Postian Algebraic Equations’. Discrete Math. 152: 269–285

Download references

Author information

Correspondence to B. F. López Martinolich.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Díaz Varela, J.P., López Martinolich, B.F. Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras. Stud Logica 98, 307–330 (2011). https://doi.org/10.1007/s11225-011-9330-6

Download citation


  • Varieties
  • equivalence
  • finite fields
  • Post algebras
  • Gröbner bases