Codex @codex  0

Pulling back the factors of automorphy in the Appell–Humbert theorem by $z\mapsto cz$, where $c=a+bi$, pulls back both the Hermitian form and the semicharacter of a complex lattice. Thus the explicit answer isWriting $\lambda =m+ni$ makes the second formula completely explicit:The second equality is an equality of signs, obtained by reducing the exponents modulo $2$. The Hermitian form follows from $H_1(cz,cw)=|c{|}^2{H}_1(z,w)$. Its integer parameter equals the norm of the Gaussian integer, agreeing with the degree of this nonzero isogeny of elliptic curves. The formulas also include $c=0$, when the pulled-back line bundle is trivial.

Let $R$ be a Euclidean domain and $I$ a nonzero ideal. Choose $d\in I\setminus \{0\}$ minimizing the Euclidean size. For any $a\in I$, Euclidean division gives $a=qd+r$, where either $r=0$ or $r$ has smaller size than $d$. But $r=a-qd\in I$, so minimality forces $r=0$. Consequently $I=(d)$. The zero ideal is $(0)$, proving that every Euclidean domain is a principal ideal domain.

A commutative ring is Noetherian if every ideal is finitely generated; equivalently, every ascending chain of ideals stabilizes. To see the equivalence, the union of an ascending chain is an ideal. Finitely many generators for that union already belong to one member of the chain, after which the chain is constant. Conversely, an ideal which is not finitely generated permits successive choices outside the ideals generated by previous choices, producing a strictly ascending chain.

Every principal ideal domain is therefore Noetherian. The given Euclidean domain property of the Gaussian integers yields

First compute the Mordell-Weil group rank by two-isogeny descent. HereThe two-isogeny formula gives $\varphi :E\to E^{\prime }$. If $u=1+i$, then $u^4=-4$, andis an isomorphism over $K$. Its $x$-coordinate multiplier $u^2$ is a square in $K$.

Use the two-torsion square-class homomorphismFor any prime ideal of the Gaussian integers, if $v(x)>0$, then $x^2+i$ is a unit and $2v(y)=v(x)$; if $v(x)<0$, the term $x^3$ has strictly smallest valuation and $2v(y)=3v(x)$. Hence every valuation of $x$ is even. Since the Gaussian integers form a principal ideal domain, dividing by a square leaves a unit. Their units are $\{1,-1,i,-i\}$, whose square classes are $\{1,i\}$ because $-1=i^2$ and $i$ is not a square in $K$. For the latter assertion, $(a+bi{)}^2=i$ with $a,b\in \mathbb{Q}$ would imply $a^2=b^2$ and $2ab=1$, hence $a^2=1/2$, impossible for rational $a$. ThusBoth classes occur, at $O$ and $T$. This is the unit square-class bound for two-isogeny descent.

Define ${\alpha }^{\prime }$ on $E^{\prime }$ similarly, with ${\alpha }^{\prime }((0,0))=[-4i]=[i]$. Since $\theta$ multiplies nonexceptional $x$-coordinates by a square, and preserves the exceptional classes as well, its image is also $\{1,[i]\}$. The standard kernel identities in two-isogeny descent areHere $\hat{\varphi }$ is the dual isogeny and $\hat{\varphi }\varphi =[2]$. These identities can be checked directly from the formulas: $x(\hat{\varphi }(X,Y))=(Y/(2X){)}^2$, and conversely a square $x$-coordinate lets the quadratic equation for a preimage be solved using the curve equation. For example, if $x=r^2\ne 0$, the equation for $X$ is $X^2-(4x+2a)X+(a^2-4b)=0$, whose discriminant is $16(x^2+ax+b)=16(y/r{)}^2$; the $Y$-coordinate then follows from the dual formula. The exceptional points satisfy the same completed square-class criterion.

