Proof of I = R if I Contains a Unit in Commutative Ring

  • Thread starter roam
  • Start date
  • Tags
    Ring
In summary: R, it's a special element of R, and a is any element of R, so they must be equal, am I right?In summary, we have shown that if I contains a unit of R, then I must be equal to R. This is because we have shown that for any unit a in I, 1_R must be in I, and therefore, all elements of R must be in I. We can also deduce that I=R from this, as 1_R must be in I for I to equal R.
  • #1
roam
1,271
12
Suppose we let R be a commutative ring with identity, and let I be any ideal of R. And we define the RADICAL of I to be the set N(I) = {[tex]r \in R[/tex]: [tex]r^n \in I[/tex] for some positive integer n}.

I need the proof that:

  1. If I contains a unit of R, then show that I = R.
  2. N(N(I))=N(I)

An integral domain is a commutative, unital ring that contains no zero-divisors. So I'm guesing R must be an ID. If R is a ring with identity 1R, then [tex]a \in R[/tex] is a unit if ab = ba = 1R for some b in R, and b is the inverse of a. Now if we suppose I contains a, how do we show that I=R?

For the second proof we can assume N(I) is an ideal of R.

Any help or suggestions are appreciated.
 
Physics news on Phys.org
  • #2
1) What is the definition of an ideal. What are the properties defining the unit? Can you deduce that [tex]1_R[/tex] is in [tex]I[/tex]?
 
  • #3
You don't have to assume there are no zero-divisors for these equalities to be true, and the problem you stated certainly didn't list it as a hypothesis.


What have you done on the problem? In my mind, they practically solve themselves just from writing down what it means for two sets to be equal in terms of what objects are members -- i.e. A=B is equivalent to "x in A implies x in B and x in B implies x in A" .


So, I imagine your problem is either a lack of confidence, or you are having difficulty writing out definitions -- either way, we can't help effectively unless you show us what you have been able to do on the problem (even if you think it is trivial or pointless), so that it is clear where you have the mental block.
 
  • #4
arkajad said:
1) What is the definition of an ideal. What are the properties defining the unit? Can you deduce that [tex]1_R[/tex] is in [tex]I[/tex]?

I is a (two-sided) ideal of R if [tex]rI := \{ rx: x \in I \} \subseteq I[/tex] and [tex]Ir := \{ xr : x \in I \} \subseteq I[/tex] for all [tex]r \in R[/tex]. I is a proper ideal if [tex]I \neq R[/tex].

We have [tex]a \in R[/tex] is a unit of R, and we let [tex]x \in I[/tex]. Since I is an ideal of R:

[tex]a.x=x.a=1_R \subseteq I[/tex]

I guess we can conclude that 1R is in I. And does this show that I = R?

Hurkyl, it's not a lack of confidence... I just don't know how to tackle the problem and that's why I've posted it here as a last resort. :smile:
 
  • #5
You're on the right track but you haven't quite wrapped it up. Why is [tex] a\cdot x=1_R[/tex]? Just because you have a unit in R, doesn't mean that its inverse is in I. But you don't just know that there's a unit in R, you know more than that
 
  • #6
Office_Shredder said:
You're on the right track but you haven't quite wrapped it up. Why is [tex] a\cdot x=1_R[/tex]? Just because you have a unit in R, doesn't mean that its inverse is in I. But you don't just know that there's a unit in R, you know more than that

How do I need to show that the inverse of a unit is in R? :confused:
 
  • #7
roam said:
How do I need to show that the inverse of a unit is in R? :confused:

