Intereting Posts

An example of a bounded pseudo Cauchy sequence that diverges?
Identity for simple 1D random walk
If $f$ continuous differentiable and $f'(r) < 1,$ then $x'=f(x/t)$ has no other solution tangent at zero to $\phi(t)=rt$
Reference about the Banach-Tarski paradox
If $|\lbrace g \in G: \pi (g)=g^{-1} \rbrace|>\frac{3|G|}{4}$, then $G$ is an abelian group.
Laurent Polynomials Ring
Star-shaped domain whose closure is not homeomorphic to $B^n$
Is the solution of $e^x \log(x)=1$ transcendental?
Norm for pointwise convergence
Can a norm take infinite value? For example, $\|\cdot \|_1$?
Recursive Sum of Previous Term and its Inverse
Need help with Knuth's proof for Gray Codes
Error in book's definition of open sets in terms of neighborhoods?
Does the intersection of sets have a categorical interpretation?
Why is there only one term on the RHS of this chain rule with partial derivatives?

Let $K$ be an algebraic number field of degree $n$.

Let $\mathcal{O}_K$ be the ring of algebraic integers.

An order of $K$ is a subring $R$ of $K$ such that $R$ is a free $\mathbb{Z}$-module of rank $n$.

I am interested in the ideal theory on $R$ because when $n = 2$ it has a deep connection with the theory of binary quadratic forms as shown in this.

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

It is easy to see that $R/I$ is a finite ring.

The number of elements of $R/I$ is called the norm of $I$ and is denoted by $N(I)$.

Let $\mathfrak{f} = \{x \in R | x\mathcal{O}_K \subset R\}$.

If $I + \mathfrak{f} = R$, we call $I$ regular.

Properties of regular ideals are stated in this question.

Let $I, J$ be regular ideals of $R$.

If $R = \mathcal{O}_K$, it is well-known that $N(IJ) = N(I)N(J)$.

I wondered if this holds when $R \ne \mathcal{O}_K$.

And I came up with the following proposition.

**Proposition**

Let $I, J$ be regular ideals of $R$.

Then $N(IJ) = N(I)N(J)$.

**Outline of my proof**

I used the result of this question and reduced the problem to the case $R = \mathcal{O}_K$.

- Criterion on whether a given ideal of a quadratic order is regular or not
- Minimal polynomial of $\frac{\sqrt{2}+\sqrt{5}}{\sqrt{3}}$
- Norm of ideals in quadratic number fields
- Proving whether ideals are prime in $\mathbb{Z}$
- How does (21) factor into prime ideals in the ring $\mathbb{Z}$?
- When is $\mathbb{Z}$ not an UFD (for $d>1$)?

**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.

**Related question**

A generalization of this question is asked here.

- primes represented integrally by a homogeneous cubic form
- Complex Analysis: Liouville's theorem Proof
- When is the sum of two squares the sum of two cubes
- How do you prove this very different method for evaluating $\sum_{k=1}^nk^p$
- Irrational numbers to the power of other irrational numbers: A beautiful proof question
- Is there a purely imaginary unit in the cyclotomic number field of an odd prime degree?
- Why is $\tau(n) \equiv \sigma_{11}(n) \pmod{691}$?
- Euler's remarkable prime-producing polynomial and quadratic UFDs
- Quotient of the ring of integers of a quadratic field by the ideal generated by a split integer prime.
- Fibonacci number that ends with 2014 zeros?

By this question, $N(I) = N(I\mathcal{O}_K), N(J) = N(J\mathcal{O}_K), N(IJ) = N(IJ\mathcal{O}_K)$. Hence $N(IJ) = N(I\mathcal{O}_K)N(J\mathcal{O}_K) = N(I)N(J)$.

- How to find the $E$ and $Var$ of an Itô Diffusion
- Does $|x^G|$ divide the order $\langle x^G\rangle$?
- Question regarding an inequality
- Trick with 3-digit numbers, always get 1089
- Irreducible but not prime
- Find the limit of $(\sqrt2-\root3\of2 )(\sqrt2 -\root4\of2 )…(\sqrt 2-\root{n}\of2 )$ without using the squeezing principle
- Is there more than one way to express a derivative as a limit of a quotient?
- Show that the value of a definite integral is unity
- On $GL_2(\mathbb F_3)$
- If $A^2 = I$, then $A$ is diagonalizable, and is $I$ if $1$ is its only eigenvalue
- Existence of group of order $p$ in group of order $pq$, $p>q$
- Isometry in Hyperbolic space
- Linear dependence in a complex vector space, and viewed as a real vector space
- Probability of tossing a fair coin with at least $k$ consecutive heads
- Finding Jordan basis of a matrix ($3\times3$ example)