The commutator action of is diagonalizable on endomorphisms: on it acts by . The action of is nilpotent by nilpotence of commutation by a nilpotent endomorphism. The two actions commute, so uniqueness of the Additive Jordan decomposition identifies them as the parts of .
An almost commutative algebra over a field is an algebra with an exhaustive increasing nonnegative multiplicative filtration whose associated graded ring is commutative and finitely generated as an algebra over the field. A common presentation uses finitely many degree-one generators, scalar degree-zero part, and commutators that lower degree. The finite-generation requirement is essential: an infinitely generated commutative polynomial ring has commutative associated graded algebra but need not be Noetherian.
A real cosmological deformation adds and changes the gravitino variation to . The modified commutator identity is . It fixes the negative cosmological constant in terms of the gravitino mass parameter. A positive cosmological constant is not obtained by this real unbroken minimal deformation.
Fast prescribed pulses change the frame in which the system evolves during successive intervals. To leading order over a short control cycle, the effective Quantum Hamiltonian is the duration-weighted mean of these conjugated generators. The Baker--Campbell--Hausdorff formula supplies commutator corrections. Symmetrizing the cycle can cancel unwanted interactions or retain a desired one. The approximation requires control cycles short compared with the relevant dynamical timescales and a suitable account of finite pulse duration.
Canonical transverse photon field Created 2026-10-06 Updated 2026-10-14
The free transverse photon field is a Hermitian sum of two transverse-polarization plane-wave modes with creation and annihilation operators. Their standard bosonic commutator gives the transverse equal-time commutator. The normal-ordered Hamiltonian is a sum of positive oscillator energies.
Put , and . For the dressing operator , differentiating gives and , where and . Uniqueness of the linear integral equation therefore supplies a Lax pair. Its commutator identity is , which gives the KdV equation when the eigenfunction is not identically zero. Differentiation under the integral and the uniqueness assumption are essential hypotheses.
For the internal rotation symmetry of two real scalar fields with and , the Noether charge is . Its commutators satisfy , so these creation operators produce charge eigenstates in the one-particle state sector. Substitution gives , converting the rotation of real components into opposite charges in a complex basis.
For , write and . The Pauli matrix multiplication law gives . On the circles , the angular derivative is zero, so the two Cartesian right logarithmic derivatives are proportional to the same radial generator. They commute, giving zero gauge curvature for every scaling constant. At the origin their commutator is , which need not vanish.
Commutator derivation identity Created 2026-10-05 Updated 2026-10-06
Expand both sides using the definition of a commutator: the middle terms cancel, leaving . Thus commutation with a fixed operator is a derivation of an algebra. In particular, , which gives a short way to derive a Lie algebra representation from generator actions on an underlying algebra.
The endomorphism bundle connection is on sections. Expanding twice makes the two middle terms cancel, proving the displayed commutator identity. Subtracting the derivative along the Lie bracket of vector fields gives . The operators are differential operators, rather than fibrewise endomorphisms; the corrected curvature operator is fibrewise linear.
Let be diagonal and , with every and the adjacent absolute energy gaps distinct and nonzero. The squared drift adjoint action has distinct eigenvalues on these coupling components, so Lagrange interpolation isolates every adjacent symmetric coupling. One more commutator gives its antisymmetric partner. Their mutual brackets produce adjacent traceless diagonals, while brackets along the connected chain give all longer-range matrix units. Thus the special unitary Lie algebra is generated. Any nonzero-trace generator also supplies the central direction, giving all of . This is a sufficient condition in the finite-dimensional freely timed real-control model; connectivity alone does not remove frequency degeneracies.
For with fixed noncommuting Hermitian operators, . A constant ratio of the envelopes is sufficient to remove time ordering. Independently changing that ratio generally produces commutator corrections in the Magnus expansion, and a product of successive pulses need not equal the exponential of their summed areas.
With , a free real scalar field has mode expansion of a free field and commutator . Substitution into the quadratic Hamiltonian density gives . The terms with two annihilation operators or two creation operators cancel by . Normal ordering removes the constant vacuum energy. The commutators and give the boson energy without changing under this subtraction. Replacing by recovers the noncovariant normalization .
Apply to the gauge-theory Bianchi identity and commute it through the other derivatives using . The Yang-Mills equations remove the differentiated divergences. The two remaining commutator terms both equal , proving the displayed nonlinear covariant wave equation for the Yang-Mills field strength on flat spacetime.
// Target: special-relativity.bigb
Cross-product model of su(2) Created 2026-10-06 Updated 2026-10-07
The real vector space of traceless skew-Hermitian matrices of size two is the Lie algebra . For the basis , , , cyclic commutators satisfy . The map carries the cross product to the commutator. Every target is a single commutator: choose a unit vector perpendicular to its associated vector and use .
Cutoff bootstrap for local elliptic regularity Created 2026-10-05 Updated 2026-10-06
For a constant-coefficient elliptic differential operator of order , localizing the equation gives . The commutator has order at most , so a global Fourier transform estimate raises the known Local Sobolev space index by one until the forcing index plus is reached.
Cyclic property of the trace Created 2026-09-24 Updated 2026-10-14
If is an -by- matrix and is an -by- matrix over the same field, both products are square matrices and
The products can even have different sizes: for and , and , but both have trace .[ref]
Grouping all but one factor proves that is unchanged by a cyclic permutation whenever the cyclic products are defined and square. In particular, every commutator has trace zero, since by linearity.
Cyclic rotation does not allow arbitrary reordering. For
one has , so , but , so . Rotating to or preserves its trace; swapping just and need not.
Derivation Lie algebra Created 2026-10-06 Updated 2026-10-14
The derivations of a Lie algebra form a Lie subalgebra of with the commutator bracket. The identity makes the inner derivations an ideal of a Lie algebra. For a complex semisimple Lie algebra, the Weyl complete reducibility theorem and the vanishing center of a Lie algebra imply .