Stelling van Wedderburn
De stelling van Wedderburn, genoemd naar Joseph Wedderburn, is een stelling uit de abstracte algebra, een deelgebied van de wiskunde. De stelling zegt dat elke eindige delingsring (Ned) / elk eindig lichaam (Be) een lichaam (Ned) / veld (Be) is. Dat houdt in dat in een delingsring/lichaam met slechts eindig veel elementen de vermenigvuldiging noodzakelijk commutatief is. Anders gezegd: een delingsring/lichaam die/dat geen lichaam/veld is, heeft oneindig veel elementen.
Behalve Wedderburn, die verschillende bewijzen gaf,[1] hebben ook andere wiskundigen verschillende bewijzen voor de stelling geleverd, zoals Leonard Dickson, Emil Artin,[2] Ernst Witt (het bewijs bestaat uit één pagina),[3] Hans Zassenhaus en Israël Herstein.
Er zijn nog andere bekende stellingen, die soms eenvoudigweg ook stelling van Wedderburn genoemd worden, zoals zijn stelling voor de classificatie van semi-enkelvoudige algebra's,[4] gegeneraliseerd in de stelling van Artin-Wedderburn. In het Engels wordt de stelling van Wedderburn over eindige delingsringen/lichamen daarom ook wel "Wedderburn's Little Theorem" genoemd.
Toepassing
bewerkenDe stelling heeft een belangrijke toepassing in de synthetische meetkunde: Voor eindige affiene of projectieve vlakken volgt de stelling van Pappos uit de stelling van Desargues.[5] Men kan elk desargueaans vlak beschouwen als een affiene of projectief vlak over een delingsring/lichaam , waarbij de stelling van Pappos alleen dan geldt als commutatief is. Dit is waar de stelling van Wedderburn in het spel komt. Er is geen meetkundig bewijs bekend voor dit puur meetkundige feit.[5]
De omgekeerde stelling: Elk pappos-vlak is desargueaans wordt (naar Gerhard Hessenberg) de stelling van Hessenberg genoemd en is van toepassing op elk affien en elk projectief vlak.[5]
Referenties
bewerken- ↑ Het eerste in 1905 was foutief, dus eigenlijk was Leonard Dickson de eerste. De geschiedenis van de bewijzen is onderzocht door Karen Parshall.
- ↑ Emil Artin geeft in zijn bijdrage ook de bronnen voor het bewijs van Wedderburn en Dickson.
- ↑ Ernst Witt: Über die Kommutativität endlicher Schiefkörper. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, Band 8, 1931, S. 413, DOI:10.1007/BF02941019.
- ↑ Zie bijvoorbeeld: Bartel L. van der Waerden: Algebra. Volume 2, Springer, Heidelberger Taschenbücher, blz. 73.
- ↑ a b c Heinz Lüneburg, Die euklidische Ebene und ihre Verwandten, Birkhäuser, Basel/Boston/Berlin, 1999, Hfdst. III: Papossche Ebenen, ISBN 3-7643-5685-5, Gedigitaliseerde voorbeeldtekst bij Google Books met uitvoerige bespreking en bewijs van de stelling van Hessenberg; uitleg over hoe de stelling van Pappos de algebraïsche structuur van het coördinatenvlichaam bepaalt