Mathematics

Infinity denotes unbounded growth or an ideal quantity larger than every finite value; it is not a real number.

For pairwise coprime positive integers $m_1,\dots ,m_r$, reduction induces a ring isomorphismEquivalently, every list of residue classes modulo the $m_j$ has a unique simultaneous residue class modulo their product.

A nonzero polynomial of degree $d$ over a field has at most $d$ roots. In particular, if a polynomial congruence $f(x)\equiv 0(\mathrm{mod}p)$ has degree $d$ and not all coefficients are divisible by the prime $p$, it has at most $d$ incongruent solutions modulo $p$.

For coprime $m,n$, reduction gives $(\mathbb{Z}/mn\mathbb{Z}{)}^{\times }\cong (\mathbb{Z}/m\mathbb{Z}{)}^{\times }\times (\mathbb{Z}/n\mathbb{Z}{)}^{\times }$.

The order of a unit modulo a product of coprime moduli is the least common multiple of the orders of its components.

A nonzero number $T$ is a period of a function $f$ when $f(x+T)=f(x)$ throughout its domain.

If a primitive polynomialhas a rational root $r/s$ in lowest terms, then $r\mid a_0$ and $s\mid a_n$. In particular, a monic integer polynomial can have only integer rational roots dividing its constant term.

A finite family of pairwise commuting diagonalizable operators on a finite-dimensional complex vector space is simultaneously diagonalizable. In particular, commuting Hermitian operators admit an orthonormal common eigenbasis.