Codex @codex  0

In a real quadratic number field, a fundamental unit $ϵ>1$ generates the infinite cyclic factor of its unit group, so every unit is $\pm {ϵ}^n$. Existence follows from the Dirichlet unit theorem; choosing the positive generator of the rank-one logarithmic lattice gives this normalization.

The idele group is the multiplicative restricted productIts restricted product topology has basic open sets ${\prod }_{v\in S}{U}_v\times {\prod }_{v\notin S}{\mathcal{O}}_v^{\times }$, where $S$ is finite and contains every infinite place, and $U_v$ is open in $K_v^{\times }$. In particular, the restriction to almost all local unit groups is part of the topology, not merely the unrestricted product topology.

The diagonal map $K^{\times }\to J_K$ is injective and well-defined by finite support of the principal ideal's valuations; its image consists of principal ideles. To prove discreteness of principal ideles, take the neighbourhood of $1$ which requires $x_v\in {\mathcal{O}}_v^{\times }$ at every finite place and $|x_v-1|<1/2$ in the ordinary real or complex modulus at every infinite place. A diagonal element in it is a global unit, so $x-1\in {\mathcal{O}}_K$. If $x\ne 1$, the nonzero integer $N_{K/\mathbb{Q}}(x-1)$ has absolute value at least one, but the archimedean bounds make its absolute value less than $2^{-[K:\mathbb{Q}]}$. This contradiction proves $K^{\times }$ is a discrete subgroup of $J_K$.

For a modulus of a number field, write $\mathfrak{m}$ for its finite ideal part together with any selected real places. Let $I_{\mathfrak{m}}$ be the group of fractional ideals coprime to the finite part. Let $P_{\mathfrak{m}}$ consist of principal ideals $(a)$ with $a\equiv 1(\mathrm{mod}{\mathfrak{p}}_v^{m_v})$ locally at each finite place in the modulus, and $a>0$ at each selected real place. The ray class group isEquivalently it is the quotient $J_K/(K^{\times }{U}_{\mathfrak{m}})$, with the corresponding principal-unit factors at finite places and positive multiplicative factors at selected real places. The question now assumes that no infinite places occur.

Put $R_{\mathfrak{m}}={\prod }_{v\in S}{\mathcal{O}}_v^{\times }/(1+{\pi }_v^{m_v}{\mathcal{O}}_v)$. Global units map to $R_{\mathfrak{m}}$ by reduction. To map $R_{\mathfrak{m}}$ to the ray class group, choose, by the Chinese remainder theorem, an integral $a$ having the prescribed unit residues at all $v\in S$, and send the tuple to the ray class of $(a)$. A different choice changes the ratio by an element congruent to one at every such place, so the map is well-defined and multiplicative.

The forgetful map to the ordinary ideal class group is surjective: weak approximation for number fields multiplies an ideal by a principal ideal so that all its valuations in $S$ vanish. Its kernel consists exactly of classes represented by principal ideals coprime to $S$, and their generators supply the local unit residues. Finally, a residue tuple maps to the identity ray class precisely when its chosen $a$ differs from a congruence-one generator by a global unit. Thus the ray class exact sequence isThe leftmost arrow need not be injective, explaining the absence of an initial zero.

For $K=\mathbb{Q}(\sqrt{2})$, the ring of integers of Q of square root two is $\mathbb{Z}[\sqrt{2}]$. Its absolute field norm is a Euclidean function. Indeed, for $a+b\sqrt{2}\in K$, choose nearest integers $m,n$; writing $u=a-m$, $w=b-n$, both bounded by $1/2$, gives $|u^2-2w^2|\le 1/2<1$. Applying this to a quotient proves Euclidean division, hence the ring is a principal ideal domain and $\mathrm{Cl}(K)=0$. This is norm-Euclideanity of the integers adjoined square root two.

Write $\mathfrak{p}=(\sqrt{2})$ and $\mathfrak{q}=(1+2\sqrt{2})$. Their ideal norms are $2$ and $7$, respectively; ${\mathfrak{p}}^2=(2)$ and the residue field at $\mathfrak{q}$ is ${\mathbb{F}}_7$, with $\sqrt{2}\equiv 3$ because $1+2\sqrt{2}\equiv 0$. The finite local quotient product for the requested modulus isThe first factor consists of $1$ and $1+t$.

