Prime Ideals For Noncommutative Rings
The notion of a prime ideal can be generalized to noncommutative rings by using the commutative definition "ideal-wise". Wolfgang Krull advanced this idea in 1928. The following content can be found in texts such as (Goodearl 2004) and (Lam 2001). If R is a (possibly noncommutative) ring and P is an ideal in R other than R itself, we say that P is prime if for any two ideals A and B of R:
- If the product of ideals is contained in, then at least one of and is contained in .
It can be shown that this definition is equivalent to the commutative one in commutative rings. It is readily verified that if an ideal of a noncommutative ring R satisfies the commutative definition of prime, then it also satisfies the noncommutative version. An ideal P satisfying the commutative definition of prime is sometimes called a completely prime ideal to distinguish it from other merely prime ideals in the ring. Completely prime ideals are prime ideals, but the converse is not true. For example, the zero ideal in the ring of n × n matrices over a field is a prime ideal, but it is not completely prime.
This is close to the historical point of view of ideals as ideal numbers, as for the ring Z "A is contained in P" is another way of saying "P divides A", and the unit ideal R represents unity.
Equivalent formulations of the ideal P≠R being prime include the following properties:
- For all a and b in R, (a)(b)⊆P implies a∈P or b∈P.
- For any two right ideals of R, AB⊆P implies A⊆P or B⊆P.
- For any two left ideals of R, AB⊆P implies A⊆P or B⊆P.
- For any elements a and b of R, if aRb⊆P, then a∈P or b∈P.
Prime ideals in commutative rings are characterized by having multiplicatively closed complements in R, and with slight modification, a similar characterization can be formulated for prime ideals in noncommutative rings. A nonempty subset S⊆R is called an m-system if for any a and b in S, there exists r in R such that arb is in S. The following item can then be added to the list of equivalent conditions above:
- The complement R\P is an m-system.
Read more about this topic: Prime Ideal
Famous quotes containing the words prime, ideals and/or rings:
“Few white citizens are acquainted with blacks other than those projected by the media and the so—called educational system, which is nothing more than a system of rewards and punishments based upon one’s ability to pledge loyalty oaths to Anglo culture. The media and the “educational system” are the prime sources of racism in the United States.”
—Ishmael Reed (b. 1938)
“We want our children to become warm, decent human beings who reach out generously to those in need. We hope they find values and ideals to give their lives purpose so they contribute to the world and make it a better place because they have lived in it. Intelligence, success, and high achievement are worthy goals, but they mean nothing if our children are not basically kind and loving people.”
—Neil Kurshan (20th century)
“Ye say they all have passed away,
That noble race and brave;
That their light canoes have vanished
From off the crested wave;
That, mid the forests where they roamed,
There rings no hunters’ shout;
But their name is on your waters,
Ye may not wash it out.”
—Lydia Huntley Sigourney (1791–1865)