Ideal Generated By A Set
Let R be a (possibly not unital) ring. Any intersection of any nonempty family of left ideals of R is again a left ideal of R. If X is any subset of R, then the intersection of all left ideals of R containing X is a left ideal I of R containing X, and is clearly the smallest left ideal to do so. This ideal I is said to be the left ideal generated by X. Similar definitions can be created by using right ideals or two-sided ideals in place of left ideals.
If R has unity, then the left, right, or two-sided ideal of R generated by a subset X of R can be expressed internally as we will now describe. The following set is a left ideal:
Each element described would have to be in every left ideal containing X, so this left ideal is in fact the left ideal generated by X. The right ideal and ideal generated by X can also be expressed in the same way:
The former is the right ideal generated by X, and the latter is the ideal generated by X.
By convention, 0 is viewed as the sum of zero such terms, agreeing with the fact that the ideal of R generated by ∅ is {0} by the previous definition.
If a left ideal I of R has a finite subset F such that I is the left ideal generated by F, then the left ideal I is said to be finitely generated. Similar terms are also applied to right ideals and two-sided ideals generated by finite subsets.
In the special case where the set X is just a singleton {a} for some a in R, then the above definitions turn into the following:
These ideals are known as the left/right/two-sided principal ideals generated by a. It is also very common to denote the two-sided ideal generated by a as (a).
If R does not have a unit, then the internal descriptions above must be modified slightly. In addition to the finite sums of products of things in X with things in R, we must allow the addition of n-fold sums of the form x+x+...+x, and n-fold sums of the form (−x)+(−x)+...+(−x) for every x in X and every n in the natural numbers. When R has a unit, this extra requirement becomes superfluous.
Read more about this topic: Ideal (ring Theory)
Famous quotes containing the words ideal, generated and/or set:
“Plato—who may have understood better what forms the mind of man than do some of our contemporaries who want their children exposed only to “real” people and everyday events—knew what intellectual experience made for true humanity. He suggested that the future citizens of his ideal republic begin their literary education with the telling of myths, rather than with mere facts or so-called rational teachings.”
—Bruno Bettelheim (20th century)
“It is precisely the purpose of the public opinion generated by the press to make the public incapable of judging, to insinuate into it the attitude of someone irresponsible, uninformed.”
—Walter Benjamin (1892–1940)
“Unfortunately, many things have been omitted which should have been recorded in our journal; for though we made it a rule to set down all our experiences therein, yet such a resolution is very hard to keep, for the important experience rarely allows us to remember such obligations, and so indifferent things get recorded, while that is frequently neglected. It is not easy to write in a journal what interests us at any time, because to write it is not what interests us.”
—Henry David Thoreau (1817–1862)