Definition
There are other equivalent ways of expressing the definition of maximal one-sided and maximal two-sided ideals. Given a ring R and a proper ideal I of R (that is I ≠ R), I is a maximal ideal of R if any of the following equivalent conditions hold:
- There exists no other proper ideal J of R so that I ⊊ J.
- For any ideal J with I ⊆ J, either J = I or J = R.
- The quotient ring R/I is a simple ring.
There is an analogous list for one-sided ideals, for which only the right-hand versions will be given. For a right ideal A of a ring R, the following conditions are equivalent to A being a maximal right ideal of R:
- There exists no other proper right ideal B of R so that A ⊊ B.
- For any right ideal B with A ⊆ B, either B = A or B = R.
- The quotient module R/A is a simple right R module.
Maximal right/left/two-sided ideals are the dual notion to that of minimal ideals.
Read more about this topic: Maximal Ideal
Famous quotes containing the word definition:
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)