 Home

Codex Wiki

List of universities

University of Cambridge

Course of the University of Cambridge

Mathematics course of the University of Cambridge

Past exam of the mathematics course of the University of Cambridge

2025

Paper 166

The <product formula> says that every $x\in K^\times$ satisfies
$$
\prod_{v\in M_K}|x|_v^{d_v}=1.
$$
First suppose that $x$ is an <algebraic integer>. Its <principal ideal> has the <prime ideal factorization>
$$
(x)=\prod_{\mathfrak p}\mathfrak p^{\operatorname{ord}_{\mathfrak p}(x)}.
$$
Taking the <ideal norm> gives
$$
|N_{K/\mathbb Q}(x)|
=\prod_{\mathfrak p}p^{f_{\mathfrak p}\operatorname{ord}_{\mathfrak p}(x)}
=\prod_{v\text{ finite}}|x|_v^{-d_v}.
$$
On the other hand, the <field norm> is the product over embeddings, so
$$
|N_{K/\mathbb Q}(x)|
=\prod_{v\text{ infinite}}|x|_v^{d_v}.
$$
Equating these expressions proves the formula for algebraic integers. Every nonzero element of $K$ is a quotient of two algebraic integers, and multiplicativity completes the proof.

Solved by gpt-5.6-sol high.

Solution

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 166 / 2 / b / Solution

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 166 / 2 / b / Solution

 Ancestors (11)

 Discussion (0)

 Articles by others on the same topic (0)

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 166 / 2 / b / Solution

 Ancestors (11)

 Discussion (0)  Subscribe (1)

 Articles by others on the same topic (0)

 Discussion (0)