Solving I^m + J^n = R with Positive Integers m, n

  • Thread starter Thread starter Pietjuh
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving the existence of positive integers m and n such that I^m + J^n = R, given that I and J are ideals of a commutative ring R with I + J = R. A key insight is that I^m + J^m must contain the element 1, as I + J already does. The challenge lies in identifying specific elements a^m in I^m and b^n in J^n that sum to 1, rather than assuming a typical element in I^n is simply a^n for a in I.

PREREQUISITES
  • Understanding of commutative rings and ideals
  • Familiarity with the properties of sums of ideals
  • Knowledge of exponentiation in the context of algebraic structures
  • Experience with algebraic proofs and constructions
NEXT STEPS
  • Study the structure of ideals in commutative rings
  • Learn about the properties of sums and products of ideals
  • Explore the concept of generating sets in ring theory
  • Investigate examples of commutative rings to apply these concepts
USEFUL FOR

Mathematicians, algebraists, and students studying ring theory who are interested in the properties of ideals and their applications in algebraic proofs.

Pietjuh
Messages
75
Reaction score
0
Suppose we have a commutative ring R and ideals I and J of R such that I + J = R. I have to show that there exist positive numbers m,n such that I^m + J^n = R.

I think the trick is just to show that I^m + J^m contains 1. Because I + J = R, I+J contains 1 so there exist i in I and j in J such that i + j = 1. Now I have to find a a^m in I^m and a b^n in J^n such that a^m + b^n = 1.
I tried a lot of things but none of them seemed to work :(

Can anyone give me a hint how to find these a^m and b^n ?

Thanks in advance
 
Physics news on Phys.org
Why isn't n=m=1 sufficient for your purpose?

It might help you to realize that a typical element in I^n is not of the form a^n for a in I, but a sum of n'th powers of elements in I
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
Replies
9
Views
2K