Skip to main content
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
Results tagged with
Search options not deleted user 2481
29 votes
Accepted

Computing (on a computer) higher ramification groups and/or conductors of representations.

You can also compute some higher ramification groups in Sage. At the moment it gives lower numbering, not upper numbering, but here it is anyway: sage: Qx.<x> = PolynomialRing(QQ) sage: g=x^8 + 20*x …
David Loeffler's user avatar
12 votes

Sign and coefficients of fundamental unit of quadratic field

This might be useful: Stevenhagen, Peter, The number of real quadratic fields having units of negative norm, Exp. Math. 2, No. 2, 121-136 (1993). ZBL0792.11041. As Stevenhagen explains, if the discrim …
David Loeffler's user avatar
7 votes
Accepted

Number of imaginary quadratic field with its ideal class group has $\Bbb{Z}/2\Bbb{Z}$ as 2 part

Are there infinitely many $D$ such that $Cl_K[2] \cong \mathbb{Z} / 2\mathbb{Z}$? It's well-known (and straighforward to show) that $Cl_K[2]$ has order $2^{r-1}$ where $r$ is the number of prime fac …
David Loeffler's user avatar
6 votes

Class number of imaginary quadratic fields

The condition shouldn't be "$n$ is prime" but "$n$ is either 1, 2, or a prime congruent to 3 mod 4". For instance $\mathbb{Q}(-5)$ has class number 2. The more general statement that the 2-torsion sub …
David Loeffler's user avatar
4 votes
Accepted

Integrality of Atkin-Lehner operator for $\Gamma_1(N)$

Theorem. Let $\ell$ be prime, and $Q, R \ge 1$ such that $(\ell, Q, R)$ are pairwise coprime. Let $N = QR$ and for simplicity assume $N \ge 4$. Then $W_Q$ preserves $M_k(\Gamma_1(N), \mathbf{Z}[1/N, \ …
David Loeffler's user avatar
3 votes
Accepted

Definability of orderings on a formally real number field

(Originally a comment, reposted as an answer:) Choose a primitive element $\alpha$ of F (i.e. such that $F=\mathbf{Q}(\alpha)$). Let $f$ be its minimal polynomial. Then the data of a field ordering o …
David Loeffler's user avatar