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:
“An ideal wife is any woman who has an ideal husband.”
—Booth Tarkington (1869–1946)
“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)
“When you have come into the land that the LORD your God is giving you, and have taken possession of it and settled in it, and you say, “I will set a king over me, like all the nations that are around me,” you may indeed set over you a king whom the LORD your God will choose. One of your own community you may set as king over you; you are not permitted to put a foreigner over you, who is not of your own community.”
—Bible: Hebrew, Deuteronomy 17:14,15.