Halfenkelvoudige algebra

Een halfenkelvoudige algebra (ook semi-simpele algebra) is in de ringtheorie, een deelgebied van de wiskunde, een associatieve algebra met een triviale Jacobson-radicaal (dat wil zeggen dat alleen het nulelement van de algebra in de Jacobson-radicaal voorkomt). Als de algebra eindig-dimensionaal is, is dit gelijkwaardig aan zeggen dat een halfenkelvoudige algebra kan worden uitgedrukt als een Cartesisch product van enkelvoudige deelalgebra's.

Classificatie

De stelling van Artin-Wedderburn classificeert de halfenkelvoudige algebra's volledig: ze zijn isomorf met een product $\prod M_{n_{i}}(D_{i})$, waar de $n_{i}$ willekeurige gehele getallen zijn, de $D_{i}$ delingsringen zijn en waar $M_{n_{i}}(D_{i})$ staat voor de ring van $n_{i}\times n_{i}$ matrices over $D_{i}$. Dit product is uniek op permutatie van de factoren na.