Codex Wiki
OurBigBook.com
Site
Source code
Nonprincipal ideal in the integers adjoined a square root of minus five
Home
Mathematics
Area of mathematics
Algebra
Noetherian ring
Noetherianity of a quadratic integer order
OurBigBook.com
Words: 33
In
R
=
Z
[
−
5
]
, the ideal
I
=
(
2
,
1
+
−
5
)
(176)
has additive index two. If
I
=
(
a
+
b
−
5
)
were principal, multiplication by its generator would give
[
R
:
I
]
=
∣
a
2
+
5
b
2
∣
=
2
,
(177)
which has no solution in integers. Thus
I
is not principal.
Ancestors
(6)
Noetherianity of a quadratic integer order
Noetherian ring
Algebra
Area of mathematics
Mathematics
Home
Incoming links
(1)
Solution