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

bewerken

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.

Voorbeelden

bewerken
  • De groep van  -adische gehele getallenl   onder optelling is profiniet (in feite procyclisch). Het is de inverse limiet van de eindige groepen  , waarbij   loopt over de natuurlijke getallen en de natuurlijke afbeeldingen   ( ) worden gebruikt voor het limietproces. De topologie op deze profiniete groep is dezelfde als de topologie, die voortvloeit uit de  -adische valuatie op  .
  • De galoistheorie van lichaamsuitbreidingen van oneindige graad leidt op natuurlijke wijze tot galoisgroepen die profiniet zijn. Met name als   een galois-uitbreiding is, beschouwen we de groep  , die bestaat uit alle lichaamsautomorfismen van   welke alle elementen van   vast houden. Deze groep is de inverse limiet van de eindige groepen  , waar   over alle tussenliggende gebieden zodanig varieert, dat   een eindige galois-uitbreiding is. Voor het limietproces, gebruiken we de beperkende homomorfismen  , waar  . De topologie die wij verkrijgen op   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  , maar men kan (nog) niet controleren welk lichaam   in dit geval zal zijn. In feite weet men voor veel lichamen   in het algemeen niet welke eindige groepen als galois-groepen over   optreden. Dit is het inverse galois-probleem voor een lichaam  . (Voor sommige lichamen   is het inverse galois-probleem opgelost, zoals het lichaam van de rationale functies in één variabele over de complexe getallen.)

Zie ook

bewerken