$HSP\not = SHPS$ for commutative rings with identity
HTML articles powered by AMS MathViewer
- by John Lawrence and Boลพa Tasiฤ PDF
- Proc. Amer. Math. Soc. 134 (2006), 943-948 Request permission
Abstract:
Let $I$, $H$, $S$, $P$, $P_s$ be the usual operators on classes of rings: $I$ and $H$ for isomorphic and homomorphic images of rings and $S$, $P$, $P_s$ respectively for subrings, direct, and subdirect products of rings. If $\mathcal K$ is a class of commutative rings with identity (and in general of any kind of algebraic structures), then the class $HSP({\mathcal K})$ is known to be the variety generated by the class $\mathcal K$. Although the class $SHPS({\mathcal K})$ is in general a proper subclass of the class $HSP({\mathcal K})$ for many familiar varieties $HSP({\mathcal K})= SHPS({\mathcal K})$. Our goal is to give an example of a class $\mathcal K$ of commutative rings with identity such that $HSP({\mathcal K})\not = SHPS({\mathcal K})$. As a consequence we will describe the structure of two partially ordered monoids of operators.References
- George M. Bergman, $\textbf {HSP}\neq \textbf {SHPS}$ for metabelian groups, and related results, Algebra Universalis 26 (1989), no.ย 3, 267โ283. MR 1044848, DOI 10.1007/BF01211835
- G. M. Bergman, Partially ordered sets, and minimal systems of counterexamples, Algebra Universalis 32 (1994), no.ย 1, 13โ30. MR 1287014, DOI 10.1007/BF01190814
- Stanley Burris and H. P. Sankappanavar, A course in universal algebra, Graduate Texts in Mathematics, vol. 78, Springer-Verlag, New York-Berlin, 1981. MR 648287
- S. Comer and J. Johnson, The standard semigroup of operators of a variety, Algebra Universalis 2 (1972), 77โ79. MR 308012, DOI 10.1007/BF02945011
- G. Grรคtzer and H. Lakser, The structure of pseudocomplemented distributive lattices. II. Congruence extension and amalgamation, Trans. Amer. Math. Soc. 156 (1971), 343โ358. MR 274359, DOI 10.1090/S0002-9947-1971-0274359-9
- W. Nemitz and T. Whaley, Varieties of implicative semilattices, Pacific J. Math. 37 (1971), 759โ769. MR 311522
- Peter M. Neumann, The inequality of $\textrm {SQPS}$ and $\textrm {QSP}$ as operators on classes of groups, Bull. Amer. Math. Soc. 76 (1970), 1067โ1069. MR 272875, DOI 10.1090/S0002-9904-1970-12562-9
- D. Pigozzi, On some operations on classes of algebras, Algebra Universalis 2 (1972), 346โ353. MR 316354, DOI 10.1007/BF02945045
- Robert W. Quackenbush, Structure theory for equational classes generated by quasi-primal algebras, Trans. Amer. Math. Soc. 187 (1974), 127โ145. MR 327619, DOI 10.1090/S0002-9947-1974-0327619-X
- Boลพa Tasiฤ, On the partially ordered monoid generated by the operators $H,S,P,P_s$ on classes of algebras, J. Algebra 245 (2001), no.ย 1, 1โ19. MR 1868180, DOI 10.1006/jabr.2001.8914
- Ross Willard, Three lectures on the RS problem, Algebraic model theory (Toronto, ON, 1996) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 496, Kluwer Acad. Publ., Dordrecht, 1997, pp.ย 231โ254. MR 1481448
Additional Information
- John Lawrence
- Affiliation: University of Waterloo, Department of Pure Mathematics, Waterloo, Ontario, Canada N2L 3G1
- Email: jwlawren@math.uwaterloo.ca
- Boลพa Tasiฤ
- Affiliation: University of Waterloo, Department of Pure Mathematics, Waterloo, Ontario, Canada N2L 3G1
- Email: btasic@math.uwaterloo.ca
- Received by editor(s): November 29, 2001
- Received by editor(s) in revised form: October 28, 2004
- Published electronically: July 25, 2005
- Communicated by: Lance W. Small
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 134 (2006), 943-948
- MSC (2000): Primary 06F05, 68Q99
- DOI: https://doi.org/10.1090/S0002-9939-05-08066-4
- MathSciNet review: 2196024