Profiniete groep

In de groepentheorie, een deelgebied van de wiskunde, is een profiniete groep een topologische groep die in zekere zin wordt samengesteld uit eindige groepen. Profinieet groepen hebben veel eigenschappen gemeen met hun eindige quotiënten.

Definitie

Formeel is een profiniete groep een Hausdorff, compacte, en totaal omsamenhangende topologische groep: dat wil zeggen een topologische groep, die ook een Stone-ruimte is. Op equivalente wijze kan men een profiniete groep definiëren als een topologische groep, die isomorf is met de inverse limiet van een invers systeem van discrete eindige groepen. In categorische termen is dit een speciaal geval van een ge(co)filterde limiet constructie.

De groep van $p$ -adische gehele getallenl $\mathbb {Z} _{p}$ onder optelling is profiniet (in feite procyclisch). Het is de inverse limiet van de eindige groepen $\mathbb {Z} _{p}/p^{n}\mathbb {Z}$ , waarbij $n$ loopt over de natuurlijke getallen en de natuurlijke afbeeldingen $\mathbb {Z} _{p}/p^{n}\mathbb {Z} \to \mathbb {Z} _{p}/p^{m}\mathbb {Z}$ ( $n\geq m$ ) worden gebruikt voor het limietproces. De topologie op deze profiniete groep is dezelfde als de topologie, die voortvloeit uit de $p$ -adische valuatie op $\mathbb {Z} _{p}$ .

De galoistheorie van lichaamsuitbreidingen van oneindige graad leidt op natuurlijke wijze tot galoisgroepen die profiniet zijn. Met name als $L/K$ een galois-uitbreiding is, beschouwen we de groep $\mathrm {Gal} (L/K)$ , die bestaat uit alle lichaamsautomorfismen van $L$ welke alle elementen van $K$ vast houden. Deze groep is de inverse limiet van de eindige groepen $\mathrm {Gal} (F/K)$ , waar $F$ over alle tussenliggende gebieden zodanig varieert, dat $F/K$ een eindige galois-uitbreiding is. Voor het limietproces, gebruiken we de beperkende homomorfismen $\mathrm {Gal} (F_{1}/K)\to \mathrm {Gal} (F_{2}/K)$ , waar $F_{2}\subseteq F_{1}$ . De topologie die wij verkrijgen op $\mathrm {Gal} (F/K)$ staat bekend als de krull-topologie, vernoemd naar Wolfgang Krull. Waterhouse toonde aan dat elke profiniete groep isomorf is met eentje die voortkomt uit de galoistheorie van enig lichaam $K$ , maar men kan (nog) niet controleren welk lichaam $K$ in dit geval zal zijn. In feite weet men voor veel lichamen $K$ in het algemeen niet welke eindige groepen als galois-groepen over $K$ optreden. Dit is het inverse galois-probleem voor een lichaam $K$ . (Voor sommige lichamen $K$ is het inverse galois-probleem opgelost, zoals het lichaam van de rationale functies in één variabele over de complexe getallen.)

Beschouwd vanuit het perspectief van de algebraïsche meetkunde zijn fundamentaalgroepen ook profiniete groepen, ruwweg gesproken omdat de algebra alleen eindige bedekkingen van een algebraïsche variëteit kan 'zien'. De fundamentaalgroepen uit de algebraïsche topologie zijn in het algemeen echter geen niet-profiniete groepen.