Jacobson Density Theorem - Motivation and Formal Statement

Motivation and Formal Statement

Let R be a ring and let U be a simple right R-module. If u is a non-zero element of U, u·R = U (where u·R is the cyclic submodule of U generated by u). Therefore, if u and v are non-zero elements of U, there is an element of R that induces an endomorphism of U transforming u to v. The natural question now is whether this can be generalized to arbitrary (finite) tuples of elements. More precisely, find necessary and sufficient conditions on the tuple (x1, ..., xn) and (y1, ..., yn) separately, so that there is an element of R with the property that xi·r = yi for all i. If D is the set of all R-module endomorphisms of U, then Schur's lemma asserts that D is a division ring, and the Jacobson density theorem answers the question on tuples in the affirmative, provided that the x's are linearly independent over D.

With the above in mind, theorem may be stated this way:

The Jacobson Density Theorem

Let U be a simple right R-module and write D = End(UR). Let A be any D-linear transformation on U and let X be a finite D-linearly independent subset of U. Then there exists an element r of R such that A(x) = x·r for all x in X.

Read more about this topic:  Jacobson Density Theorem

Famous quotes containing the words motivation, formal and/or statement:

    “Self-determination has to mean that the leader is your individual gut, and heart, and mind or we’re talking about power, again, and its rather well-known impurities. Who is really going to care whether you live or die and who is going to know the most intimate motivation for your laughter and your tears is the only person to be trusted to speak for you and to decide what you will or will not do.”
    —June Jordan (b. 1939)

    “It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
    —Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)

    “He that writes to himself writes to an eternal public. That statement only is fit to be made public, which you have come at in attempting to satisfy your own curiosity.”
    —Ralph Waldo Emerson (1803–1882)