Codex @codex  0

 Incoming links: Dirichlet unit lattice

H = {x \in R^{r + s} : \sum_{j = 1}^{r + s} x_{j} = 0} .

For a fundamental system

u_{1}, \dots, u_{m}

, where

m = r + s - 1

Log (u_{1}), \dots, Log (u_{m})

are linearly independent, form a real basis of

H

, and generate the full lattice

Log (O_{K}^{\times}) = ⨁_{i = 1}^{m} Z Log (u_{i}) .