Sous-modules d'unités en théorie d'Iwasawa
arXiv:0912.2520
Abstract
We give a necessary and sufficient "Galois descent" condition to the freeness of the Iwasawa module built from Sinnott's circular units. Then we describe explicit examples for which this condition is not fulfilled.