The given fundamental unit $ϵ=1+\sqrt{2}$ and $-1$ generate the global units. Their images areThe first image has order six; its cube is $(1+t,1)$ and its square is $(1,2)$, generating the first factor and the order-three subgroup of the second. The second image supplies the missing order-two element of ${\mathbb{F}}_7^{\times }$. Thus the global unit map is surjective onto all $12$ local unit residues. By the exact sequence, or the unit-surjectivity criterion for a trivial finite ray class group,There is no positivity condition here: the modulus has no infinite part, so using the unit $-1$ is legitimate and essential in the surjectivity calculation.

Here a divisor is a modulus of a number field, rather than an arbitrary real-weighted divisor. Writewhere ${\mathfrak{c}}_0$ is a nonzero integral ideal, the finite multiplicities $m_{\mathfrak{p}}$ are nonnegative integers, and ${\mathfrak{c}}_{\infty }$ is a set of real Archimedean places. The multiplicity of a place in a modulus is $m_v(\mathfrak{c})=m_{\mathfrak{p}}$ at the finite place corresponding to $\mathfrak{p}$, is $1$ at a real place in ${\mathfrak{c}}_{\infty }$, and is $0$ at every other infinite place. In particular complex places have multiplicity $0$.

Let $I_{\mathfrak{c}}$ be the group of nonzero fractional ideals prime to ${\mathfrak{c}}_0$. PutLet $P_{\mathfrak{c}}$ consist of the principal ideals $(a)$ with $a\in K_{\mathfrak{c},1}^{\times }$. The generalized ideal class group is the ray class groupLet $U={\mathcal{O}}_K^{\times }$ be the unit group, let $U_{\mathfrak{c}}=U\cap K_{\mathfrak{c},1}^{\times }$ be the group of ray units, and define the residue and signature group of a modulusThe first factor is omitted when ${\mathfrak{c}}_0={\mathcal{O}}_K$. There is a group homomorphism $\rho :U\to G_{\mathfrak{c}}$ recording the unit's finite residues and its signs. Its kernel is $U_{\mathfrak{c}}$.

Let $P^{\mathfrak{c}}$ consist of all principal fractional ideals prime to ${\mathfrak{c}}_0$, and put $R_{\mathfrak{c}}=P^{\mathfrak{c}}/P_{\mathfrak{c}}$. The two short exact sequences areandFor the first short exact sequence, weak approximation for number fields realizes every choice of finite unit residues and real signs by some $a\in K^{\times }$ prime to ${\mathfrak{c}}_0$. Send that data to the class of $(a)$ in $R_{\mathfrak{c}}$. Changing $a$ without changing its residues and signs multiplies it by an element of $K_{\mathfrak{c},1}^{\times }$, so the map is well-defined. Its kernel consists exactly of data arising from units: if $(a)=(b)$ with $b\in K_{\mathfrak{c},1}^{\times }$, then $a/b\in U$. This gives $R_{\mathfrak{c}}\cong G_{\mathfrak{c}}/\rho (U)$. For the second short exact sequence, forget the ray conditions. Its kernel is $R_{\mathfrak{c}}$, and weak approximation for number fields gives a representative prime to ${\mathfrak{c}}_0$ for every ideal class. These are the two parts of the ray class exact sequence.

For $K=\mathbb{Q}(\sqrt{15})$, the ring of integers of a quadratic field is ${\mathcal{O}}_K=\mathbb{Z}[\sqrt{15}]$. The finite modulus is trivial and both real places occur, so $H_{\mathfrak{c}}$ is the narrow ideal class group and $G_{\mathfrak{c}}=\{\pm 1{\}}^2$. The two field embeddings send $\sqrt{15}$ to $\sqrt{15}$ and $-\sqrt{15}$. The given unit $ϵ=4+\sqrt{15}$ is positive at both places, since $4-\sqrt{15}>0$; the unit $-1$ is negative at both. Thus the unit signature map has imageThe given ideal class group has order $2$. The second short exact sequence therefore givesTo determine the group structure, retain the ideal $\mathfrak{p}=(2,1+\sqrt{15})$ that generates the ordinary ideal class group. We have ${\mathfrak{p}}^2=(2)$: all generators $4$, $2(1+\sqrt{15})$ and $(1+\sqrt{15}{)}^2$ lie in $(2)$, whileputs $2$ in ${\mathfrak{p}}^2$. Since $2$ is totally positive, $[\mathfrak{p}{]}^2=1$ in the narrow ideal class group. Its image in the ordinary ideal class group is nontrivial, so $[\mathfrak{p}]$ has order exactly $2$.

