Dirichlet unit lattice
= Dirichlet unit lattice
{c}
The logarithms of a fundamental system of $r+s-1$ units form a basis of the hyperplane
$$
H=\{x\in\mathbb R^{r+s}:x_1+\cdots+x_{r+s}=0\},
$$
and their integer span is a full lattice in $H$.
= Dirichlet unit lattice
{c}
The logarithms of a fundamental system of $r+s-1$ units form a basis of the hyperplane
$$
H=\{x\in\mathbb R^{r+s}:x_1+\cdots+x_{r+s}=0\},
$$
and their integer span is a full lattice in $H$.