PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] lemma for imaginary quadratic fields (Theorem)

For determining the imaginary quadratic fields whose ring of integers has unique factorization, one can use the following

Lemma. Let $d$ be a negative integer with $d \equiv 1 \pmod{4}$ , $p$ the greatest odd irreducible integer with $p \leqq \sqrt{\frac{1}{3}|d|}$ and $q = \frac{1}{4}(1\!-\!d)$ . In the imaginary quadratic field $\mathbb{Q}(\sqrt{d})$ , the factorization of integers is unique if and only if the integers

$\displaystyle t^2\!-\!t\!+\!q \quad\; \left(t = 1,\,2,\,\ldots,\, \frac{p\!+\!1}{2}\right)$ (1)

are irreducible in the field of the rational numbers.

The lemma yields the below table:

$q$ $d = 1-4q$ $p$ $\frac{1}{2}(p\!+\!1)$ the numbers (1)
$1$ $-3$ $1$ $1$ 1
$2$ $-7$ $1$ $1$ 2
$3$ $-11$ $1$ $1$ 3
$5$ $-19$ $1$ $1$ 5
$11$ $-43$ $3$ $2$ 11, 13
$17$ $-67$ $3$ $2$ 17, 19
$41$ $-163$ $7$ $4$ 41, 43, 47, 53

Bibliography

1
K. V¨AISÄLÄ: Lukuteorian ja korkeamman algebran alkeet. Tiedekirjasto No. 17.    Kustannusosakeyhtiö Otava, Helsinki (1950).




"lemma for imaginary quadratic fields" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: list of all imaginary quadratic extensions whose ring of integers is a PID, class numbers of imaginary quadratic fields


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: numbers, rational numbers, field, odd, integer, negative, unique factorization, ring of integers, imaginary quadratic fields
There is 1 reference to this entry.

This is version 4 of lemma for imaginary quadratic fields, born on 2008-10-27, modified 2008-10-28.
Object id is 11216, canonical name is LemmaForImaginaryQuadraticFields.
Accessed 625 times total.

Classification:
AMS MSC11R04 (Number theory :: Algebraic number theory: global fields :: Algebraic numbers; rings of algebraic integers)
 11R11 (Number theory :: Algebraic number theory: global fields :: Quadratic extensions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy
squarefree? by gel on 2008-11-29 22:24:31
does d have to be squarefree in this lemma?
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)