Finite length modules over HNPs.

Finite length modules over HNPs.

We characterize a finite length module over HNP that is annihilated by an invertible ideal. We also characterize finite length modules over HNP that have no composition factors annihilated by an invertible ideal. The two characterizations are used to prove Levy’s Theorem about the decomposition of finite length modules over HNPs. We also prove that the ring of matrices over a uniserial ring is serial by generalizing the technique of proving that the ring of matrices over a simple ring is simple. This is done by exploring the form of a one sided ideal of a matrix ring. We also characterize a uniserial Artinian ring as a local, principle ideal, Artinian ring. We use the two results to prove that the component that is annihilated by an invertible ideal in the Levy decomposition is a serial module.

___

  • [1] Eisenbud, D. and Robson, J.C. Modules over Dedekind prime rings, Journal of Algebra 16, 67–85, 1970
  • [2] Goodearl, K.R. and Warfield R.B. Simple modules over hereditary Noetherian prime rings, Journal of Algebra 57, 82–100, 1979.
  • [3] Jacobson, N. The Theory of Rings (AMS, 1943).
  • [4] Klingler, L. and Levy, L. S. Wild torsion modules over Weyl algebras and general torsion modules over HNPs, Journal of Algebra 172, 273–300, 1995.
  • [5] Lam, T.Y. A First Course in Noncommutative Rings (Springer Verlag, 1991).
  • [6] Passman, D. S. A Course in Ring Theory (Brooks/Cole Publishing Co., 1991).
  • [7] Robson, J.C. Idealizers and hereditary Noetherian prime rings, Journal of Algebra 22, 45–81, 1972.