homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
(Hermite normal form)
A matrix
with integer entries ($n$ rows, $m$ columns) is said to be in Hermite normal form if the following conditions hold:
All entries are non-negative numbers $\in \mathbb{N} \subset \mathbb{Z}$:
The first non-vanishing entry $p_{i} \coloneqq H_{i,j_{i}}$ in each row is strictly to the right of the first non-vanishing entry $p_{i-1} = H_{i,j_{i-1}}$ of the previous row (if any):
These entries are called the pivots of $H$.
Each pivot $p_i$ is strictly larger than all entries above it in the same row:
For $1 \leq i' \lt i$ we have $H_{i', j_i} \lt p_i = H_{i, j_i}$.
(e.g. Mader 00, theorem 1.5.1)
There are slightly different conventions in use for Def. , e.g. some authors require the non-vanishing non-pivotal entries to be negative instead of positive. These conventions are equivalent, in that the uniqueness of Hermite normal form, Theorem below applies with respect to each of them.
(uniqueness of Hermite normal form)
For
a matrix with integer entries, there exists a unique invertible matrix with integer coefficients
such that the matrix product
Existence follows by integer row reduction of integer matrices, see e.g. Gilbert-Pathria 90, p. 3/4. Uniqueness requires more work (see e.g. Mader 00, theorem 1.5.2).
Integer row reduction for integer matrices via greatest common divisors is explained for instance in
Discussion of the general theory of integer matrices includes
Computational implementation is discussed in
See also
Last revised on October 4, 2018 at 23:23:58. See the history of this page for a list of all contributions to it.