On the construction of independent units in cyclic or radical extensions

Abstract

A general theorem on independency in a ℤ[G]-module is proved where G is a finite cyclic group. If applied to radical algebraic extensions of algebraic number fields, it yields a criterion of independency for systems of (parametric) units which contains as special cases theorems by Frei and Levesque and Halter-Koch and Stender.