On the arithmetic of modified id le class groups

Let be a number field and, sets of places of. For each prime, we define an invariant related to the Galois group of the maximal abelian extension of which is unramified outside and splits completely in. In the main theorem we interpret in terms of another arithmetic object that involves various unit groups and uses genus theory applied to certain modules, which are technically modified from id le groups. We show that this interpretation is functorial with respect to and and thereby provides interesting connections between and as and vary. The settings and methods are new, and different from the classical genus theoretic methods for id le groups. The advantage of the new methods at the finite level not only generalizes but also strengthens certain known results involving the maximal -abelian profinite Galois group of that is -ramified and -split in terms of the arithmetic of certain units of. At the infinite level, the method relates the deep arithmetic of special units with those of profinite Galois groups. For example, for special cases of and, the invariants are related to the conjectures of Gross (or Kuz'min-Gross) and Leopoldt and accordingly, in these special cases, the functorial interpretation of as and vary involves interesting connections between the conjectures of Gross and Leopoldt in a simpler and more concrete way. As a result, we conjecture that is finite for all finite disjoint sets, over the cyclotomic -tower of, which includes the conjectures of Gross and Leopoldt as special cases.