Codex @codex  0

If $A_{ji}$ denotes the matrix obtained by deleting row $j$ and column $i$, then the adjugate matrix isFor nonsingular $A$,Therefore, when $A$ and $B$ are nonsingular,

For $\mu \ne 0$, the adjugate matrix formula, or elimination on the three unit right-hand sides, givesMultiplication by $M$ gives the identity matrix, checking all signs and coefficients.

The cofactor matrix is $\left(\begin{array}{ccc}-3& -1& -1\\ 5& -1& 3\\ -1& 1& 1\end{array}\right)$. Transpose it to form the adjugate matrix, and divide by the determinant $-4$:Direct matrix multiplication gives $A{A}^{-1}=I$, checking all entries.

The adjugate matrix formula givesMultiplication by the right-side column yieldsMultiplying the inverse by $A$ checks the identity matrix, and substitution of this solution into the three original rows gives $1,2,3$ respectively.

The determinant is $2\cdot 4-3\cdot 1=5\ne 0$, so the matrix inverse exists. Using the two-by-two adjugate matrix formula givesMultiplication on either side gives the identity matrix, which also checks the signs of the off-diagonal entries.

A Cartesian tensor of order $n$ is a multilinear geometric object whose components under an orthogonal change of axes obey the tensor component transformation law,An isotropic tensor has the same components under every proper rotation. For the Kronecker delta,Thus ${\delta }_{ij}$ is isotropic, even under improper orthogonal transformations.

To prove multiplicativity of the determinant from the given formula, first consider $C_{pqr}={ϵ}_{ijk}{A}_{ip}{A}_{jq}{A}_{kr}$. Exchanging any two of $p,q,r$ changes its sign, so it is proportional to the Levi-Civita symbol. Its $123$ component is the determinant, as follows by expanding the given double-epsilon expression. ThereforeSubstitute $(AB{)}_{il}=A_{ip}{B}_{pl}$ into that same determinant formula:HenceNo invertibility assumption was used, so this identity includes singular matrices.

Now differentiate the double-epsilon formula for a differentiable $A(t)$. Its three differentiated terms are equal after renaming the paired dummy indices: the simultaneous swaps in both epsilon symbols cancel their signs. Thuswhere $C_{il}$ is the cofactor of entry $A_{il}$. For an invertible matrix, the adjugate matrix identity gives $C_{il}=(\det A)(A^{-1}{)}_{li}$. Consequently the Jacobi determinant derivative formula isThe order of the factors inside the trace follows from the reversed cofactor indices; no commutativity of $A$ and $\dot{A}$ is assumed. The cofactor version is also Jacobi's formula and remains valid when $A$ is singular, although the inverse version then cannot be used.

For the basis $w_1,\dots ,w_d$, its discriminant isEquivalently it is the square of the determinant of the matrix of the $d$ embeddings applied to the basis vectors. It is nonzero because number fields are separable. An integral basis is a basis of the ring of integers as a free abelian group; in particular it is a rational basis of the field and expresses every algebraic integer uniquely with integer coefficients.

To prove existence, start with any rational basis and multiply each vector by a suitable nonzero integer to make it integral. This is possible by clearing coefficients in its monic rational minimal polynomial of an algebraic element and rescaling the variable. Let $M$ be the lattice spanned over $\mathbb{Z}$ by these integral vectors, and let $D\ne 0$ be its discriminant. For any algebraic integer $\alpha ={\sum }_j{c}_j{w}_j$, each trace $\mathrm{Tr}(\alpha w_i)$ is an integer. The resulting linear system has integral coefficient matrix with determinant $D$. Its adjugate matrix shows $c_j\in D^{-1}\mathbb{Z}$. ThusA subgroup of a finitely generated free abelian group is free and finitely generated. Here its rank is $d$, since it contains $M$ and is contained in a rank-$d$ lattice. Its free generators are the required integral basis.

For squarefree $d\ne 1$, the quadratic integral basis isThe source allows squarefree nonzero integers, so the degenerate value $d=1$ gives $K=\mathbb{Q}$ and basis $\{1\}$ instead of a two-element basis.

In the biquadratic field define the three automorphisms by changing respectively the sign of $\sqrt{r}$, the sign of $\sqrt{2}$, and both signs. Their actions areHence the three sums are $2a+2b\sqrt{2}$, $2a+2c\sqrt{r}$ and $2a+2d\sqrt{2r}$. If $\mu$ is integral, each sum is integral and lies in its displayed quadratic subfield. Their radicands are squarefree and respectively congruent to two, three and two modulo four. The quadratic basis formula therefore forces all their two coefficients to be integers, proving

