Abstract
Given ringsR with prime power characteristicp k, quasivarieties ℒ(R) of lattices generated by lattices of submodules ofR-modules are studied. An algebra of expressionsd not dependent onR is developed, such that each suchd uniquely determines a two-sides ideald R ofR. The main technical result is that ℒ(R)\( \subseteq\)ℒ(S) makes all implications of the formd s =S⇒ dR=R true, for any such expressiond. The proof makes use of the known equivalence between ℒ(R)\( \subseteq\)ℒ(S) and existence of an exact embedding functorR-Mod →S -Mod. Fork ≥ 2, the ordered setW(p k) of all lattice quasivarieties ℒ(R),R having characteristic p K , is shown to be large and complicated, with ascending and descending chains and antichains having continuously many elements. More precisely,W(p k) has a subset which is order isomorphic to the Boolean algebra of all subsets of a denumerably infinite set. Also, given any prime powerp k,k ≥ 2, a ringR can be constructed so that ℒ(R) and ℒ(R op) for the opposite ringR op are distinct elements ofW(p k).
Similar content being viewed by others
References
Anderson, F. W. andFuller, K. R.,Rings and Categories of Modules, Springer Verlag, New York, Heidelberg and Berlin, 1973.
Birkhoff, G.,Lattice Theory, third ed., Amer. Math. Soc. Colloquium Publications 25, Amer. Math. Soc., 1967.
Burris, S. andSankappanavar, H. P.,A Course in Universal Algebra, Springer, 1981.
Czédli, G. andHutchinson, G.,An irregular Horn sentence in submodule lattices, Acta Sci. Math. (Szeged)51 (1987), 35–38.
Freyd, P. J.,Abelian Categories, An Introduction to the Theory of Functors, Harper and Row, 1964.
Fuchs, L.,Infinite Abelian Groups, Volume I, Academic Press, New York, 1970.
Fuller, K. R. andHutchinson, G.,Exact embedding functors and left coherent rings, Proc. Amer. Math. Soc.104 (1988), 385–391.
Grätzer, G.,Universal Algebra, second ed., Springer Verlag, 1979.
Hutchinson, G.,Modular lattices and abelian categories, J. Algebra19 (1971), 156–184.
Hutchinson, G.,Recursively unsolvable word problems of modular lattices and diagram-chasing, J. Algebra26 (1973), 385–399.
Hutchinson, G.,On classes of lattice representable by modules, Proc. University of Houston Lattice Theory Conference, Houston, 1973, 69–94.
Hutchinson, G.,A duality principle for lattices and categories of modules, J. Pure Appl. Algebra10 (1977), 115–119.
Hutchinson, G.,Exact embedding functors between categories of modules, J. Pure Appl. Algebra25 (1982), 107–111.
Hutchinson, G. andCzédli, G.,A test for identities satisfied in lattices of submodules, Algebra Universal8 (1978), 269–309.
Makkai, M. andMcNulty, G.,Universal Horn axiom systems for lattices of submodules, Algebra Universalis7 (1977), 25–31.
Author information
Authors and Affiliations
Additional information
Research partially supported by Hungarian National Foundation for Scientific Research grant no. 1903.
Rights and permissions
About this article
Cite this article
Czédli, G., Hutchinson, G. Submodule lattice quasivarieties and exact embedding functors for rings with prime power characteristic. Algebra Universalis 35, 425–445 (1996). https://doi.org/10.1007/BF01197183
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01197183