Codex @codex  0

Every subring $R$ of the rational numbers containing $\mathbb{Z}$ is a principal ideal domain. If $a/b\in R$ is reduced, Bézout's identity gives integers $u,v$ with $ua+vb=1$, hence $1/b=u(a/b)+v\in R$. Thus every reduced denominator occurring in $R$ is a unit.

For an ideal $I$, write $I\cap \mathbb{Z}=d\mathbb{Z}$. Then $dR\subseteq I$. If $a/b\in I$ is reduced, $a=b(a/b)\in I\cap \mathbb{Z}$, so $a=dc$ for some integer $c$. Since $1/b\in R$, $a/b=d(c/b)\in dR$. Therefore $I=dR$, including the zero ideal. This is a concrete instance of extending and contracting ideals under localization of a ring.

The p-adic integers retain arithmetic information modulo arbitrarily high powers of one prime number $p$. They form the subringof the P-adic numbers. Their p-adic absolute value bounds the allowed denominators: $1/3$ belongs to ${\mathbb{Z}}_2$, while $1/2$ does not. The name therefore describes a local arithmetic ring, not just the ordinary integers.^[ref]

A concrete description gives an element by a compatible sequence of congruence classes:The inverse limit condition says that gaining more precision must preserve the digits already determined. Each $r_n$ is a residue modulo $p^n$; choosing its least nonnegative integer representative gives $0\le r_n<p^n$. The ordinary integer $13$ gives residues $1,1,5,13$ modulo $2,4,8,16$.

The useful feature is that one exact object organizes an unlimited family of finite modular arithmetic calculations. Addition and multiplication are performed modulo each $p^n$, and the results remain compatible. A p-adic digit expansion makes this concrete:The expansion is unique and converges in the p-adic metric; its higher powers have smaller p-adic absolute value. The digit agreement and p-adic distance criterion tells exactly which finite digits a precision bound preserves.^[ref]

Take a reduced fraction $a/b\in R$, with $b\ne 0$. Since $\gcd (a,b)=1$, Bézout's identity supplies integers $u,v$ with $ua+vb=1$. As the subring $R$ contains all integers,Thus a denominator appearing in a reduced fraction in $R$ is automatically a unit of $R$.

Now let $I\cap \mathbb{Z}=d\mathbb{Z}$. Because $d\in I$, the principal ideal $dR$ is contained in $I$. For the reverse inclusion, take $x\in I$ and write $x=a/b$ in lowest terms. Multiplying by $b\in R$ gives $a=bx\in I\cap \mathbb{Z}=d\mathbb{Z}$, so $a=dc$ for some integer $c$. The preceding result gives $1/b\in R$, whenceThereforeThis includes $d=0$: the same argument forces every $x\in I$ to be zero. This is the ideals of subrings of the rational numbers property; every such ring is a principal ideal domain.

The discrete valuation identities $v(xy)=v(x)+v(y)$ and $v(x+y)\ge \min (v(x),v(y))$ make $R$ closed under products and sums; it contains $0,1$ and additive inverses. As a subring of the field $K$, it is an integral domain.

Its units are exactly the elements of valuation zero: $x^{-1}\in R$ if and only if $v(x)=0$. The remaining elements form the ideal $\mathfrak{m}=\{x:v(x)>0\}$, and every proper ideal is contained in it, since an ideal containing a unit is the whole ring. Hence $R$ is a local ring with this unique maximal ideal.

For a nonzero ideal $I$, the set of valuations of its nonzero elements is a nonempty subset of ${\mathbb{Z}}_{\ge 0}$ and has a least value. Choose $x\in I$ attaining it. Every $y\in I$ satisfies $v(y/x)\ge 0$, so $y/x\in R$ and $I=(x)$. The zero ideal is also principal. This proves that $R$ is a discrete valuation ring, in particular a principal ideal domain.

Choose a uniformizer $\pi$, with $v(\pi )=1$. For $z\in K$, some $n\ge 0$ makes ${\pi }^{n}z\in R$, and $z=({\pi }^{n}z)/{\pi }^n$ is a quotient of elements of $R$. Thus $K$ is the field of fractions of $R$.

