scientific article; zbMATH DE number 1303177
Let \(K= \mathbb{Q} (\zeta_n)\) where \(\zeta_n\) is a given primitive \(n\)th root of unity. The author exhibits some maximal independent systems of cyclotomic units of \(K\) and writes explicitly the index of the group \(C_G\) generated by such a system in the full group \(E_K\) of units of \(K\). In so doing, he generalizes the constructions of Ramachandra and Levesque and provides a gigantic improvement upon the unit indices obtained by these last two authors. As a matter of fact, \[ [E_K: C_G]= h_k \prod_{i=1}^s e_i^{g_i-1} f_i^{2g_i-1} \] where \(n= \prod_{i=1}^s p_i^{c_i}\), \(\varphi(n)/2= e_i f_i g_i\) with \(e_i, f_i, g_i\) being respectively the ramification degree, the inertia degree and the decomposition degree of \(p_i\) in \(K\). Greither's bright idea was to use exponents from a set larger than \(\mathbb{Z}\), namely from the group ring \(\mathbb{Z}[H]\) where \(H= \text{Gal} (K/\mathbb{Q})\). For the entire collection see [Zbl 0910.00037].
- On the construction of independent units in cyclic or radical extensions
- On the index of the group generated by relative units
- Computing generators of the unit group of an integral Abelian group ring.
- scientific article; zbMATH DE number 4139877 (Why is no real title available?)
- scientific article; zbMATH DE number 24592 (Why is no real title available?)
- Index for subgroups of the group of units in number fields
- scientific article; zbMATH DE number 1985599 (Why is no real title available?)
- Computing normal integral bases of abelian number fields
- Two questions on Levesque's cyclotomic unit index
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249699)
