1
vote
2answers
67 views

number theory of coefficients in an infinite sequence of polynomials

EDIT: equivalent formulation by Hurkyl in comments: if $n$ is odd and $p^\nu \parallel n$ and $n > 2k,$ then $$ p^{(\nu + 2 + 2 k - n)} \; | \; \sum_j \left( \begin{array}{c} n \\ 2j \end{array} ...
4
votes
5answers
176 views

Looking for proof of no solution to 4-variable quadratic diophantine equation

Show there are no integers $a,b,c,d$ such that $$\begin{cases}1=9ac+3ad+3bc-16bd \\ 1=3ad+3bc+2bd \end{cases}$$ Motivation: The ideal $I=(3,1+\sqrt{-17})$ in $R=\mathbb{Z}[\sqrt{-17}]$ has the ...
3
votes
0answers
34 views

Algorithm for determining whether two real quadratic numbers are equivalent under a modular transformation

Let $\alpha \in \mathbb{C}$ be an algebraic number. If the minimal plynomial of $\alpha$ over $\mathbb{Q}$ has degree $2$, we say $\alpha$ is a quadratic number. Then $\alpha$ is a root of a unique ...
-1
votes
2answers
74 views

Binary quadratic forms whose discriminant is that of a quadratic number field

Let $K$ be a quadratic number field, $D$ its discriminant. Let $ax^2 + bxy + cy^2$ be an integral binary quadratic form such that $D = b^2 - 4ac$. It seems that gcd$(a, b, c) = 1$(see this question). ...
-1
votes
1answer
68 views

Algorithm for finding full representatives of the orbit space of imaginary quadratic numbers of discriminant $D$ under the modular group

Let $\Gamma = SL_2(\mathbb{Z})$. Let $\mathcal{H} = \{z \in \mathbb{C}\ |\ Im(z) > 0\}$ be the upper half plane of complex numbers. Let $\sigma = \left( \begin{array}{ccc} p & q \\ r & s ...
1
vote
5answers
268 views

Algorithm for determining whether two imaginary quadratic numbers are equivalent under a modular transformation

Let $\Gamma = SL_2(\mathbb{Z})$. Let $\mathcal{H} = \{z \in \mathbb{C}\ |\ \mathcal{Im}(z) > 0\}$ be the upper half complex plane. Let $\sigma = \left( \begin{array}{ccc} p & q \\ r & s ...
1
vote
0answers
68 views

How to compute the class group of an order of a quadratic number field

Let $K$ be a quadratic number field. Let $R$ be an order of $K$, i.e. the subring of $K$ which is a free $\mathbb{Z}$-module of rank $2$.Let $D$ be its discriminant. We use the notation and the result ...
-1
votes
1answer
62 views

The inverse class of the class represented by a primitive binary quadratic form of discriminant $D$

We use the definitions of this question. Is the following proposition true? If yes, how do we prove it? Proposition Let $D$ be a non-square integer such that $D \equiv 0$ (mod $4$) or $D \equiv 1$ ...
0
votes
0answers
51 views

space of “shapes” of rings of integers of number fields

In the recent paper by Bhargava and Harron, arXiv:1309.2025. They prove that cubic, quartic and quintic fields have equidistributed "shapes" as discriminant gets large. Their notion of shape ...
7
votes
1answer
871 views

What's a BETTER way to see the Gauss's composition law for binary quadratic forms?

There is a group structure of binary quadratic forms of given discriminant $d$: Let $[f]=[(a,b,c)], [f']=[(a',b',c')],$ where $d=b^2-4 a c=b'^2-4 a' c'.$ The composition of two binary quadratic ...
2
votes
0answers
152 views

A characterization of an ambiguous class of binary quadratic forms of discriminant $D$

We use the definitions of this question. Let $D$ be a non-square integer such that $D \equiv 0$ (mod $4$) or $D \equiv 1$ (mod $4$). There exists a bijection $\psi\colon Cl^+(R) \rightarrow C(D)$ by ...