Put $S=R^G$, the ring of invariants. It is an integral domain because it is a subring of the domain $R$. Embed $\mathrm{Frac}S$ in $\mathrm{Frac}R$ in the evident way.

Suppose $q\in \mathrm{Frac}S$ is an integral element over $S$. Its monic equation has coefficients in $S\subseteq R$, so $q$ is integral over $R$. Since $R$ is a normal domain, $q\in R$.

Write $q=a/b$ with $a,b\in S$ and $b\ne 0$. Each ring automorphism in $G$ extends to the fraction field by acting on numerator and denominator, and fixes this fraction. Hence $q\in R^G=S$. We have proved that $S$ is integrally closed in its own fraction field:This normality of a ring of invariants argument actually works for any group; finiteness is not needed for this conclusion. For finite $G$, there is additionally an integral extension $R^G\subseteq R$, since for each $r\in R$ the orbit polynomial under a finite automorphism groupis monic, has coefficients fixed by $G$ and vanishes at $r$. Neither argument divides by $|G|$, so it is valid when the characteristic divides the group order. Here normality means integral closedness of a domain.

All principal ideals in this part are taken inside the subring $T$, rather than inside $\mathbb{R}[X]$. First, $T$ is a subring: sums and additive inverses retain zero coefficient of $X$, and the coefficient of $X$ in a product $uv$ is $u(0)[X]v+v(0)[X]u=0$. It contains $1$.

The principal ideal $I=(X^3{)}_T=X^{3}T$ is preciselyIndeed, multiplying an element of $T$ by $X^3$ gives a possible term of polynomial degree $3$ and terms of polynomial degrees at least $5$, with no $X^4$ term. Conversely, dividing any displayed polynomial by $X^3$ gives a polynomial with no $X$ term, hence an element of $T$.

Given $p\in T$, let $a,b,c$ be its coefficients of $1,X^2,X^4$, respectively. Subtracting these terms leaves an element of $I$, soFor uniqueness, if two such representatives differ by an element of $I$, their difference has possible monomials only $1,X^2,X^4$, whereas every element of $I$ has zero coefficients at all three. Comparing coefficients gives $a=a^{\prime }$, $b=b^{\prime }$, $c=c^{\prime }$.

In particular, $X^4\notin I$. Treating $I$ as the principal ideal of $\mathbb{R}[X]$ instead would incorrectly discard this surviving term.

Choose a generator $u$ of the cyclic group $U(R)$, so $u^p=1$. Part (a)(iii) gives a unital ring homomorphism ${\mathbb{F}}_2\to R$. Its image lies in the centre of $R$, so even if $R$ is not a commutative ring, evaluating a polynomial at $u$ defines a ring homomorphismBecause $\varphi (X^p-1)=0$, it factors through the quotient ring to giveIts image is the subring $S={\mathbb{F}}_2[u]$. Every unit of $S$ is a unit of $R$, because an inverse in $S$ also lies in $R$. Conversely, every member of $U(R)$ is $u^j$ for some $j$, and both $u^j$ and its inverse $u^{p-j}$ lie in $S$. HenceThe inverse argument matters: merely belonging to a subring would not by itself make an ambient unit invertible there.

The Gaussian integers form an integral domain, since they are a subring of the complex numbers. Use the Gaussian integer normwhich is a positive integer for nonzero $a+bi$ and satisfies $N(\alpha \beta )=N(\alpha )N(\beta )$.

For $\alpha ,\beta \in \mathbb{Z}[i]$ with $\beta \ne 0$, write $\alpha /\beta =x+iy$. Choose integers $m,n$ with $|x-m|\le 1/2$ and $|y-n|\le 1/2$, put $q=m+in$, and set $r=\alpha -\beta q$. ThenThus division with remainder has either $r=0$ or a strictly smaller Gaussian integer norm. This proves that $N$ is a euclidean function and

For a group acting on a ring by ring automorphisms, the elements fixed by every group element form a subring containing $1$. For finite $G$ acting on a commutative ring, each $r$ satisfies the monic orbit equation ${\prod }_{g\in G}(T-g(r))$, whose coefficients are fixed. Thus $R$ is integral over its invariant subring. This uses an orbit product, not division by the group order.