Stelling van Jordan-Schur

Uit testwiki
Naar navigatie springen Naar zoeken springen

In de groepentheorie, een deelgebied van de wiskunde, is de stelling van Jordan–Schur een stelling die in zijn originele vorm is geponeerd door Camille Jordan. In die vorm zegt de stelling dat er een functie f(n) bestaat, zodanig dat gegeven een eindige groep G, die een deelgroep van de groep van complexe n×n-matrices is, er dan een deelgroep H van G bestaat, zodanig dat H abels is, H normaal is met betrekking tot G en dat H een index van ten hoogste f(n) heeft. Schur bewees een meer algemeen resultaat, dat van toepassing is, wanneer men aanneemt dat G niet eindig, maar alleen periodiek is.

Schur bewees dat voor f(n) de functie

(8n+1)2n2(8n1)2n2[1]

gekozen kan worden.

Een strakkere begrenzing (voor n3) is te danken aan Speiser, die aantoonde, dat zolang G eindig is, men

f(n)=n!12n(π(n+1)+1)

kan nemen, waarin π(n) de priemgetal-telfunctie is.[1]

Zie ook

Referenties

Sjabloon:References