Proving Irreducibility of Primes in Z[√-5]

  • Thread starter Thread starter jaqueh
  • Start date Start date
  • Tags Tags
    Primes
Click For Summary
SUMMARY

The discussion focuses on proving the irreducibility of prime numbers in the ring Z[√−5]. It establishes that a prime number p is irreducible in Z[√−5] if and only if there does not exist an element α in Z[√−5] such that N(α) = p, where N(α) = a² + 5b² for α = a + b√−5. The participants aim to identify the smallest prime that is not irreducible in this context, emphasizing the importance of understanding the properties of norms in algebraic number theory.

PREREQUISITES
  • Understanding of algebraic number theory concepts, specifically Z[√−5]
  • Familiarity with the norm function N(α) = a² + 5b²
  • Knowledge of prime and irreducible elements in ring theory
  • Basic skills in logical reasoning and proof techniques
NEXT STEPS
  • Research the properties of norms in algebraic number fields
  • Study the concept of irreducibility in various rings, including Z[i] and Z[√−d]
  • Explore examples of primes in Z[√−5] and their irreducibility
  • Learn about the implications of unique factorization in algebraic integers
USEFUL FOR

This discussion is beneficial for students and researchers in algebraic number theory, particularly those studying the properties of primes and irreducibility in quadratic integer rings.

jaqueh
Messages
57
Reaction score
0

Homework Statement


Suppose p is a prime number. Prove that p is irreducible in Z[√−5] if and only if there does not exist α ∈ Z[√−5] such that N(α) = p.
Using this, find the smallest prime number that is not irreducible in Z[√−5].

Homework Equations


α = a+b√−5 ∈ Z[√−5]
N(α) = a2 + 5b2
N(α)N(β) = N(αβ)

The Attempt at a Solution


I did => so I'm now doing <=

(Contraposition)Suppose that p is reducible in Z√-5 and isn't prime, then we know that p can be a product of two numbers: call them x,y ∈ Z√-5. Then we get that N(P)=n(x,y)=n(x)n(y)=(a2+5b2)(c2+5d2)

then i have no idea what to do
 
Physics news on Phys.org
You seem to be confused as to what "<=" is. The fact that p is prime is a given for either direction. You can't say "Suppose p isn't prime". The converse is "If there does not exist [itex]a\in Z[\sqrt{-5}][/itex] such that N(a)= p, then p is irreducible in [itex]Z[\sqrt{-5}][/itex]."
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
Replies
3
Views
2K
Replies
5
Views
2K
Replies
15
Views
4K
Replies
48
Views
6K
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K