[Number Theory] Finding principal ideals in Z[√-6]

Click For Summary
SUMMARY

The discussion focuses on finding principal ideals in the ring Z[√-6] that contain the element 6. The key insight is that an ideal contains 6 if and only if it contains the principal ideals generated by 2 and 3, specifically (6) = (2)(3). The user is exploring the structure of these ideals and questioning whether all combinations of the general form a = paqbrc need to be checked to determine their properties. The conclusion emphasizes the importance of factoring (2) and (3) within Z[√-6] to identify the relevant ideals.

PREREQUISITES
  • Understanding of principal ideals in ring theory
  • Familiarity with the structure of Z[√-6]
  • Knowledge of factorization in algebraic integers
  • Basic concepts of number theory and ideal theory
NEXT STEPS
  • Study the properties of principal ideals in algebraic number fields
  • Learn about the factorization of integers in Z[√-6]
  • Research the structure of ideals in quadratic fields
  • Explore the concept of unique factorization domains (UFDs) in number theory
USEFUL FOR

This discussion is beneficial for number theorists, mathematicians studying algebraic structures, and students interested in the properties of ideals in rings, particularly in the context of quadratic fields.

Firepanda
Messages
425
Reaction score
0
[Number Theory] Find all the ideals with the element 6 in them in Z[√-5]

Edited original question since I have now found the answer (I realize the title is inconsistent on the forum page), instead I am now trying to do part i) here

immohj.png


Is it possible to it this way:

2hmzyqd.png


Or is the structure of the question meaning my lecturer wants the actual ideals, and not just a general form? If so, how do i find which ideals contain 6.

I know the general form is

a = paqbrc

Whre a is an element of {0,1,2}, and b,c are an element of {0,1}

So there are 9 different combinations I think, do I have to check all 9? Or do all 9 have this property and there is no need to check?

Thanks
 
Last edited:
Physics news on Phys.org
Hint: An ideal contains 6 iff it contains (6)=(2)(3) (principal ideals) iff it divides (2)(3).

So factor (2) and (3) in Z[sqrt{-6}].
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
2K
Replies
6
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
23
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K