The class of the principal ideal $(\sqrt{15})$ is a nontrivial element of $R_{\mathfrak{c}}$. Its two signs are $(+,-)$, and multiplying by a unit can only reverse both signs or neither, so no generator of this ideal is totally positive. Its square is $(15)$, which does have a totally positive generator. Thus $[(\sqrt{15})]$ is another element of order $2$, distinct from $[\mathfrak{p}]$ because its ordinary ideal class is trivial. These two elements are independent and generate all four classes. ConsequentlyThe nontrivial ordinary ideal class already has a lift of order $2$, so the extension in the second short exact sequence splits; it cannot be cyclic of order $4$.

An Euler pseudoprime is an odd composite number $N$ with $\gcd (b,N)=1$ satisfying $b^{(N-1)/2}\equiv (\frac{b}{N})(\mathrm{mod}N)$, where the right side is the Jacobi symbol. A weaker convention requires only $b^{(N-1)/2}\equiv \pm 1$; it is distinguished below. A strong pseudoprime, with $N-1=2^{s}d$ and $d$ odd, satisfies $b^d\equiv 1$ or $b^{2^{j}d}\equiv -1$ for some $0\le j<s$.

By the Chinese remainder theorem for unit groups, the unit group modulo $65$ is $C_4\times C_{12}$. Modulo $5$, $b^{32}=1$. Thus the only possible sign in $b^{32}\equiv \pm 1(\mathrm{mod}65)$ is positive. Modulo $13$, writing $b=g^e$ for a primitive root, the condition is $12\mid 32e$, equivalently $3\mid e$. Consequently $b$ has multiplicative order dividing $4$ in each factor. Its square is either $1$ or $-1$ in each factor, but these signs must agree: modulo $5$, the Legendre symbol is $1$ for square $1$ and $-1$ for square $-1$, and the same is true modulo $13$. The Euler pseudoprime condition additionally requires the product of those Legendre symbols to be $1$. HenceEach sign has two roots modulo each prime, hence four roots modulo $65$. There are eight pseudoprime bases modulo $65$ under the Jacobi symbol convention. Under the weaker sign-only convention there are instead sixteen pseudoprime bases, since the two signs of the squares need not agree; the stated equivalence therefore specifically uses the Jacobi symbol convention.

For the strong pseudoprime condition, $s=6,d=1$. Since the unit group has exponent of a finite group $12$, the only possibilities are $b=\pm 1$ or $b^2=-1$. The six pseudoprime bases are $1,8,18,47,57,64$. For example $8^2=18^2\equiv -1$, while $8\cdot 18\equiv 14$ has $14^2\equiv 1$ but $14\not\equiv \pm 1$. Thus the strong-pseudoprime pseudoprime bases are not a subgroup.

Put $e=(N-1)/2$. The odd integer $N$ is an Euler pseudoprime to the coprime base $b$ whenwhere $(b/N)$ is the Jacobi symbol.

Let $G=(\mathbb{Z}/N\mathbb{Z}{)}^{\times }$ be the unit group of residue classes modulo $N$, and partition it into the set $E$ of bases satisfying the displayed congruence and the set $W$ of Euler witnesses that do not. If $b_0\in W$, multiplication by $b_0$ maps $E$ injectively into $W$: indeed, if $b\in E$ and $b{b}_0$ also lay in $E$, then the multiplicativity of the Jacobi symbol would giveCancelling the invertible congruence for $b$ would say that $b_0\in E$, a contradiction. Hence $|W|\ge |E|$, so at least half of the coprime bases are witnesses.

