Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Algebraic number fields, Algebraic integers, Arithmetic Geometry, Elliptic Curves, Function fields, Local fields, Arithmetic groups, Automorphic forms, zeta functions, $L$-functions, Quadratic forms, Quaternion algebras, Homogenous forms, Class groups, Units, Galois theory, Group cohomology, Étale cohomology, Motives, Class field theory, Iwasawa theory, Modular curves, Shimura varieties, Jacobian varieties, Moduli spaces
5
votes
unit group of biquadratic fields
Ad 1: The index is easily seen to be finite, and the details will depend on how, exactly, the Galois group acts on the large unit group---and this in turn correlates to some extent with how it acts on …
5
votes
Accepted
Units of an extension of $\mathbb{Z}$
If and only if $\mathbb{Q}(\theta)$ is a real quadratic field.
In the imaginary quadratic case, and when $P$ has degree $1$, there are only finitely many units in the ring of integers of the field. W …
4
votes
Accepted
A question on the genus field of an algebraic number field
The setup ensures that the compositum $k(\sqrt{i})$ will be (isomorphic to) $k\otimes_{\mathbb{Q}}\mathbb{Q}(\sqrt{i})$.
When $g$ is $2$-adically close to $x^4+1$ -- it turns out that mod $8$ (i.e., …
2
votes
Accepted
Embedding noetherian domains in a PID with finite index
The answer to the first question (and therefore also to the second question) is negative, for an elementary reason: If the ring of integers $O_K$ of a number field $K$ has finite index (as an additive …
3
votes
Accepted
Criterion for Ramification of ray class field $K(\mathfrak{p})$ in $\mathfrak{p}$
When the global units surject, then any generator of a principal ideal coprime to ${\mathfrak{m}}$ can always be multiplied by a unit to replace it with a generator of the same principal ideal that is …
16
votes
Rational approximations of $\sqrt{2}$ in $\mathbb{R} \times \mathbb{Q}_7$
Squares of elements of the $3$-adic integers $\mathbb{Z}_3$ are congruent to $0$ or $1$ modulo $3$, thus they are all at $3$-adic distance $1$ from $2$.
Squares of elements of $\mathbb{Q}_3 \setminus …
4
votes
The outer automorphism of the dihedral group $D_4$ and quartic polynomials
Let $\alpha=\alpha_1, \alpha_2, \alpha_3, \alpha_4$ be the conjugates of $\alpha$ in $M$, numbered so that one of the 4-cycles in the Galois group permutes them in the order $\alpha_1 \mapsto \alpha_2 …
4
votes
Accepted
Discriminant of a radical extension of a quadratic number field
Write $D_n$ for the absolute discriminant $\left|\mathrm{disc}(L_n|\mathbb{Q})\right|$ of the field of interest and $d_n$ for its degree. Then the root discriminant is bracketed in the interval $$5^{3 …
3
votes
Accepted
Are totally positive units of $L$ closed (in $L$) with respect to the finite-idelic topology?
I believe this is difficult in general, and I don't think it has been studied much yet.
A partial answer, showing where not to look for simple counterexamples:
Unwinding the definitions, everything …
3
votes
Orders of the conjugates of an algebraic prime number in its residue field
It depends on how large the image $U$ of the global units $\mathcal{O}_K^\times$ in the group $$\prod_\sigma (\mathcal{O}_K/(\sigma(q)))^\times$$
happens to be. It's almost never the full group (becau …
9
votes
Can a sum of roots of unity be an integer?
EDITED Despite the upvotes, the first version of this answer was mostly wrong, and I cannot delete it since it has been accepted. Let me see what can be salvaged.
Fix $\zeta_n$, identify $(\mathbb{Z …
2
votes
Distinct projections along factors of splitting prime
Let $f\in\mathbb{Z}[X]$ be the characteristic polynomial of $\alpha$. If the reduction of $f$ mod $p$ has any repeated factors in $\mathbb{F}_p[X]$, then $p$ divides the discriminant of $f$. This is t …
14
votes
In which cyclic cubic number fields does there exist this type of unit?
The answer to question 1 is yes.
Pick any field element $x_1$ outside the rationals. Let $x_2$ and $x_3$ be its conjugates under the Galois group. Then the cross ratio $$w=\frac{(x_1-1)(x_2-x_3)}{(x_ …
1
vote
In which cyclic cubic number fields does there exist this type of unit?
A supplementary answer which sheds a little more light on question 3, and which extends another result of M.-N. Gras from 1973:
The "green" fields among cyclic cubic fields $K$ are precisely those wh …
12
votes
Accepted
In a CM field, must all conjugates of an algebraic integer lying outside the unit circle lie...
Zero is the only algebraic integer which has all its conjugates strictly inside the complex unit circle. (Look at the norm.)
For explicit examples with conjugates on either side of the unit circle, yo …