Maximal Ideal - Definition

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 IR), 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 IJ.
  • For any ideal J with IJ, 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 AB.
  • For any right ideal B with AB, 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:

    According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.
    Ana Castillo (b. 1953)

    Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.
    Walter Pater (1839–1894)

    The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.
    Jean Baudrillard (b. 1929)