Abstract Algebra: Show that 2Z + 5Z = Z

Click For Summary
SUMMARY

The discussion centers on proving that the sum of the ideals 2Z and 5Z equals the integers Z, expressed as 2Z + 5Z = Z. The proof involves demonstrating that any integer n can be represented as a linear combination of elements from 2Z and 5Z, specifically using the equation n = 5n + 2(-2n). The participants clarify that the operation "+" refers to the sum of ideals, not union, and emphasize the importance of recognizing that 2 and 5 are relatively prime, which is crucial for the proof's validity.

PREREQUISITES
  • Understanding of ideals in ring theory, specifically 2Z and 5Z.
  • Familiarity with linear combinations and integer representations.
  • Knowledge of the properties of relatively prime integers.
  • Basic concepts of abstract algebra and ring structures.
NEXT STEPS
  • Study the concept of ideals in ring theory, focusing on examples like 2Z and 5Z.
  • Learn about linear combinations and their applications in abstract algebra.
  • Explore the implications of integers being relatively prime in the context of ideal sums.
  • Investigate the characterization of ideals in the ring of integers.
USEFUL FOR

Students of abstract algebra, mathematicians exploring ring theory, and anyone interested in the properties of integer ideals and their sums.

Edellaine
Messages
11
Reaction score
0

Homework Statement


Show that 2\mathbb{Z} + 5\mathbb{Z} = \mathbb{Z}

Homework Equations



where 2Z + 5Z = {a+b | a in 2Z and b in 5Z} = Z

The Attempt at a Solution


For any n in Z, we can write

n= (5-4)n = 5n +(-4)n = 5n + 2(-2n)
And since 5n is in 5Z and 2(-2n) is in 2Z, we can form Z from any combination of elements of 2Z and 5Z.

What they're asking me to prove makes sense intuitively but I'm not sure how to write it. Thanks for the help.
 
Last edited:
Physics news on Phys.org
Maybe I'm looking at this the wrong way, but it doesn't seem true to me. I'm assuming that 2Z = {..., -4, -2, 0, 2, 4, 6, ...} and that 5Z = {..., -10, -5, 0, 5, 10, 15, ...}

I'm also assuming that + means "union."

If my assumptions are reasonable, every element of 2Z + 5Z is in Z, but there are a lot of elements in Z that aren't in 2Z + 5Z, such as 3, 7, 9, 11, 13, 17, and so on.
 
Mark44 said:
Maybe I'm looking at this the wrong way, but it doesn't seem true to me. I'm assuming that 2Z = {..., -4, -2, 0, 2, 4, 6, ...} and that 5Z = {..., -10, -5, 0, 5, 10, 15, ...}

I'm also assuming that + means "union."

If my assumptions are reasonable, every element of 2Z + 5Z is in Z, but there are a lot of elements in Z that aren't in 2Z + 5Z, such as 3, 7, 9, 11, 13, 17, and so on.
The TA said that we're supposed to approach the problem as to show 2Z + 5Z = {a+b | a in 2Z and b in 5Z} = Z. I forgot to paste that into #2. Other than that, you have 2Z and 5Z right. I'm sorry. I was in a rush to get to class and I didn't take my time typing out the post.

I understand where you're going though. In an earlier problem we were asked to show that 2Z U 5Z is not a subring of Z and I used a counterexample based on your reply to show that.
 
The result is true.

The ideals of the ring of integers can be characterized very precisely and simply. Find this characterization.

Now observe that 2 and 5 are relatively prime.
 
OK, that makes more sense.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
2
Views
2K
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K