On a conjecture of D. H. Lehmer
We formulate and prove an analogue of the noncommutative Iwasawa main conjecture for -adic Lie extensions of a separated scheme of finite type over a finite field of characteristic prime to .
We introduce a notion of “Galois closure” for extensions of rings. We show that the notion agrees with the usual notion of Galois closure in the case of an degree extension of fields. Moreover, we prove a number of properties of this construction; for example, we show that it is functorial and respects base change. We also investigate the behavior of this Galois closure construction for various natural classes of ring extensions.