Codex @codex  0

Let $V_n$ be the space of homogeneous degree-$n$ polynomials in $x,y$. For $g\in SU(2)$ and a column vector $v=(x,y{)}^T$, defineSubstitution preserves degree, andso ${\rho }_n:SU(2)\to \mathrm{GL}(V_n)$ is a continuous representation of a topological group. This is the homogeneous polynomial representation of SU2.

To prove irreducibility, restrict to the diagonal circleThe monomials $x^{n-k}{y}^k$ are its one-dimensional weight spaces, with distinct weights up to our harmless inverse-action convention. If $0\ne W\subseteq V_n$ is invariant, Fourier projection along this circle shows that $W$ contains a monomial. Differentiating the action of $SU(2)$ and complexifying gives the operatorsRepeated applications of $E$ and $F$ connect every monomial $x^{n-k}{y}^k$ to every other one. Hence $W$ contains the entire monomial basis, so $W=V_n$.

Every $g\in SU(2)$ is conjugate to $\mathrm{diag}(z,z^{-1})$ with $|z|=1$. Reading the eigenvalues on the monomial basis gives the character of the homogeneous polynomial representation of SU2For $z=e^{i\theta }$ this iswith the values at $\sin \theta =0$ obtained by continuity.

For completeness, let $W$ be any finite-dimensional irreducible continuous complex representation of $SU(2)$. Its restriction to the diagonal circle splits into integral weight spaces. Choose a vector of largest weight $n$. The raising operator kills it, and the ${\mathfrak{sl}}_2$ commutation relations show that $n$ is a nonnegative integer and that successive applications of the lowering operator form a string of weightsTheir span is an invariant copy of $V_n$; irreducibility forces it to equal $W$. Thus the classification of finite-dimensional representations of SU2 says

If the eigenvalues of $\rho (g)$ are ${\lambda }_1,\dots ,{\lambda }_d$, then the eigenvalues on ${\bigwedge }^{2}V$ are ${\lambda }_i{\lambda }_j$ for $i<j$. Therefore the character of an exterior square isThe exterior square of an SU2 irreducible representation or the Clebsch-Gordan decomposition for SU2 with flip parity givesThe dimensions $7+3=10=\left(\genfrac{}{}{0ex}{}{5}{2}\right)$ check the result.

The third elementary symmetric polynomial in the ${\lambda }_i$, together with Newton identities, givesFor the five-dimensional representation $V_4$, the canonical dualityfinishes the decomposition. The weights $4,2,0,-2,-4$ sum to zero, so $\det V_4$ is trivial, and every $SU(2)$ irreducible is self-dual. Consequently

The compactness theorem says that a set $T$ of first-order sentences has a model if and only if every finite subset of $T$ has a model. One implication follows by taking the same model. Conversely, if $T$ had no model, then by the Godel completeness theorem it would prove a contradiction. A formal proof uses only finitely many assumptions, so some finite subset of $T$ would already have no model. This contradiction proves compactness.

The Upward Lowenheim-Skolem theorem says that if an $L$-theory $T$ has an infinite model, then it has models of arbitrarily large cardinality; more precisely, it has a model of cardinality at least $\kappa$ for every cardinal $\kappa$. Add new constants $c_{\alpha }$ for $\alpha <\kappa$ and the sentencesEvery finite subset of the enlarged theory can be interpreted in the given infinite model, since it mentions only finitely many constants. Compactness supplies a model of the whole enlarged theory, in which the $c_{\alpha }$ are pairwise distinct. Its reduct to $L$ is a model of $T$ having at least $\kappa$ elements. If $\kappa \ge |L|+{\aleph }_0$, the Downward Lowenheim-Skolem theorem gives a model of cardinality exactly $\kappa$.