A Brief Introduction to Classical and Adelic Algebraic ... - William Stein
A Brief Introduction to Classical and Adelic Algebraic ... - William Stein
A Brief Introduction to Classical and Adelic Algebraic ... - William Stein
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
188 INDEX<br />
lies over, 73<br />
local compactness of restricted product<br />
lemma, 157<br />
local-<strong>to</strong>-global principal, 125<br />
locally compact, 131<br />
matching integers lemma, 155<br />
metric, 119<br />
minimal polynomial, 25<br />
minimal polynomial of algebraic integer<br />
lemma, 25<br />
Minkowski, 125<br />
multiplicativity of ideal norm proposition,<br />
66<br />
N-adic<br />
numbers, 121<br />
<strong>to</strong>tally disconnected, 124<br />
nilpotent, 180<br />
Noetherian, 19<br />
Noetherian equals finitely generated proposition,<br />
21<br />
non-archimedean, 110<br />
non-archimedean valuation characterization<br />
lemma, 112<br />
nontrivial solution, 125<br />
norm, 27, 66, 137<br />
norm <strong>and</strong> trace proposition, 28<br />
norm, trace compatible with <strong>to</strong>wers corollary,<br />
28<br />
normalized, 133<br />
norms, traces, <strong>and</strong> completions corollary,<br />
143<br />
number field, 10, 26<br />
open ball is closed lemma, 124<br />
open balls, 117<br />
open problem<br />
solvability of plane cubics, 125<br />
order, 26, 110<br />
order of inertia group corollary, 99<br />
Ostrowski theorem, 113<br />
prime ideal fac<strong>to</strong>rization theorem, 53<br />
principal adeles, 158<br />
principal ideles, 168<br />
principal ideles are discrete lemma, 168<br />
product formula theorem, 154<br />
product measure, 158<br />
product of extensions theorem, 152<br />
properties of Haar measure theorem,<br />
133<br />
Proposition<br />
N-distance is metric, 121<br />
OK is Dedekind, 32<br />
OK is a lattice, 28<br />
OK is integrally closed, 31<br />
QN <strong>to</strong>tally disconnected, 124<br />
Z is a PID, 22<br />
Z is a ring, 26<br />
e, f, g, 98<br />
characterization of integrality, 26<br />
characterization of Noetherian, 20<br />
conjugation of Frobenius, 100<br />
dimension of embedding of field,<br />
63<br />
discrete subgroup of R, 110<br />
discriminant of order, 65<br />
fixed field characterization, 98<br />
ideals generated by two elements,<br />
60<br />
inertia group characterization, 100<br />
multiplicativity of ideal norm, 66<br />
Noetherian equals finitely generated,<br />
21<br />
norm <strong>and</strong> trace, 28<br />
same <strong>to</strong>pology implies equivalent<br />
valuations, 118<br />
Smith normal form, 16<br />
structure of p n /p n+1 , 60<br />
subgroup of free group, 15<br />
triangle inequality, 108<br />
unit norm characterization, 78<br />
radical, 55<br />
reduction homomorphism lemma, 129<br />
reduction of Galois group theorem, 99<br />
residue class degree, 92<br />
restricted product lemma, 157