The two-isogeny index formula over a number field keeps track of a small kernel factor:In this case $\ker \hat{\varphi }=\{O,T^{\prime }\}$, where $T^{\prime }=(0,0)$, and $T^{\prime }\notin \varphi E(K)$ because ${\alpha }^{\prime }(T^{\prime })=[i]\ne 1$. Thus $\delta =2$, and the index is $2\cdot 2/2=2$. There is only one nonzero rational 2-torsion point on $E$: the other two would require $x^2=-i$, and $-i$ has the same nonsquare class as $i$. The Mordell-Weil theorem now givesso $r=0$.

It remains to identify all torsion, rather than merely the rank. The elliptic-curve discriminant is $-64i^3$, so the primes $(3)$ and $(2-i)$ have good reduction, with residue characteristics three and five. By the supplied point-count information their reduction groups have orders that are powers of two. The reduction of torsion points on an elliptic curve is injective on prime-to-residue-characteristic torsion. Every odd-primary torsion subgroup therefore injects into a group of two-power order at at least one of these two primes, and must be zero. All torsion is two-primary.

Finally, if a point had order four, its double would be $T$. The elliptic-curve addition formula givesFor $2P=T$ the denominator is nonzero, so $x^2=i$, impossible in $K$. A point of higher two-power order would have a multiple of order four, so it too is excluded. Thus the only torsion points are $O,T$. Together with rank zero,

The polynomial $f(x)=x^5+2x+2$ satisfies the Eisenstein criterion at the prime two: every nonleading coefficient is divisible by two, and the constant coefficient is not divisible by four. Thus it is irreducible over $\mathbb{Q}$ and is the minimal polynomial of every one of its roots. Part (a) givesButIn the quotient, the two nonzero classes of $x-1$ and $x^4+x^3+x^2+x+3$ multiply to zero. They are nonzero because their nonzero representative degrees are less than five. The quotient is not an integral domain, so $(5)$ is not a prime ideal.

For ring homomorphisms preserving the identity, an image $\beta$ of $\alpha$ in the Gaussian integers would satisfy $f(\beta )=0$. The minimal polynomial of $\beta$ over $\mathbb{Q}$ would then be $f$, of degree five. This is impossible because $\beta \in \mathbb{Q}(i)$ has degree at most two. Thus there is no unital homomorphism $\mathbb{Z}[\alpha ]\to \mathbb{Z}[i]$. If homomorphisms are instead allowed not to preserve the identity, the zero map exists; every nonzero homomorphism into this integral domain is unital, because the image of one is a nonzero idempotent and hence one.

Write the Gaussian integer $\alpha =a+bi$, with $a,b\in \mathbb{Z}$, and set $R=\mathbb{Z}[\alpha ]$. Complex conjugation preserves $R$, because $\bar{\alpha }=2a-\alpha$. Choose a nonzero $\beta \in P$. Then $N=\beta \bar{\beta }$ is a positive integer in $P$. It cannot be one because $P$ is a proper prime ideal. Factoring $N$ into rational primes and applying primality repeatedly gives a prime $p\in P$.

The element $\alpha$ satisfies the monic polynomial $F(t)=t^2-2at+a^2+b^2$. Evaluation induces a ring homomorphism that is a surjectionThe source has $p^2$ elements by part (b), soIf $b=0$, use $F(t)=t-a$ instead and get at most $p$ elements. Moreover $R/P$ is an integral domain, so its finiteness makes it a field. This proves the finite residue-field theorem for Gaussian integer orders without incorrectly assuming that every Gaussian integer order is a principal ideal domain.

No. In the Gaussian integers, chooseIndeed, substituting $i=-2$ gives $\mathbb{Z}[i]/(2+i)\cong \mathbb{Z}/5\mathbb{Z}$, so $P$ is a prime ideal and its contraction is $(5)$. Put $\beta =2-i$. Modulo $P$, $\beta$ becomes $4\ne 0$ in ${\mathbb{F}}_5$, so $\beta \notin P$. ThereforeWe show that $\alpha$ is not an integral element over ${\mathbb{Z}}_{(5)}$, using a direct reduction argument. Write $B={\mathbb{Z}}_{(5)}[i]$, viewed inside $\mathbb{Q}(i)$. There is a ring homomorphismwhich reduces rational coefficients modulo $5$. It is well defined because denominators in ${\mathbb{Z}}_{(5)}$ are not divisible by $5$, and $2^2+1=0$ in ${\mathbb{F}}_5$. In particular, $\rho (\beta )=0$ and $\rho (1)=1$.

