Abstract
In this article we put forward a new look at the theory of principal and Invariant-Factor rings, with a view toward facilitating the formalization, automation, and archiving of results and their proofs. We take an elementary and constructive approach: standard techniques such as prime ideals and factorization of elements are avoided, and determinant constructions are minimized. Using such ‘‘computationally friendly’’ methods, the main existence and uniqueness results on invariant factors for a f.g. torsion module are derived, and several new algebraic constructions and results are found. The lattice of principal integral ideals for any commutative Bézoutian ring is explicitly constructed based on a first-order proof overlooked in the literature, together with a proof that this lattice is distributive. A ‘‘Lagrange quotient’’ theorem for finitely generated modules over any principal ring is stated for the first time. A very constructive new proof is given that a principal ring has the Hermite property, so is also an Invariant-Factor ring. A calculus that is needed in the ideal lattice, naturally yields a number of formulas valid for a function lattice.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Atiyah, M.F., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley Reading, MA, 1969
Birkhoff, G.: Lattice Theory. (3rd ed.) American Mathematical Society, Providence, 1967
Brown, W.C.: Matrices over Commutative Rings. Marcel Dekker. New York, 1993
Butler, R.W., Sjogren, J.A.: A PVS Graph Theory Library. NASA/TM-1998-206923, February 1998
Cohn, P.M.: Free Rings and their Relations. 2nd Edition, Academic Press, London, 1985
www.jon-arny.com
Gillman, L., Henriksen, M.: Some Remarks about Elementary Divisor Rings Trans. Am. Math. Soc. 82, 362–365 (1956)
Glass, A.M.W.: Partially ordered groups. World Scientific, Singapore, 1999
Gratzer, G.A.: Lattice theory; first concepts and distributive lattices. W.H. Freeman, San Francisco, 1971
Guralnick, R.M., Levy, L.S., Odenthal, C.: Elementary divisor theorem for noncommutative PID’s. Proc. Am. Math. Soc. 103, 1003–1011 (1988)
Jacobson, N.: The Theory of Rings. American Math. Soc., New York, 1943
Jaffard, P.: Les systèmes d’idéaux. Dunod – Travaux et Recherches Mathématiques IV, Paris, 1960
Kailath, T.: Linear Systems. Prentice-Hall, Englewood Cliffs, NJ, 1980
Kaplansky, I.: Elementary divisors and modules. Trans. Amer. Math. Soc. 66, 464–491 (1949)
Keating, M.E.: A First Course in Module Theory. Imperial College Press, London, 1998
Lam, T.Y.: Exercises in Classical Ring Theory. Springer-Verlag, New York, 1995
Larsen, M.D., Lewis, W.J., Shores, T.S.: Elementary Divisor Rings and Finitely Presented Modules. Trans. Am. Math. Soc. 187(1), 231–248 (1974)
Matsumura, H.: Commutative Algebra. Benjamin/Cummings, Reading, MA, 1980
McCoy, N.H.: The Theory of Rings. Macmillan, New York, 1973
McCune, Wm.: Otter and first-order theories, Argonne National Laboratory, February 2002
Moler, C., Van Loan, C.: Nineteen Dubious Ways to Compute the Exponential of a Matrix. SIAM Rev. 20(4), 801–836 (1978)
Otter: An Automated Deduction System. www-unix.mcs.anl.gov/AR/otter
van der Waerden, B.L.: Algebra II. Springer-Verlag, Berlin, 1967
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sjogren, J. Principal Rings and their Invariant Factors. AAECC 14, 287–328 (2003). https://doi.org/10.1007/s00200-003-0138-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-003-0138-0