Profiniete groep

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.

• Eindige groepen zijn profiniet, wanneer er een discrete topologie is gegeven.

• De groep van p-adische getallen Z_p onder optelling is profiniet (in feite procyclisch). Het is de inverse limiet van de eindige groepen Z/pⁿZ, waar n over alle natuurlijke getallen varieert en de natuurlijke afbeeldingen Z/pⁿZ → Z/p^mZ (n≥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 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 G = 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 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 Gal(F₁/K) → Gal(F₂/K), waar F₂ ⊆ F₁. De topologie die wij verkrijgen op Gal(L/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.

• Lokale cyclische groep