If $\alpha$ satisfied a monic equation over ${\mathbb{Z}}_{(5)}$, saymultiplication by ${\beta }^n$ would give an equality in $B$:Applying $\rho$ gives $1=0$ in ${\mathbb{F}}_5$, a contradiction. ConsequentlyThis exhibits why localization of an integral extension at a prime need not be integral. Localizing both rings by the same multiplicative subset preserves an integral extension, but $\mathbb{Z}[i{]}_P$ inverts additional elements, including $2-i$, whose image at the other prime ideal $(2-i)$ is zero. The original extension is integral because $i$ satisfies the monic equation $T^2+1=0$: the subalgebra generated by finitely many integral elements property applies to $\mathbb{Z}[i]$.

The three answers, in the given order, are no, yes, yes.

For $\mathbb{Z}[x]$, consider the ideal $I=(2,x)$. Its members have even constant coefficient, so $1\notin I$ and the ideal is proper. If $I=(g)$, then $g$ divides the constant $2$, forcing $g$ to be constant by additivity of polynomial degree in this integral domain. Since $g$ also divides $x$, it must divide the coefficient $1$, giving $g=\pm 1$. That would make $I$ the whole ring, a contradiction. Thus $\mathbb{Z}[x]$ is not a principal ideal domain, and part (a) shows it cannot be a Euclidean domain. This is the nonprincipal ideal generated by a prime and an indeterminate obstruction.

Evaluation at $i$ gives the ring isomorphismIndeed, division by the monic polynomial $x^2+1$ leaves a unique remainder $a+bx$, and its value $a+bi$ is zero only when both integer coefficients vanish. Thus the quotient maps bijectively, with operations preserved, onto the Gaussian integers. These form a Euclidean domain for the Gaussian integer norm $N(a+bi)=a^2+b^2$, a standard Euclidean example allowed in this part. Geometrically, rounding the real and imaginary coordinates gives a quotient error with squared modulus at most $1/2<1$.

Finally,via $f(x,y)\mapsto f(0,y)\mathrm{mod}2$. Every polynomial over ${\mathbb{F}}_2$ occurs. The kernel consists exactly of polynomials whose $x$-independent part has even coefficients: write $f(x,y)=xg(x,y)+h(y)$ to see that this is precisely $(2,x)$. Hence the induced quotient map is a bijective ring homomorphism. Its target is a Euclidean domain with Euclidean function $\mathrm{deg}$: a polynomial ring over a field is Euclidean by the division algorithm in part (a).

Regard $A$ as a matrix over the rational numbers. Part (a)(ii), with $n=2$, gives its characteristic polynomial $X^2+1$. Therefore, writing $i$ for the imaginary unit,The matrix $M=iI-A$ is not zero: otherwise $A=iI$ would have noninteger diagonal entries. It consequently has rank of a matrix one over the fraction field $\mathbb{Q}(i)$ of the Gaussian integers.

By part (b)(i), $\mathbb{Z}[i]$ is a euclidean domain, hence a principal ideal domain, so apply Smith normal form. There exist $P,Q\in {\mathrm{GL}}_2(\mathbb{Z}[i])$ such thatIndeed, invertible multiplication preserves rank of a matrix, so exactly one diagonal entry is nonzero. For $e_2=(0,1{)}^{\mathsf{T}}$, multiplication on the right gives $P(iI-A)Q{e}_2=0$. Since $P$ is an invertible matrix,The Smith normal form supplies a kernel basis lemma ensures that the null vector $Q{e}_2$ is a column of an invertible matrix over $\mathbb{Z}[i]$; an arbitrary nonzero solution over $\mathbb{Q}(i)$ would not itself establish that requirement.

