Journal of Mathematical Sciences

, Volume 185, Issue 3, pp 497–503 | Cite as

Regular S-acts with primitive normal and antiadditive theories

  • A. A. Stepanova
  • G. I. Baturin


In this work, we investigate the commutative monoids over which the axiomatizable class of regular S-acts is primitive normal and antiadditive. We prove that the primitive normality of an axiomatizable class of regular S-acts over the commutative monoid S is equivalent to the antiadditivity of this class and it is equivalent to the linearity of the order of a semigroup R such that an S-act sR is a maximal (under the inclusion) regular subact of the S-act sS.


Binary Operation Atomic Formula Regular Polygon Commutative Monoid Additive Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Kilp, U. Knauer, and A. V. Mikhalev, Monoids, Acts and Categories, Walter de Gruyter, Berlin (2000).Google Scholar
  2. 2.
    A. V. Mikhalev, E. V. Ovchinnikova, E. A. Palyutin, and A. A. Stepanova, “Model-theoretic properties of regular polygons,” J. Math. Sci., 140, No. 2, 250–285 (2007).MathSciNetCrossRefGoogle Scholar
  3. 3.
    E. A. Palyutin, “Primitive connected theories,” Algebra Logic, 39, No. 2, 84–97 (2000).MathSciNetCrossRefGoogle Scholar
  4. 4.
    A. A. Stepanova, “Axiomatizability and model completeness of the class of regular polygons,” Sib. Math. J., 35, No. 1, 166–177 (1994).MathSciNetCrossRefGoogle Scholar
  5. 5.
    A. A. Stepanova, “Primitive connected and additive theories of polygons,” Algebra Logic, 45, No. 3, 172–179 (2006).MathSciNetCrossRefGoogle Scholar
  6. 6.
    A. A. Stepanova, “Polygons with primitive normal and additive theories,” Algebra Logic, 47, No. 4, 279–288 (2008).MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, Inc. 2012

Authors and Affiliations

  1. 1.Institute of Mathematics and Computer ScienceFar East State UniversityVladivostokRussia

Personalised recommendations