You said let [tex]a\in R[/tex] be a unit. Then you said there exists [tex]x\in I[/tex] such that [tex]a\cdot x=1_R[/tex]. This never uses the fact that you know there is a unit in I; rather, you just assumed that a given unit in R has its inverse in I (it's true that one with this property exists, but it might not be the a that you picked)


The argument you want should be flipped: Let [tex]a\in I[/tex] be a unit, then there is [tex] x\in R[/tex]
 
  • #8
Office_Shredder said:
You said let [tex]a\in R[/tex] be a unit. Then you said there exists [tex]x\in I[/tex] such that [tex]a\cdot x=1_R[/tex]. This never uses the fact that you know there is a unit in I; rather, you just assumed that a given unit in R has its inverse in I (it's true that one with this property exists, but it might not be the a that you picked)


The argument you want should be flipped: Let [tex]a\in I[/tex] be a unit, then there is [tex] x\in R[/tex]

Okay, here's what I did now:

Let [tex]a \in I[/tex] be a unit of R, and let [tex]r \in R[/tex].

I is an ideal of R, [tex]I \triangleleft R[/tex], if

[tex]rI=\{ ra: a \in I \} \subseteq I[/tex]
[tex]Ir=\{ ar: a \in I \} \subseteq I[/tex]

[tex]\forall r \in R[/tex]. So

[tex]r.a=a.r =1_R \subseteq I[/tex]

[tex]r=a^{-1}[/tex]

This is true since a is a unit of R and [tex]r \in R[/tex].

Is this correct now?
 
  • #9
Once you have

[tex]1_R\in I[/tex]

(You should write [tex]1_R\in I[/tex] and not [tex]1_R\subseteq I[/tex] - while [tex]I[/tex] and [tex]aI[/tex] are subsets, [tex]1_R[/tex] is an element)

is it true that [tex]\forall a\in R,\, a=1_R a=a1_R\in I[/tex]?

And if so, can you deduce that [tex]I=R[/tex]?
 
Last edited:
  • #10
arkajad said:
is it true that [tex]\forall a\in R,\, a=1_R a=a1_R\in I[/tex]?

Why do we need to know if that is true or not? We just needed to show that for [tex]r \in R[/tex] and [tex]a \in I[/tex], ar and ra both are in I. That's what I've tried to show in my previous post making use of the fact that [tex]a \in I[/tex] is also a unit of R.

Can I deduce that I=R from my previous work? :confused:
 
  • #11
It is good to be aware of the fact for any ideal [tex]I\subset R[/tex], we have [tex]I=R[/tex] if and only if [tex]1_R\in I[/tex].
 
  • #12
arkajad said:
It is good to be aware of the fact for any ideal [tex]I\subset R[/tex], we have [tex]I=R[/tex] if and only if [tex]1_R\in I[/tex].

Ok, thanks for reminding me. But I have already shown that 1R is in I, didn't I? So we can conclude that I=R?

P.S. I think it's true that [tex]\forall a\in R,\, a=1_R a=a1_R\in I[/tex], because 1R is the unity (identity under multipication).
 
Last edited:
  • #13
Right. The logic is this: a is a unit, a is in the ideal. It follows that 1 is in the ideal. It follows that I=R.
 
  • #14
Thank you very much for your help. Could you also give me some clues on how to get started on the second question?
 
  • #15
To show N(N(I))=N(I), like most set equalities you need to do two things
1) Show [tex]N(N(I))\subset N(I)[/tex]
2) Show [tex] N(I)\subset N(N(I))[/tex]

Which means write down what it means for an element of your ring to belong to one set, and show that implies the element belongs to the other set as well. Number 2 is probably the easier one to start with, why don't you try it out and see where you get?
 
  • #16
Maybe it would help if you didn't drop the "there exists"? Also, maybe use different letters for dummy variables that appear in different places? (Since its existential, you can always pick for one the same value as another if that is what makes things work)
 
  • #17
Office_Shredder said:
To show N(N(I))=N(I), like most set equalities you need to do two things
1) Show [tex]N(N(I))\subset N(I)[/tex]
2) Show [tex] N(I)\subset N(N(I))[/tex]

Which means write down what it means for an element of your ring to belong to one set, and show that implies the element belongs to the other set as well. Number 2 is probably the easier one to start with, why don't you try it out and see where you get?

For [tex]N(N(I)) \subset N(I)[/tex] I start like this: Let [tex]x \in N(N(I))[/tex] then we know that since [tex]N(I)=\{ r \in R: r^n \in I \}[/tex], then we will have [tex]N(N(I))= \{ r^* \in R: (r^n)^m=r^{n.m} \in I \}[/tex]. Again, how does this imply that r* must belong to the other set N(I)? Can we just say since r* from N(N(I)) belongs to I, it must also belong to N(I), then x also belongs to N(I)?
 
  • #18
