Arithmetic function Created 2026-09-24 Updated 2026-09-24
An arithmetic function is a function whose domain is the positive integers, usually taking values in the complex numbers.
Every identity-preserving biholomorphism of lifts to multiplication by a nonzero complex number satisfying . Relative to a -basis of , multiplication by is represented by a unimodular matrix . Its real determinant is , while complex multiplication preserves orientation, so and . The Cayley-Hamilton theorem gives
Consequently , and is a root of unity of order , , , , or .
Cancellation occurs when different complex numbers in an exponential sum have directions that reduce the absolute value of their sum. For example, the orthogonality of roots of unity makes for every integer , despite all terms having absolute value one.
Centralizer of a planar quarter-turn Created 2026-10-06 Updated 2026-10-07
For , the real matrix solutions of are precisely
A nonzero such matrix equals , where is a planar rotation matrix with and . It acts like multiplication by the complex number . The zero matrix is the zero scalar multiple of any rotation.
Complex amplitude 2026-10-05
A complex number can encode both the wave amplitude and phase of a harmonic disturbance: . Its modulus is the real oscillation amplitude and its complex argument fixes the wave phase.
Complex conjugation 2026-10-05
Complex conjugation sends a complex number to its complex conjugate . It is an involution and a field automorphism of , with fixed field . Applied componentwise to a complex vector, it produces the conjugated vector appearing in a Choi state for a rank-one Kraus operator.
The complex Ginzburg–Landau equation is a nonlinear complex-amplitude evolution equation with linear and cubic terms and generally complex coefficients. The driven-condensate form has gain/loss coefficients and conservative interaction/frequency coefficients . A uniform nonzero state has number density when .
A complex Ginzburg–Landau equation describes a complex number disturbance amplitude through linear amplification, advection, complex diffusion equation terms, and often cubic amplitude saturation. A constant-coefficient example is . Here real describe transport, linear growth rate and dispersive diffusion equation terms. Omitting the cubic term gives the linear complex Ginzburg-Landau equation.
Complex plane Created 2026-09-24 Updated 2026-10-07
The complex plane identifies the complex number with the point in the real plane.
De Moivre's theorem Created 2026-10-03 Updated 2026-10-05
For every integer and real ,
It converts powers of a complex number in polar form into multiplication of its complex argument.
Equality condition in the complex triangle inequality Created 2026-09-29 Updated 2026-10-03
For nonzero complex numbers , equality holds exactly when is a positive real number, equivalently when the two numbers have the same complex argument modulo .
Gelfand–Tsetlin basis 2026-10-05
Successively decompose an irreducible representation along a subgroup chain with multiplicity-free restriction. A complete path selects a one-dimensional subspace; choosing one nonzero vector on each path gives a Gelfand–Tsetlin basis. For a symmetric group over the complex numbers, paths are standard Young tableaux, and the Young–Jucys–Murphy elements act diagonally with their cell contents.
Imaginary axis 2026-10-03
The imaginary axis is the set of complex numbers with . It is the vertical coordinate axis in the complex plane.
Imaginary part Created 2026-09-24 Updated 2026-10-06
Modulus Created 2026-09-24 Updated 2026-10-03
The modulus of a complex number is .
Restriction of an irreducible representation to a subgroup is multiplicity-free when its semisimple representation decomposition has no repeated irreducible summands. Over the complex numbers, for finite groups, this is equivalent to the restricted module's endomorphism algebra being commutative. This follows by writing that algebra as a product of matrix algebras of sizes equal to the multiplicities.
For the standard inclusion , over the complex numbers,
Here is a Young–Jucys–Murphy element. One way to see generation is to use multiplicity-free restriction: a central idempotent of selects a preceding shape, and the distinct contents of its addable nodes of a Young diagram distinguish all possible succeeding shapes. Polynomial interpolation in supplies every diagonal projection in the centralizer of a subalgebra.