Intereting Posts

Invariant subspaces using matrix of linear operator
Why do we subtract
Explain inequality of integrals by taylor expansion
What are the integers $n$ such that $\mathbb{Z}$ is integrally closed?
Showing $a^2 < b^2$, if $0 < a < b$
Does 0% chance mean impossible?
How does the divisibility graphs work?
Find the limiting value of $S=a^{\sqrt{1}}+a^{\sqrt{2}}+a^{\sqrt{3}}+a^{\sqrt{4}}+…$ for $0 \leq a < 1$
infinitely many units in $\mathbb{Z}$ for any $d>1$.
Minimum degree of a graph and existence of perfect matching
Solutions to $f'=f$ over the rationals
How to understand why $x^0 = 1$, where $x$ is any real number?
Hilbert's Nullstellensatz without Axiom of Choice
why does Lie bracket of two coordinate vector fields always vanish?
Combinatorial identity's algebraic proof without induction.

Let $K$ be a quadratic number field.

Let $R$ be an order of $K$, $D$ its discriminant.

By this question, $1, \omega = \frac{(D + \sqrt D)}{2}$ is a basis of $R$ as a $\mathbb{Z}$-module.

Let $I$ be a non-zero ideal of $R$.

By this question, there exist unique integers $a, b, c$ such that $I = \mathbb{Z}a + \mathbb{Z}(b + c\omega),

a \gt 0, c \gt 0, 0 \le b \lt a, a \equiv 0$ (mod $c$), $b \equiv 0$ (mod $c$).

If $c = 1$, we say $I$ is a primitive ideal.

Let $a = ca’$, $b = cb’$.

Then $I = cJ$, where $J = \mathbb{Z}a’ + \mathbb{Z}(b’ + \omega)$.

Clearly $J$ is a primitive ideal.

Let $I = \mathbb{Z}a + \mathbb{Z}(b + \omega)$ be a primitive ideal, where $a$ and $b$ are integers such that $a \gt 0, 0 \le b \lt a$.

Let $\omega’$ be the conjugate of $\omega$, i.e. $\omega’ = \sigma(\omega)$, where $\sigma$ is the unique non-identity automorphism $K/\mathbb{Q}$.

Since $\omega + \omega’ = D$, $\omega’ \in R$.

Hence $N_{K/\mathbb{Q}}(b + \omega) = (b + \omega)(b + \omega’) \in I$.

Hence $N_{K/\mathbb{Q}}(b + \omega)$ is divisible by $a$.

- Bijection between an ideal class group and a set of classes of binary quadratic forms.
- conductor of a quadratic extension of a number field
- Ideal theoretic proof of the second inequality of global class field theory
- Show that $\langle 13 \rangle$ is a prime ideal in $\mathbb{Z}$
- How to factor the ideal $(65537)$ in $\mathbb Z$?
- Generators of $\mathbb{Z}$ and $\mathbb{Z}$ when $\mathbb{Z}$, $\mathbb{Z}$ are f.g.

I came up with the following proposition.

**Proposition**

Let $K, R, \omega$ be as above.

Let $a \ne 0$ and $b$ be integers.

Suppose $N_{K/\mathbb{Q}}(b + \omega)$ is divisible by $a$.

Then $I = \mathbb{Z}a + \mathbb{Z}(b + \omega)$ is an ideal of $R$.

**Outline of my proof**

I showed $(b + \omega)\omega \in I$ using $\omega + \omega’ = D$.

**My question**

How do you prove the proposition?

I would like to know other proofs based on different ideas from mine.

I welcome you to provide as many different proofs as possible.

I wish the proofs would be detailed enough for people who have basic knowledge of introductory algebraic number theory to be able to understand.

- Sums of roots of unity
- Discrete valuation ring associated with a prime ideal of a Dedekind domain
- How many solutions are there to $F(n,m)=n^2+nm+m^2 = Q$?
- Quadratic Integers in $\mathbb Q$
- How to geometrically interpret intertia of primes in field extensions?
- Basis for rank $n$ ring containing $1$.
- A combinatorial proof of $\forall n\in\mathbb{N},\,\binom{n}{2}=\frac{n(n-1)}{2}$
- Question regarding to Dedekind domain and PID
- Can the sum of the first $n$ squares be a cube?
- Prove or disprove that $\phi(a^n - 1)$ is divisible by n

It suffices to prove that $(b + \omega)\omega \in I$.

Let $N_{K/\mathbb{Q}}(b + \omega) = ac$.

Then $(b + \omega)(b + \omega’) = (b + \omega)(b + D – \omega) = ac$.

Hence $(b + \omega)(b + D) – (b + \omega)\omega = ac$.

Hence $(b + \omega)\omega = (b + \omega)(b + D) – ac \in I$ as desired.

- Geometrical interpretation of a group action of $SU_2$ on $\mathbb S^3$
- Let A be a non-empty set, and p an equivalence relation on A . Let a , b be an element of A . Prove that = is equivalent to apb
- CAT(K) Finsler manifolds.
- $A$ uncountable thus $\mu(A)>0$
- Why does Monte-Carlo integration work better than naive numerical integration in high dimensions?
- Do random variables form a comma category?
- Characteristic function of product of normal random variables
- Difference between logarithm of an expectation value and expectation value of a logarithm
- $\beta_k$ for Conjugate Gradient Method
- Mirror anamorphosis for Escher's Circle Limit engravings?
- For every real number $a$ there exists a sequence $r_n$ of rational numbers such that $r_n$ approaches $a$.
- What happens when $\lvert\omega\rvert =1$?
- Expanding a potential function via the generating function for Legendre polynomials
- Is a ring with the following properties simple?
- Solutions of $f(x)\cdot f(y)=f(x\cdot y)$