Primitively pure submodules and primitively divisible modules
type: Item
instance of: scholarly article
title: Primitively pure submodules and primitively divisible modules
zbMATH Open document ID: 1009.16007
DOI: 10.1023/A:1015143016421
published in: Journal of Mathematical Sciences (New York)
publication date: 2003-02-10T00:00:00Z
review text: Let \(R\) be an associative ring with a nonzero identity element. A proper ideal \(P\) of the ring \(R\) is said to be `right primitive' if \(P\) is the annihilator of a simple (right) \(R\)-module. A submodule \(N\) of the module \(M\) is called `primitively pure' (resp. `maximally pure') if \(NP=N\cap MP\) for every right primitive (resp. maximal) ideal \(P\) of the ring \(R\). A module \(M\) is said to be `primitively divisible' (resp. `maximally divisible') if \(M=MP\) for every right primitive (resp. maximal) ideal \(P\) of the ring \(R\). A ring \(R\) is called a `right max ring' if every nonzero right \(R\)-module has a maximal submodule. A ring \(R\) is said to be `right quasi-invariant' if all its maximal right ideals are ideals. A ring \(R\) is called a `PI ring' (or a `ring with polynomial identity') if \(R\) satiesfies the polynomial identity \(f(x_1,\dots,x_n)=0\), where \(f(x_1,\dots,x_n)\) is a polynomial in noncommutative indeterminates with coefficients in the ring of integers \(\mathbb{Z}\), and \(\mathbb{Z}\) coincides with the ideal generated by the coefficients of the polynomial \(f(x_1,\dots,x_n)\). The main results of the paper are Theorems 1 and 2. Theorem 1. Let \(R\) be either a PI ring or a right quasi-invariant ring. Then the following conditions are equivalent: (1) \(R\) is a regular ring; (2) all submodules of any right \(R\)-module are primitively pure; (3) all submodules of any right \(R\)-module are maximally pure; (4) all principal right ideals of the ring \(R\) are primitively pure; (5) all principal right ideals of the ring \(R\) are maximally pure. Theorem 2. For a PI ring \(R\), the following conditions are equivelent: (1) all prime ideals of the ring \(R\) are maximal ideals, and the Jacobson radical \(J(A)\) is a right or left \(t\)-nilpotent ideal; (2) there do not exist nonzero primitively divisible right \(R\)-modules; (3) there do not exist nonzero primitively divisible left \(R\)-modules; (4) there do not exist nonzero ma…
Mathematics Subject Classification ID: 16D80
Mathematics Subject Classification ID: 16D25
Mathematics Subject Classification ID: 16D60
zbMATH DE Number: 1777804
zbMATH Keywords: primitively divisible modules
zbMATH Keywords: primitively pure submodules
zbMATH Keywords: simple modules
zbMATH Keywords: maximally pure submodules
zbMATH Keywords: right ideals
zbMATH Keywords: maximal ideals
zbMATH Keywords: right quasi-invariant rings
zbMATH Keywords: left max rings
author: A. A. Tuganbaev
reviewed by: Leonid M. Martynov
MaRDI profile type: Publication
full work available at URL: a:1015143016421
OpenAlex ID: W129349147
description: scientific article; zbMATH DE number 1777804