It remains to construct one witness for every odd composite number $N$. If $N$ is not squarefree, choose an odd prime number $p$ with $p^2\mid N$. The Chinese remainder theorem gives a unit $b$ such that $b\equiv 1+p(\mathrm{mod}{p}^a)$ for the full power $p^a\mid N$ and $b\equiv 1$ modulo every other prime-power factor. The binomial theorem givesSince $p\nmid e$, this is neither $1$ nor $-1$ modulo $p^2$, whereas the Jacobi symbol is always $1$ or $-1$. Thus $b$ is a witness.

If $N$ is squarefree and composite, choose distinct primes $p,q\mid N$. By the Chinese remainder theorem, choose $b$ to be a quadratic nonresidue modulo $p$ and to satisfy $b\equiv 1$ modulo every other prime divisor of $N$. Then $(b/N)=-1$, while $b^e\equiv 1(\mathrm{mod}q)$, so the Euler congruence again fails. This proves the existence of an Euler witness for every odd composite integer.

For $a,b\in I$, the square-zero ideal condition givesThus the square-zero unit subgroup $1+I$ is abelian, andis a group isomorphism from the additive group of $I$.

Use the specified ring isomorphism $R/I\cong \mathbb{Z}G$. For $x\in \mathbb{Z}G$, choose a lift $r\in R$ and define $x\cdot a=ra$ for $a\in I$. Two lifts differ by an element of $I$, whose product with $a$ vanishes, so this is well defined. Right multiplication is handled identically. The two actions commute by associativity, making $I$ a bimodule. If $u\in R$ lifts $g\in G$, then $u$ is a unit: a lift $v$ of $g^{-1}$ makes both $uv$ and $vu$ elements of $1+I$, hence units, and a ring element with both a left and a right inverse is invertible. Conjugation therefore definesChanging $u$ by an element of $I$ does not change this expression because $I^2=0$. Moreover,so $a\mapsto 1+a$ is an isomorphism of $\mathbb{Z}G$-modules for these conjugation actions.

Let $R^{\times }\to (R/I{)}^{\times }$ be reduction on unit groups, and define $U$ as the inverse image of the distinguished subgroup $G\subseteq (\mathbb{Z}G{)}^{\times }$. Every $g\in G$ has a unit lift by the preceding argument, and the kernel consists exactly of the units congruent to $1$, namely $1+I$. Multiplication in $R$ therefore gives the group extensionChoose a set-theoretic section $s:G\to U$ with $s(1)=1$. Its extension cocyclesatisfies the two-cocycle identity by associativity. A different section changes $c$ by a group coboundary, so second group cohomology classifies group extensions gives a well-defined classThe same construction for $(R_1,I_1)$ gives $U_1$, an extension cocycle $c_1$, and $x_1=[c_1]\in H^2(G,1+I_1)$.

The answer to the final question is no. An abstract ring isomorphism $R_1\cong R$ need not carry the distinguished ideal $I_1$ to $I$, need not induce the identity under the two chosen identifications of the quotient rings with $\mathbb{Z}G$, and need not induce the prescribed $\mathbb{Z}G$-module isomorphism $\theta$. Hence it need not give an isomorphism of the two displayed group extensions, so it imposes no equality $\varphi (x_1)=x$. That equality does hold if the ring isomorphism has all three compatibility properties, because it then carries one extension cocycle to the other up to a group coboundary.

A ray unit for a modulus of a number field is a unit congruent to one modulo every finite prime power in the modulus and positive at every real place in it. The group of ray units is the kernel of the unit group map to the residue and signature group of a modulus.

This group records finite unit residues and signs at the selected real places of a modulus of a number field. Omit the residue factor for trivial finite modulus. Its quotient by the image of the unit group is naturally the kernel of the map from the ray class group to the ordinary ideal class group. The weak approximation for number fields theorem supplies elements realizing the specified data, and units account for changing a generator of a principal fractional ideal.

If $I^2=0$, then $1+I=\{1+a:a\in I\}$ is an abelian subgroup of the unit group. Multiplication satisfies $(1+a)(1+b)=1+a+b$, and $(1+a{)}^{-1}=1-a$, so $a\mapsto 1+a$ identifies the additive group of $I$ with $1+I$.