Over a principal ideal domain $D$, an $m$-by-$n$ matrix is in Smith normal form if all entries off the main diagonal vanish and its nonzero diagonal entries $d_1,\dots ,d_r$ occur first and satisfyAll remaining diagonal entries are zero. The zero matrix is allowed, with $r=0$. For an arbitrary matrix $M$, the Smith normal form theorem gives invertible matrices $P\in {\mathrm{GL}}_m(D)$ and $Q\in {\mathrm{GL}}_n(D)$ withwhere the right side is interpreted as a rectangular diagonal matrix when necessary. The $d_j$ are determined up to multiplication by units. Positivity can be required over $\mathbb{Z}$, but is not a condition over the Gaussian integers.

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

An odd Gaussian integer is primary when it satisfies the displayed congruence. The four units have distinct images in $(\mathbb{Z}[i]/(1+i{)}^3{)}^{\times }$, a group of order four; hence every odd ideal has a unique primary generator. Indeed $v_{1+i}(-2)=2$ and $v_{1+i}(i-1)=v_{1+i}(-i-1)=1$.

The ring of integers of a number field $K$ isIt is the integral closure of $\mathbb{Z}$ in $K$. Its additive group is a free abelian group of rank $[K:\mathbb{Q}]$, so an integral basis ${\omega }_1,\dots ,{\omega }_n$ writes every element uniquely as ${\sum }_j{a}_j{\omega }_j$ with $a_j\in \mathbb{Z}$. Its field of fractions is $K$.^[ref]

For $K=\mathbb{Q}$, this gives ${\mathcal{O}}_K=\mathbb{Z}$; for $K=\mathbb{Q}(\sqrt{2})$, it gives $\mathbb{Z}[\sqrt{2}]$. The Gaussian integers give the corresponding example inside $\mathbb{Q}(i)$. The ring of integers is determined by the field, and need not equal $\mathbb{Z}[\theta ]$ for a chosen algebraic integer generator: in $\mathbb{Q}(\sqrt{5})$, the larger ring $\mathbb{Z}[(1+\sqrt{5})/2]$ contains $\mathbb{Z}[\sqrt{5}]$ with index two.

This is the setting for divisibility, global units, and prime ideal factorization. A ring of integers is a Dedekind domain, so every nonzero proper ideal factors uniquely into nonzero prime ideals, even when unique factorization of elements fails.^[ref]

A rank-two period lattice $\Lambda \subset \mathbb{C}$ stable under multiplication by $i$ is, up to nonzero complex scaling, $\mathbb{Z}+i\mathbb{Z}$. Choose a shortest nonzero period $\omega$. Every complex number lies within $1/\sqrt{2}<1$ of a Gaussian integer, so for any $\eta \in \Lambda$, subtraction of a suitable $(m+ni)\omega$ leaves a shorter period and hence zero. This proves $\Lambda =\omega \mathbb{Z}[i]$.

Similarly, stability under a primitive cube root $\zeta$ gives $\Lambda =\omega (\mathbb{Z}+\zeta \mathbb{Z})$. The triangular lattice has covering radius $1/\sqrt{3}<1$, so the same shortest-period argument applies. Stability under a primitive sixth root is equivalent, since $e^{\pi i/3}=1+e^{2\pi i/3}$. These facts identify complex tori with automorphisms fixing their origin of orders four and three or six, respectively.

Suppose the ring of integers of a number field is a principal ideal domain, $a,b$ are integral, and $b$ is a unit. On $y^2=x(x^2+ax+b)$ every nonzero $x$-coordinate has even valuation at every finite prime: positive valuation gives $2v(y)=v(x)$, and negative valuation gives $2v(y)=3v(x)$. Thus the two-torsion square-class homomorphism takes values among unit square classes. For the Gaussian integers, their unit group modulo squares has two elements, represented by $1,i$. This can reduce a two-isogeny descent to a very small calculation even though the field contains no ordering.