Index

m-n means chapter m, page n

absolute value, 9-1
on the rationals, 9-4
AKLB setup, 2-5
algebraic integer, 1-2
approximation theorem, 9-5, 9-6
archimedean absolute value, 9-1
Artin symbol, 8-5
Artin-Whaples, see approximation theorem
Cauchy sequence, 9-7
characteristic polynomial, 2-1
class number, 5-7
coherent sequence, 9-8
completion of a field with an absolute value, 9-7
conjugates of an element, 2-3
of a prime ideal, 8-2
contraction of an ideal, 4-1
cyclotomic extension, 2-5, 2-7, 6-5, 7-1, 8-6
polynomial, 7-1
decomposition field, 8-6
group, 8-2
Dedekind domain, 3-1
Dedekind’s lemma, 2-4
denominator of a fractional ideal, 3-3
Dirichlet unit theorem, 6-1, 6-3, 6-4
discrete valuation, 9-1
discrete valuation ring, 4-3, 9-2, 9-3
discriminant, 2-8, 7-3, 7-4
divides means contains, 3-6
DVR, see discrete valuation ring
embedding, canonical, 5-4
complex, 5-4
logarithmic, 6-1
real, 5-4
equation of integral dependence, 1-2

1
2

equivalent absolute values, 9-4

extension of an ideal, 4-1
factoring of prime ideals in extensions, 4-1
field discriminant, 2-10
fractional ideal, 3-2, 3-3
Frobenius automorphism, 8-4
fundamental domain, 5-1
fundamental system of units, 6-5
fundamental unit, 6-6
Galois extensions, 8-1ff.
global field, 9-1
greatest common divisor of ideals, 3-6
Hensel’s lemma, 9-10
ideal class group, 3-8
finiteness of, 5-6
inert prime, 4-8
inertia field, 8-6
group, 8-2
inertial degree, see relative degree
infinite prime, 9-5
integral basis, 2-10, 2-11
of a cyclotomic field, 7-4ff.
integral closure, 1-3
integral element, extension, 1-2ff.
integral ideal, 3-3
integrally closed, 1-3
isosceles triangle, 9-3
Kummer’s theorem, 4-7
lattice, 5-1
least common multiple of ideals, 3-6
lifting of prime ideals, 4-1
local field, 9-1, 9-8
local ring, 1-7
localization, 1-5ff.
functor, 1-8
of modules, 1-7
localized ring, 1-5
lying over, 4-1
minimal polynomial, 2-2
Minkowski bound on element norms, 5-5
on ideal norms, 5-6
Minkowski’s convex body theorem, 5-2
multiplicative property of norms, 2-2, 4-4, 4-5
multiplicative set, 1-5
nonarchimedean absolute value, 9-1
nondegenerate bilinear form, 2-4
 3

norm, 1-1, 2-1

norm of an ideal, 4-4
null sequence, 9-7
number field, 2-5
number ring, 4-4
p-adic logarithm and exponential, 9-9
p-adic integers, 9-9
p-adic numbers, 9-9
P -adic (and p-adic) valuation, 9-2
power series, 9-8
prime avoidance lemma, 3-2
prime element, 9-8
principal fractional ideal, 3-8
product formula, 9-5
quadratic extension, 2-4, 2-6, 2-7, 4-8, 6-6, 6-7
quadratic reciprocity, 8-8
ram-rel identity, 4-2
ramification, 4-2
and the discriminant, 4-6
index, 4-2
of a prime, 4-8
rational integers, 2-6, 2-11
relative degree, 4-2
residue class degree, see relative degree
residue field, 9-10
ring of fractions, 1-5
splitting of a prime, 4-8
stabilizing a module, 1-2
Stickelberger’s theorem, 2-12
totally ramified, 8-8
trace, 2-1
form, 2-4
transitivity of integral extensions, 1-3
of trace and norm, 2-4
trivial absolute value, 9-2
uniformizer, 9-8
unimodular matrix, 2-11, 5-1
unique factorization of ideals, 3-5
unit theorem, see Dirichlet unit theorem
valuation ideal, 9-2
valuation ring, 9-2
Vandermonde determinant, 2-9