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 uniform ring if it is uniform as a right 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 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.
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 N1 and N2 are proper submodules of a uniform module M and neither submodule contains the other, then fails to be uniform, as 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 Ui and Vj are members of a finite collection of uniform submodules of a module Msuch that and are both essential submodules of M, then n = m. The uniform dimension of a module M, denoted u.dim, is defined to be n if there exists a finite set of uniform submodules Ui such that is an essential submodule of M. The preceding theorem ensures that this n is well defined. If no such finite set of submodules exists, then u.dim is defined to be ∞. When speaking of the uniform dimension of a ring, it is necessary to specify whether u.dim or rather u.dim 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 ≤ u.dim with equality exactly when N is an essential submodule of M. In particular, M and its injective hullE always have the same uniform dimension. It is also true that u.dim = nif and only ifE is a direct sum of n indecomposable injective modules. It can be shown that u.dim = ∞ 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 lengthk, then u.dim ≤ k with equality exactly when M is a semisimple module. 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 = 1
u.dim < ∞
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 N1 and N2 are submodules of M such that, then either N1 = M or N2 = 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, corank, hollow dimension or dual Goldie dimension. Studies of hollow modules and co-uniform dimension were conducted in,,, and. The reader is cautioned that Fleury explored distinct ways of dualizing Goldie dimension. Varadarajan, Takeuchi and Reiter's versions of hollow dimension are arguably the more natural ones. Grzeszczuk and Puczylowski in gave a definition of uniform dimension for modular lattices such that the hollow dimension of a module was the uniform dimension of its dual lattice of submodules. It is always the case that a finitely cogenerated module has finite uniform dimension. This raises the question: does a finitely generated module have finite hollow dimension? The answer turns out to be no: it was shown in that if a module M has finite hollow dimension, then M/J is a semisimple, Artinian module. There are many rings with unity for which R/J is not semisimple Artinian, and given such a ring R, R itself is finitely generated but has infinite hollow dimension. Sarath and Varadarajan showed later, that M/J being semisimple Artinian is also sufficient for M to have finite hollow dimension provided J is a superfluous submodule of M. This shows that the rings R with finite hollow dimension either as a left or right R-module are precisely the semilocal rings. An additional corollary of Varadarajan's result is that RR has finite hollow dimension exactly when RR does. This contrasts the finite uniform dimension case, since it is known a ring can have finite uniform dimension on one side and infinite uniform dimension on the other.
