Let have the old domain basis as columns, the old codomain basis, and the new codomain basis. Change of coordinates gives , hence
, hence . In the diagonal basis, . Between consecutive its nonzero factor is strictly monotone from one infinite sign to the other, giving one root; zero weights give equality at endpoints. Hence .
A rank- Cartesian tensor has components transforming under an orthogonal change of basis as .
Gram–Schmidt applied to gives the orthonormal basis and .
Replace the quadratic constraint by the two linear inequalities . Simplex pivots lead to the active constraints , , and . Thus and the value is . With right-hand side , the same basis remains optimal for small nonzero , giving .
At the maximal ideal , the images of form a three-dimensional basis of over , so two generators are impossible. More generally needs exactly generators by the same argument.
Generators define a surjection , and conversely images of the standard basis generate any quotient. Writing with and applying the adjugate to gives a monic annihilating polynomial whose lower coefficients lie in . Taking when yields with ; for and take . The Jacobson radical criterion follows by placing a nonunit in a maximal ideal. It yields Nakayama’s lemma. Applying the determinant trick to preimages of a finite generating set constructs a polynomial right inverse to any surjective endomorphism, proving injectivity.
. The class of has order , so has torsion and is not free. A unimodular change of basis (Smith normal form, using ) gives .
is the space of linear functionals and the dual basis satisfies . Nondegeneracy and equal finite dimensions make an isomorphism; evaluation similarly identifies with . Riesz representation applied to gives the unique adjoint. If is diagonalizable, declare an eigenbasis orthonormal to make it self-adjoint. Conversely, for self-adjoint and invariant , shows invariant.
. An ordered basis is chosen successively in ways, which also counts bijective endomorphisms. Counting ordered independent -tuples and dividing by the number of bases of gives the Gaussian binomial .
A fundamental system of a root system is a subset which is a basis of and for which every has an expansion
whose coefficients are either all nonnegative or all nonpositive. Its associated positive system of a root system is
Thus , and the elements of are the simple roots.
The Weyl reflection in satisfies
Now take and expand it in the basis . At least one coefficient belonging to a simple root other than is positive. Since
the reflection changes only the coefficient of . Every root has simple-root coefficients of one sign, so the unchanged positive coefficient prevents from being negative. Hence . Because is an involution, it permutes , while it exchanges and . Therefore
In the orthonormal basis , direct multiplication gives
(up to the equivalent opposite orientation convention).
Conditional on Alice and Bob using the same basis, Eve chooses the wrong basis with probability , then Bob disagrees with probability , so the conditional error is . Alice and Bob match with probability , hence the per-transmission detection probability is .
Applying or to one qubit permutes the Bell basis up to phases. Composing two such Pauli operations maps any chosen Bell state to any other, proving local equivalence.
Charlie measures in the basis and sends one bit to Alice or Bob; the remaining pair becomes or , corrected by a local . Alice then performs standard teleportation: CNOT from to her GHZ qubit, Hadamard, two computational measurements, and sends the two outcomes to Bob, who applies the corresponding Pauli correction.
Let be the Lagrange basis polynomials for the nodes. Necessity and existence give uniquely , because every polynomial of degree at most is .
The alternative complete commuting set is , since these operators mutually commute. Clebsch-Gordan coefficients give the unitary change of basis.