Present a finitely generated abelian group as the cokernel of an integer matrix . Changing by the invertible row and column operations used in its Smith normal form does not change the isomorphism type of the cokernel. If
then
where factors with may be omitted. This is the Fundamental theorem of finitely generated abelian groups; the rank of an abelian group and invariant factors are unique.
A Smith normal form of an matrix over a principal ideal domain is a diagonal matrix
where and . It is guaranteed to exist for every matrix over a principal ideal domain. The entries are determined up to multiplication by units; over they are conventionally chosen positive.
Suppose and communicate. Choose with and . Then is a possible return time to , so divides . If is any possible return time to , concatenating the paths gives a return to of length . Thus also divides , and subtraction shows that divides every such . Therefore . Interchanging and gives the reverse divisibility, so
Hence period is constant on a communicating class.
States communicate when each is accessible from the other: there exist nonnegative integers such that and . A communicating class is an equivalence class for this relation.
First, compactness makes totally bounded: for every positive integer , the open cover by balls of radius has a finite subcover. Given a sequence, repeatedly choose a ball of radius containing infinitely many terms of the subsequence retained at the preceding stage. Taking a diagonal subsequence , any two terms with indices at least lie in one ball of radius , so their distance is below . The diagonal subsequence is therefore a Cauchy sequence.
A compact metric space is complete. To see this without assuming sequential compactness, let be Cauchy and put . These nonempty closed sets are nested and have the finite intersection property; compactness gives a point . Given , a sufficiently late tail has diameter below , and because lies in its closure, every point of that tail lies within of . Thus .
The Cauchy subsequence constructed above consequently converges in . Hence every compact metric space is sequentially compact.
A function is uniformly continuous if, for every , there is a such that
The same must work at every pair of points in the domain.
Introduce slack variables after rewriting the third inequality as . The initial dictionary is
In the simplex method, enters first because it has the largest positive objective coefficient. The ratio test makes leave, and substitution gives
Next enters and leaves. Solving for produces the final objective row
All reduced costs are now nonpositive, so the dictionary is optimal at the nonbasic values . Therefore
The first constraint has slack , while the second and third constraints are active.
Choose a set of column indices for which the square matrix is invertible. The associated basic solution sets for and solves . It is a basic feasible solution when all its coordinates are nonnegative.
Let be a basic feasible solution with basis . If for , then and nonnegativity force for every . Since and is invertible, . Thus is an extreme point.
Conversely, let be extreme and let . If , the corresponding columns are linearly dependent, so there is a nonzero vector supported on with . For sufficiently small , both and remain nonnegative and feasible, contradicting extremality. Hence . Enlarge to a set of indices. By the hypotheses is invertible, and is the resulting basic feasible solution. Therefore
For an independent second sample, let
Under , independence and the two chi-squared laws give the F-distribution
For the one-sided alternative , reject for large , using the upper critical value.
No values of the unknown means enter this statistic: centering by the sample means removes them. If both means are known, one may instead use sums about the known means; the corresponding degrees of freedom are and , rather than and . Thus knowledge of the means changes the degrees of freedom and critical value, while the variance-ratio principle is unchanged.

There are unlisted articles, also show them or only show them.