Skip to main content
SpringerLink
Log in

A method for finding new sets of axioms for classes of semigroups

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Araújo J., Konieczny J.: Automorphism groups of centralizers of idempotents. J. Algebra 269, 227–239 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  2. Araújo J., Konieczny J.: Semigroups of transformations preserving an equivalence relation and a cross-section. Comm. Algebra 32, 1917–1935 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Araújo J., McCune W.: Computer solutions of problems in inverse semigroups. Comm. Algebra 38(3), 1104–1121 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  4. Croisot R.: Demi-groupes et axiomatique des groupes. C. R. Acad. Sci. Paris 237, 778–780 (1953)

    MathSciNet  MATH  Google Scholar 

  5. Hart J., Kunen K.: Single axioms for odd exponent groups. J. Automat. Reason. 14, 383–412 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  6. Higman G., Neumann B.H.: Groups as groupoids with one law. Publ. Math. Debrecen 2, 215–221 (1952)

    MathSciNet  Google Scholar 

  7. Hollings C.: The early development of the algebraic theory of semigroups. Arch. Hist. Exact Sci. 63, 497–536 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Howie J.M.: Fundamentals of Semigroup Theory. Oxford University Press, New York, NY (1995)

    MATH  Google Scholar 

  9. Huntington E.V.: New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s principia mathematica. Trans. Am. Math. Soc. 35, 274–304 (1933)

    MathSciNet  Google Scholar 

  10. Huntington E.V.: Boolean algebra. A correction to: new sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s principia mathematica. Trans. Am. Math. Soc. 35, 557–558 (1933)

    MathSciNet  Google Scholar 

  11. Kalman J.A.: A shortest single axiom for the classical equivalential calculus. Notre Dame J. Form. Log. 19, 141–144 (1978)

    Article  MathSciNet  Google Scholar 

  12. Kinyon M.K., Kunen K., Phillips J.D.: A generalization of Moufang and Steiner loops. Algebra Universalis 48, 81–101 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  13. Konieczny J., Lipscomb S.: Centralizers in the semigroup of partial transformations. Math. Japon. 48, 367–376 (1998)

    MathSciNet  MATH  Google Scholar 

  14. Kunen K.: Single axioms for groups. J. Automat. Reason. 9, 291–308 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  15. Kunen K.: The shortest single axioms for groups of exponent 4. Comput. Math. Appl. 29, 1–12 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  16. Łukasiewicz J.: Selected works. In: Borkowski, L. (eds) Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, London (1970)

    Google Scholar 

  17. McCune W.: Automated discovery of new axiomatizations of the left group and right group calculi. J. Automat. Reason. 9, 1–24 (1992)

    MathSciNet  MATH  Google Scholar 

  18. McCune W.: Single axioms for groups and abelian groups with various operations. J. Automat. Reason. 10, 1–13 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  19. McCune W.: Single axioms for the left group and right group calculi. Notre Dame J. Form. Log. 34, 132–139 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  20. McCune W.: Solution of the Robbins problem. J. Automat. Reason. 19, 263–276 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  21. McCune W., Padmanabhan R.: Single identities for lattice theory and for weakly associative lattices. Algebra Universalis 36, 436–449 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  22. McCune W., Sands A.D.: Computer and human reasoning: single implicative axioms for groups and for abelian groups. Am. Math. Mon. 103, 888–892 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  23. McCune W., Veroff R., Fitelson B., Harris K., Feist A., Wos L.: Short single axioms for Boolean algebra. J. Automat. Reason. 29, 1–16 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  24. McCune, W., Wos, L.: Applications of automated deduction to the search for single axioms for exponent groups, Logic programming and automated reasoning (St. Petersburg, (1992), 131–136, Lecture Notes in Comput. Sci., 624, Springer, Berlin (1992)

  25. Meredith C.A.: Single axioms for the systems (C, N), (C, O) and (A, N) of the two-valued propositional calculus. J. Comput. Syst. 1, 155–164 (1953)

    MathSciNet  Google Scholar 

  26. Meredith C.A.: Equational postulates for the Sheffer stroke. Notre Dame J. Form. Log. 10, 266–270 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  27. Meredith C.A., Prior A.N.: Notes on the axiomatics of the propositional calculus. Notre Dame J. Form. Log. 4, 171–187 (1963)

    Article  MathSciNet  MATH  Google Scholar 

  28. Meredith C.A., Prior A.N.: Equational logic. Notre Dame J. Form. Log. 9, 212–226 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  29. Neumann B.H.: Another single law for groups. Bull. Austral. Math. Soc. 23, 81–102 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  30. Neumann P.M.: What groups were: a study of the development of the axiomatics of group theory. Bull. Austral. Math. Soc. 60, 285–301 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  31. Padmanabhan R., Quackenbush R.W.: Equational theories of algebras with distributive congruences. Proc. Am. Math. Soc. 41, 373–377 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  32. Peterson J.G.: Shortest single axioms for the classical equivalential calculus. Notre Dame J. Form. Log. 17, 267–271 (1976)

    Article  MATH  Google Scholar 

  33. Rezus A.: On a theorem of Tarski. Libertas Math. 2, 63–97 (1982)

    MathSciNet  MATH  Google Scholar 

  34. Scharle T.W.: Axiomatization of propositional calculus with Sheffer functors. Notre Dame J. Form. Log. 6, 209–217 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  35. Sheffer H.M.: A set of five independent postulates for Boolean algebras, with application to logical constants. Trans. Am. Math. Soc. 14, 481–488 (1913)

    Article  MathSciNet  MATH  Google Scholar 

  36. Sholander M.: Postulates for commutative groups. Am. Math. Mon. 66, 93–95 (1959)

    Article  MathSciNet  MATH  Google Scholar 

  37. Sobociński B.: Axiomatization of a partial system of three-value calculus of propositions. J. Comput. Syst. 1, 23–55 (1952)

    Google Scholar 

  38. Stolt B.: Über Axiomensysteme die eine abstrakte Gruppe bestimmen, (Thesis), University of Uppsala, Almqvist & Wiksells, Uppsala (1953)

  39. Tarski, A.: Equational logic and equational theories of algebras. Contributions to Math. Logic (Colloquium, Hannover, 1966), North-Holland, Amsterdam (1968)

  40. Tasić V.: On single-law definitions of groups. Bull. Austral. Math. Soc. 37, 101–106 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  41. Winker S.: Absorption and idempotency criteria for a problem in near-Boolean algebras. J. Algebra 153, 414–423 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  42. Wos L., Ulrich D., Fitelson B.: Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus. J. Automat. Reason. 29, 107–124 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  43. Wos L., Winker S., Veroff R., Smith B., Henschen L.: Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Form. Log. 24, 205–223 (1983)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universidade Aberta, R. Escola Politécnica, 147, 1269-001, Lisbon, Portugal

    João Araújo

  2. Centro de Álgebra, Universidade de Lisboa, 1649-003, Lisbon, Portugal

    João Araújo

  3. Department of Mathematics, University of Mary Washington, Fredericksburg, VA, 22401, USA

    Janusz Konieczny

Authors
  1. João Araújo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Janusz Konieczny
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to João Araújo.

Additional information

Janusz Konieczny was supported by a University of Mary Washington professional development grant.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Araújo, J., Konieczny, J. A method for finding new sets of axioms for classes of semigroups. Arch. Math. Logic 51, 461–474 (2012). https://doi.org/10.1007/s00153-012-0276-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-012-0276-9

Keywords

Mathematics Subject Classification

Search

Navigation