Principal Rings and their Invariant Factors
- 43 Downloads
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.
Keywords
Bézoutian ring Module capacity Smith canonical form Distributive semi-group lattice Invariant basis propertyPreview
Unable to display preview. Download preview PDF.
References
- 1.Atiyah, M.F., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley Reading, MA, 1969Google Scholar
- 2.Birkhoff, G.: Lattice Theory. (3rd ed.) American Mathematical Society, Providence, 1967Google Scholar
- 3.Brown, W.C.: Matrices over Commutative Rings. Marcel Dekker. New York, 1993Google Scholar
- 4.Butler, R.W., Sjogren, J.A.: A PVS Graph Theory Library. NASA/TM-1998-206923, February 1998Google Scholar
- 5.Cohn, P.M.: Free Rings and their Relations. 2nd Edition, Academic Press, London, 1985Google Scholar
- 6.www.jon-arny.comGoogle Scholar
- 7.Gillman, L., Henriksen, M.: Some Remarks about Elementary Divisor Rings Trans. Am. Math. Soc. 82, 362–365 (1956)MathSciNetGoogle Scholar
- 8.Glass, A.M.W.: Partially ordered groups. World Scientific, Singapore, 1999Google Scholar
- 9.Gratzer, G.A.: Lattice theory; first concepts and distributive lattices. W.H. Freeman, San Francisco, 1971Google Scholar
- 10.Guralnick, R.M., Levy, L.S., Odenthal, C.: Elementary divisor theorem for noncommutative PID’s. Proc. Am. Math. Soc. 103, 1003–1011 (1988)MathSciNetMATHGoogle Scholar
- 11.Jacobson, N.: The Theory of Rings. American Math. Soc., New York, 1943Google Scholar
- 12.Jaffard, P.: Les systèmes d’idéaux. Dunod – Travaux et Recherches Mathématiques IV, Paris, 1960Google Scholar
- 13.Kailath, T.: Linear Systems. Prentice-Hall, Englewood Cliffs, NJ, 1980Google Scholar
- 14.Kaplansky, I.: Elementary divisors and modules. Trans. Amer. Math. Soc. 66, 464–491 (1949)MathSciNetMATHGoogle Scholar
- 15.Keating, M.E.: A First Course in Module Theory. Imperial College Press, London, 1998Google Scholar
- 16.Lam, T.Y.: Exercises in Classical Ring Theory. Springer-Verlag, New York, 1995Google Scholar
- 17.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)MATHGoogle Scholar
- 18.Matsumura, H.: Commutative Algebra. Benjamin/Cummings, Reading, MA, 1980Google Scholar
- 19.McCoy, N.H.: The Theory of Rings. Macmillan, New York, 1973Google Scholar
- 20.McCune, Wm.: Otter and first-order theories, Argonne National Laboratory, February 2002Google Scholar
- 21.Moler, C., Van Loan, C.: Nineteen Dubious Ways to Compute the Exponential of a Matrix. SIAM Rev. 20(4), 801–836 (1978)MATHGoogle Scholar
- 22.Otter: An Automated Deduction System. www-unix.mcs.anl.gov/AR/otterGoogle Scholar
- 23.van der Waerden, B.L.: Algebra II. Springer-Verlag, Berlin, 1967Google Scholar