If r is in N(N(I)), you just said that there exist some numbers n,m such that rnm is in I. Compare this to what your definition of N(I) is
 
  • #19
Office_Shredder said:
If r is in N(N(I)), you just said that there exist some numbers n,m such that rnm is in I. Compare this to what your definition of N(I) is

Thank you very much, I see that. This is exactly what the definition of N(I) is, but the problem is that I don't know how to exactly write it down/explain it in words...

Similarly for [tex]N(I) \subseteq N(N(I))[/tex], we let [tex]r \in N(I)[/tex], therefore r is in R such that [tex]r^n \in I[/tex]. This fits in with the definition of N(N(I)):

[tex]N(N(I))= \{ r \in R: (r^n)^m=r^{n.m} \in I \}[/tex] (is this even correct?)

Because if say m is 1 then rn in I and so r belongs to N(N(I)). But is there a better way of explaining this?
 
  • #20
roam said:
Similarly for [tex]N(I) \subseteq N(N(I))[/tex]

I think it may be less confusing for you to first prove (or, better, just notice once for all) that for any [tex]K[/tex]

[tex]K \subseteq N(K)[/tex]. Then specialize: in particular for [tex]K=...[/tex].
 
Last edited:
  • #21
arkajad said:
I think it may be less confusing for you to first prove (or, better, just notice once for all) that for any [tex]K[/tex]

[tex]K \subseteq N(K)[/tex]. Then specialize: in particular for [tex]K=...[/tex].

I'm not sure what you mean, maybe you could show me?

My problem is that when I pick an element, say x in N(I) then I don't know how to show that it's ub N(N(I)). Clearly an element of N(I) satisfies the condition of being an element of N(N(I)) but I don't know how to explain the process. Could you please help with that?
 
  • #22
You have the definition:

[tex]N(I)=\{ r \in R: r^n \in I \}[/tex] for some n

In this definition it does not matter whether [tex]I[/tex] is an ideal or not. You can define exactly the same way N(K) for any subset K. In particular, if K is an ideal, you will have further properties of N(K), but you do not need them at the moment. So, let's define:

[tex]N(K)=\{ r \in R: r^n \in K \}[/tex] for some n

It is then obvious that for any subset K we necessarily have [tex]K\subseteq N(K)[/tex] (since if [tex]r\in K[/tex] then [tex]r^1\in K[/tex] thus [tex]r\in N(K)[/tex]).

If so, if it is true for any subset K, then, in particular, for K=N(I). Therefore
[tex]N(I)\subseteq N(N(I))[/tex].
 
Last edited:

1. What is a commutative ring?

A commutative ring is a mathematical structure consisting of a set of elements, along with two binary operations (usually addition and multiplication) that satisfy certain properties. These properties include closure, associativity, commutativity, and distributivity.

2. What is a unit in a commutative ring?

A unit in a commutative ring is an element that has a multiplicative inverse, meaning that it can be multiplied by another element to result in the identity element (usually denoted as 1). In other words, a unit is an element that has a reciprocal.

3. How does a unit in a commutative ring relate to the proof of I = R?

In the proof of I = R, a unit in a commutative ring is necessary because it allows for the existence of a multiplicative inverse of the ideal I. This inverse can then be used to show that I is a subset of R, and therefore, I = R.

4. What is the significance of proving I = R in a commutative ring?

Proving I = R in a commutative ring is significant because it shows that the ideal I is a maximal ideal. This means that there are no other ideals in the ring that properly contain I. This is an important concept in abstract algebra and has many applications in other areas of mathematics.

5. Can the proof of I = R be extended to non-commutative rings?

No, the proof of I = R specifically applies to commutative rings. In non-commutative rings, the ideal I may not necessarily have a multiplicative inverse, and therefore, the proof would not hold. However, there may be other similar proofs for non-commutative rings that use different properties and concepts.

Similar threads

  • Linear and Abstract Algebra
Replies
1
Views
2K
  • Linear and Abstract Algebra
2
Replies
55
Views
3K
  • Linear and Abstract Algebra
Replies
11
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
769
  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
936
  • Linear and Abstract Algebra
Replies
17
Views
4K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
5
Views
839
Back
Top