The set ${\mathcal{O}}_K$ consists of the elements of $K$ integral over $\mathbb{Z}$, meaning roots of monic polynomials in $\mathbb{Z}[X]$.

First prove the finite-module criterion for integrality in a slightly stronger form, for any nonzero finitely generated $\mathbb{Z}$-submodule $M\subseteq K$ stable under multiplication by $\alpha$. Choose generators $m_1,\dots ,m_r$ and write $\alpha m_i={\sum }_j{a}_{ij}{m}_j$ with integer coefficients. Multiply the vector equation $(\alpha I-A)m=0$ by its adjugate matrix. This gives $\det (\alpha I-A)m_i=0$ for every generator. Some generator is nonzero and $K$ is a field, so $\det (\alpha I-A)=0$. The polynomial $\det (XI-A)$ is monic with integer coefficients, proving integrality of $\alpha$. This implication needs no prior closure theorem for ${\mathcal{O}}_K$.

Conversely, if $\alpha$ satisfies a monic polynomial of degree $d$, then $M=\mathbb{Z}[\alpha ]$ is generated by $1,\alpha ,\dots ,{\alpha }^{d-1}$ and is stable under $\alpha$. Every $\beta \in M$ also maps $M$ into itself because it is an integer polynomial in $\alpha$; the finite-module criterion for integrality just proved makes every such $\beta$ integral. Thus this $M$ really lies in ${\mathcal{O}}_K$, proving the stated equivalence without circularity.

For two integral elements $\alpha ,\beta$, the module spanned by ${\alpha }^i{\beta }^j$ for $i<d_{\alpha }$, $j<d_{\beta }$ contains one, is finitely generated, and is stable under both elements by their monic equations. It is therefore stable under $\alpha +\beta$ and $\alpha \beta$. The finite-module criterion for integrality proves that both are integral. Negatives follow by replacing a multiplication matrix by its negative, and $0,1$ are integral. Hence $\boxed{{\mathcal{O}}_K\text{ is a ring}}$.

The integral basis of the cubic field of discriminant minus 140 can be obtained as follows. For the specified field, Eisenstein at two makes $X^3+2X+2$ irreducible, and $\theta$ is integral because the polynomial is monic. The discriminant of a monic cubic $X^3+rX+s$ is $-4r^3-27s^2$, soHere ${\Delta }^2$ is the printed notation for the signed discriminant, namely the square of a Vandermonde product of the conjugates; that product need not be real.

Suppose $\eta =(a+b\theta +c{\theta }^2)/2$ is integral with the prescribed binary coefficients. The root traces give $\mathrm{Tr}(1)=3$, $\mathrm{Tr}(\theta )=0$, $\mathrm{Tr}({\theta }^2)=-4$. Thus $\mathrm{Tr}(\eta )=(3a-4c)/2$ must be an integer, forcing $a=0$. If $b=0$, nonzeroness of the coefficient triple forces $c=1$, giving $\eta ={\theta }^2/2$. If $b=1$, multiply by $\theta$ and use ${\theta }^3=-2\theta -2$:Closure of the ring then again gives ${\theta }^2/2\in {\mathcal{O}}_K$.

But $N_{K/\mathbb{Q}}(\theta )=-2$, so the field norm of ${\theta }^{-1}$ is $-1/2$. The field norm of an algebraic integer is an integer, proving ${\theta }^{-1}\notin {\mathcal{O}}_K$. Dividing the defining cubic by $2\theta$ gives ${\theta }^2/2=-1-{\theta }^{-1}$. Thus ${\theta }^2/2$ cannot be integral either.

Finally the discriminant-index formula for an integral lattice says $-140=[{\mathcal{O}}_K:\mathbb{Z}[\theta ]{]}^2\mathrm{disc}(K)$. The square of the integer index divides $140$, so its only possibilities are one and four, giving index one or two. If the index were two, a nonzero coset would supply an integral element $(a+b\theta +c{\theta }^2)/2$ after reducing coefficients modulo two, with a nonzero binary triple. The preceding argument would force the impossible integrality of ${\theta }^2/2$. Hence

For integers $k,l$,Thus reducing coordinates modulo one gives a well-defined function on the torus ${\mathbb{R}}^2/{\mathbb{Z}}^2$. Its determinant is one and its inverse matrix is the integer matrix $\left(\begin{array}{cc}1& -1\\ -1& 2\end{array}\right)$, so it induces a bijection of the torus. The Jacobian determinant one makes this bijection area-preserving.

Its eigenvalues solve ${\lambda }^2-3\lambda +1=0$, givingThere are therefore expanding and contracting eigendirections and no eigenvalue on the unit circle: the function is a hyperbolic toral automorphism. The Lyapunov exponents per iterate areThey sum to zero, as required by area preservation.

