Konečný prstenec v obecné algebře je prsten obsahující konečný počet prvků (tzv. pořadí prstenu). Jinými slovy, jedná se o (neprázdnou) konečnou množinu , na které jsou definovány operace sčítání a násobení a s ohledem na sčítání tvoří komutativní konečnou grupu a násobení je se sčítáním spojeno obvyklými zákony rozdělení . Existence jednotky a komutativnost násobení v kruhu neplatí vždy, mohou existovat i nulové dělitele .
Počet kroužků malých řádů je uveden v internetové encyklopedii celočíselných sekvencí [1] .
V komutativním konečném kruhu s jedničkou je každý nenulový prvek buď invertibilní , nebo je nulovým dělitelem . Vskutku, nechť je nenulový prvek řádu ring ; skládáme produkty podle všech nenulových prvků prstence: . Pokud je mezi těmito součiny jeden, pak je prvek invertibilní, a pokud ne, pak se buď jeden ze součinů rovná nule, nebo se rovnají některé dva součiny: nebo V obou případech dělitel nuly atd.
Důsledek: netriviální komutativní konečný okruh bez nulových dělitelů je pole (existence jednotky v okruhu vyplývá ze stejné úvahy).
Kruh s netriviálním násobením (pro který se ne všechny součiny prvků rovnají nule) se nazývá jednoduchý , pokud neobsahuje oboustranné ideály , kromě triviálního podkruhu a samotného . Jakékoli pole je jednoduchý kruh, protože pole nemá žádné správné ideály. Komutativní kruh s identitou je polem právě tehdy, když se jedná o jednoduchý kruh.
Wedderburnova malá věta říká, že každé konečné těleso je pole (tj. komutativní násobením) [4] [5] .
Nathan Jacobson později objevil další podmínku, která zaručuje komutativnost prstenu: jestliže pro každý prvek prstenu existuje celé číslo takové, že , pak je prsten komutativní [6] . Byly nalezeny i další známky komutativnosti prstenců [7] .
Další Wedderburnova věta: nechť je jednoduchý prsten s identitou a minimálními levými ideály. Pak je prsten izomorfní ke kruhu všech matic řádu přes nějaký divizní prsten . V tomto případě je tělo jednoznačně definováno a tělo je definováno až do izomorfismu. Naopak pro jakékoli tělo je prsten jednoduchý prsten. To znamená, že jakýkoli konečný jednoduchý prstenec je izomorfní k prstenci čtvercové matice v nějakém konečném poli [8] .