The map , , is surjective because map to the given basis. Its kernel is generated by the minimal polynomial and the quotient has dimension , so . The relation for gives
If were a nontrivial invariant decomposition, each restricted minimal polynomial would be a power of of degree at most . Their least common multiple is the minimal polynomial of , contradicting its degree .
Since has degree , has a cyclic vector . Put . Then for . In this basis the matrix is the companion matrix with ones immediately below the diagonal and last column
obtained by expanding .
The northwest-corner rule constructs an initial basic feasible solution: fill the current cell with the smaller remaining supply and demand, delete the exhausted row or column, and continue.
For a current spanning-tree basis, solve on its occupied cells, fixing one potential to zero. The reduced cost of an unoccupied cell is
If all reduced costs are nonnegative, part (a) proves optimality. Otherwise choose a cell with negative reduced cost. Adding its edge to the tree creates a unique even cycle. Mark its cells alternately and , starting with at the entering cell, and set
Add on the plus cells and subtract it on the minus cells. Row and column totals are unchanged, the entering cell becomes positive, and a minimizing minus cell leaves the basis. In the nondegenerate case the objective decreases strictly. There are finitely many bases, so no basis repeats and the algorithm terminates at a basis with no negative reduced cost, which is optimal.
The dual space is the vector space of linear maps . If , its dual family satisfies . Every functional obeys
so the family spans; evaluation on each proves linear independence. Thus it is a basis without any prior dimension argument.
For ,
The basis dual to is
as direct substitution gives . Hence the three functionals form a basis of .
The symmetric bilinear form associated with a real quadratic form is obtained by polarization identity:
In coordinates , replacing by its symmetric part does not change , and the formula gives ; this proves existence. A symmetric form is positive semidefinite when for every , and positive definite when the inequality is strict for every .
The diagonalization theorem for real quadratic forms says that some basis puts any symmetric form into
with further zero coordinates. Sylvester's law of inertia says that is independent of the diagonalizing basis. To prove this, let be the span of the positive coordinate vectors and let be the span of the negative and zero vectors. If is positive definite for another diagonalization and , then
so the two spaces intersect nontrivially. A vector in the intersection would have both positive and nonpositive square, a contradiction. Thus ; symmetry gives . Applying the same argument to gives , and then .
For the nondegenerate form on , write its inertia as , so . The restriction vanishes identically on : polarization gives for . Projection of to the positive coordinate space is injective, since a vector with zero positive projection cannot be isotropic unless it is zero. Hence ; projection to the negative space likewise gives . Therefore .
The matrix of is . If , it has rank one and inertia , hence signature one; if , its rank and signature are zero. The coefficientwise product has matrix , where , so it has the same rank-one conclusion when and is zero otherwise.
Finally, diagonalization writes every positive semidefinite form as a sum of squares, say and . Bilinearity of coefficientwise multiplication gives
a sum of positive semidefinite rank-at-most-one forms. Thus is positive semidefinite.
In one dimension the defining relations force
giving four characters.
Every irreducible two-dimensional representation is, after a choice of basis,
where . It is irreducible because the two distinct -eigenlines are interchanged by . Conversely, part (a) gives this basis from . If the only eigenvalue of were , its eigenspace would be -invariant and contain a -eigenvector, contradicting irreducibility. Parameters and give isomorphic representations, and there are no other identifications.
Since is square-free and , the standard quadratic-field integral-basis theorem gives
Indeed, the displayed generator has monic polynomial , and the discriminant of this basis is , the field discriminant; no larger order is possible.
In the ordered basis ,
For , the eigenspaces of energies and are each two-dimensional because is free. Degenerate perturbation theory requires diagonalizing within each space. It is already diagonal in the product basis, with eigenvalues . Therefore the first-order eigenvectors remain
and their energies are , respectively. These are the exact answers, so all higher corrections vanish.
In the ordered basis ,
and are their transposes, and
In the basis, the transformations whose columns are the new basis vectors are
Thus is a rotation through , while is a real orthogonal reflection, equivalently a rotation with one basis-vector phase reversed.
For any real orthogonal matrix with columns ,
Applying this to and and normalizing proves
Let have the old domain basis as columns, the old codomain basis, and the new codomain basis. Change of coordinates gives , hence