Uniform module

In abstract algebra, a module is called a uniform module if the intersection of any two nonzero submodules is nonzero. This is equivalent to saying that every nonzero submodule of M is an essential submodule. A ring may be called a right (left) uniform ring if it is uniform as a right (left) module over itself.

Alfred Goldie used the notion of uniform modules to construct a measure of dimension for modules, now known as the uniform dimension (or Goldie dimension) of a module. Uniform dimension generalizes some, but not all, aspects of the notion of the dimension of a vector space. Finite uniform dimension was a key assumption for several theorems by Goldie, including Goldie's theorem, which characterizes which rings are right orders in a semisimple ring. Modules of finite uniform dimension generalize both Artinian modules and Noetherian modules.

In the literature, uniform dimension is also referred to as simply the dimension of a module or the rank of a module. Uniform dimension should not be confused with the related notion, also due to Goldie, of the reduced rank of a module.

Properties and examples of uniform modules

Being a uniform module is not usually preserved by direct products or quotient modules. The direct sum of two nonzero uniform modules always contains two submodules with intersection zero, namely the two original summand modules. If N₁ and N₂ are proper submodules of a uniform module M and neither submodule contains the other, then $M/(N_{1}\cap N_{2})$ fails to be uniform, as

$N_{1}/(N_{1}\cap N_{2})\cap N_{2}/(N_{1}\cap N_{2})=\{0\}.$

Uniserial modules are uniform, and uniform modules are necessarily directly indecomposable. Any commutative domain is a uniform ring, since if a and b are nonzero elements of two ideals, then the product ab is a nonzero element in the intersection of the ideals.

Uniform dimension of a module

The following theorem makes it possible to define a dimension on modules using uniform submodules. It is a module version of a vector space theorem:

Theorem: If U_i and V_j are members of a finite collection of uniform submodules of a module M such that $\oplus _{i=1}^{n}U_{i}$ and $\oplus _{i=1}^{m}V_{i}$ are both essential submodules of M, then n = m.

The uniform dimension of a module M, denoted u.dim(M), is defined to be n if there exists a finite set of uniform submodules U_i such that $\oplus _{i=1}^{n}U_{i}$ is an essential submodule of M. If no such finite set exists, then u.dim(M) is defined to be ∞. When speaking of the uniform dimension of a ring, it is necessary to specify whether u.dim(R_R) or rather u.dim(_RR) is being measured. It is possible to have two different uniform dimensions on the opposite sides of a ring.

If N is a submodule of M, then u.dim(N) ≤  u.dim(M) with equality exactly when N is an essential submodule of M. In particular, M and its injective hull E(M) always have the same uniform dimension. It is also true that u.dim(M) = n if and only if E(M) is a direct sum of n indecomposable injective modules.

It can be shown that u.dim(M) is infinite if and only if M contains an infinite direct sum of nonzero submodules. Thus if M is either Noetherian or Artinian, M has finite uniform dimension. If M has finite composition length k, then u.dim(M) ≤  k with equality exactly when M is a semisimple module. (Lam 1999)

A standard result is that a right Noetherian domain is a right Ore domain. In fact, we can recover this result from another theorem attributed to Goldie, which states that the following three conditions are equivalent for a domain D:

• D is right Ore
• u.dim(D_D) = 1
• u.dim(D_D) < ∞

Hollow modules and co-uniform dimension

The dual notion of a uniform module is that of a hollow module: a module M is said to be hollow if when N₁ and N₂ are submodules of M such that $N_{1}+N_{2}=M$, then either N₁ = M or N₂ = M. Equivalently one could also say that every proper submodule of M is a superfluous submodule. These modules also admit an analogue of uniform dimension, called co-uniform dimension or dual Goldie dimension. The study of hollow modules and co-uniform dimension was initiated in (Varadarajan 1979).

Textbooks

• Lam, Tsit-Yuen (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98428-5, MR1653294

Primary sources

• Goldie, A. W. (1958), "The structure of prime rings under ascending chain conditions", Proc. London Math. Soc. (3), 8: 589–608, ISSN 0024-6115 {{citation}}: Unknown parameter |review= ignored (help)

• Goldie, A. W. (1960), "Semi-prime rings with maximum condition", Proc. London Math. Soc. (3), 10: 201–220, ISSN 0024-6115 {{citation}}: Unknown parameter |review= ignored (help)
• Varadarajan, K. (1979), "Dual Goldie dimension", Comm. Algebra, 7 (6): 565–610, doi:10.1080/00927877908822364, ISSN 0092-7872 {{citation}}: Unknown parameter |review= ignored (help)