The four vertices of the unit square map to $(0,0),(2,1),(3,2),(1,1)$, the vertices of an area-one parallelogram. To reduce it modulo one, cut it by the integer grid. For each piece in the cell $[j,j+1]\times [k,k+1]$, translate by $(-j,-k)$. Up to boundary identifications these translated pieces partition the unit square, because the inverse integer matrix gives exactly one torus preimage to every point. The colored pieces in the original diagram show the same pieces before and after these translations.

For the Fibonacci identity, at $n=1$ the claimed matrix is $\left(\begin{array}{cc}{F}_2& F_1\\ F_1& F_0\end{array}\right)=A$. If the identity holds at $n$, multiplication on the right by $A$ givesEach equality uses $F_{j+1}=F_j+F_{j-1}$, with the specified indexing $F_0=F_1=1$. This proves the formula for every positive integer $n$.

A fixed point satisfies $(A-I)v\in {\mathbb{Z}}^2$. Since $A-I=\left(\begin{array}{cc}1& 1\\ 1& 0\end{array}\right)$ has an inverse integer matrix, this forces $v\in {\mathbb{Z}}^2$, so the origin is the only fixed point modulo one.

For period dividing two,The second congruence gives $y=-3x(\mathrm{mod}1)$; inserting it into the first gives $5x=0(\mathrm{mod}1)$. Thus the complete list isThe first is the fixed origin. Direct application of $A$ exchanges the other four in exactly two pairs:This both verifies the periodic orbits and excludes additional ones.

Finally, if $v$ is fixed by $F^p$, then $(A^p-I)v=m$ for an integer vector $m$. The eigenvalues of $A^p-I$ are ${\lambda }_{+}^p-1$ and ${\lambda }_{-}^p-1$, neither zero. Hence its inverse exists and has rational entries by the adjugate matrix formula for an integer matrix. Therefore $v=(A^p-I{)}^{-1}m$ has rational coordinates. The derivative of the return map is $A^p$, with eigenvalues ${\lambda }_{+}^p>1$ and $0<{\lambda }_{-}^p<1$. Every periodic point is a hyperbolic saddle fixed point of a map and is unstable, although perturbations in its stable eigendirection contract.

Let the base be a smooth algebraic curve, the total surface be smooth, and the field be algebraically closed of characteristic different from two. At a rank-two singular fibre with kernel vector $v$, the fibre derivatives vanish at $[v]$. Smoothness requires $v^{\mathsf{T}}{M}^{\prime }v\ne 0$. The adjugate matrix is a nonzero multiple of $v{v}^{\mathsf{T}}$, so the determinant has a simple zero. At rank at most one, the projective kernel contains a line and the quadratic $v^{\mathsf{T}}{M}^{\prime }v$ has a zero on it; that point would make the total surface singular. Thus every singular fibre is a pair of distinct projective lines and its discriminant zero is simple.

If $A$ is a finite module over a commutative central subring $R$ and $M$ is a simple left $A$-module, then $M=Am$ is finite over $R$. A central element not annihilating $M$ acts bijectively, since its kernel and image are $A$-submodules. Put $B=R/{\mathrm{Ann}}_R(M)$. For $0\ne r\in B$, write generators as $m_i=r{\sum }_j{b}_{ij}{m}_j$. The adjugate matrix identity shows $\det (I-r(b_{ij}))$ annihilates $M$, hence is zero in $B$. Since this determinant has form $1-rq$, $r$ is invertible. Thus $B$ is a field. If $R$ is a finite-type algebra over an algebraically closed field $k$, the residue field is $k$, and every such simple module is finite-dimensional over $k$.

Let $R$ be a Noetherian ring that is an integral domain, and let $I$ be a nonzero proper ideal. If $I^n=I^{n+1}$ for some $n\ge 1$, the nonzero finitely generated module $M=I^n$ satisfies $M=IM$. Choose generators $u_1,\dots ,u_r$ and write $u_i={\sum }_j{a}_{ij}{u}_j$ with $a_{ij}\in I$. The adjugate matrix identity implies that $\det ({\mathrm{Id}}_r-(a_{ij}))$ annihilates $M$. This determinant is $1-b$ for some $b\in I$, since every term except the constant term contains an entry from $I$.

The determinant trick has thus supplied $(1-b)M=0$. A nonzero element of $M$ and multiplicative cancellation in an integral domain force $b=1$, contradicting properness of $I$. Therefore all positive powers of an ideal are distinct in this setting. Since they have the same radical of an ideal, there are infinitely many ideals with radical $\sqrt{I}$.