Ideal theory of the Abelian group-algebra. (Q2595620)

Untersucht wird die Struktur des Gruppenrings \(K [G]\), den eine endliche Abelsche Gruppe \(G\) über einem kommutativen Körper \(K\) erzeugt. Hat \(G\) ein System von Basiselementen mit den Ordnungen \(n_1,\ldots,n_r\), so daß \(N = n_1\cdots n_r\) die Ordnung von \(G\) ist, so ist \(K[G]\) dem Restklassenring des Polynomrings \(K[x_1,\ldots, x_r]\) nach dem Ideal \(\mathfrak m =\left(x_1^{n_1}-1,\ldots,x_r^{n_r}-1\right)\) isomorph. Es sei \(m_i\) der größte durch die Charakteristik \(p\) von \(K\) nicht teilbare Teiler von \(n_i\) (im Falle \(p = 0\) insbesondere \(m_i = n_i\). Der Restklassenring des Ideals \(\left(x_1^{m_1}-1,\ldots,x_r^{m_r}-1\right)\) nach dem Ideal \(\mathfrak m\) entspricht dann bei der Isomorphie dem Radikal von \(K[G]\). Ist also \(N\) nicht durch \(p\) teilbar, so ist \(K[G]\) halbeinfach; bei passender Erweiterung von \(K\) zerfällt der Gruppenring alsdann in \(N\) zu \(K\) isomorphe Körper. Ist aber \(N\) durch \(p\) teilbar, so ist der Restklassenring von \(K[G]\) nach seinem Radikal dem Gruppenring \(K [G/G_1]\) isomorph, wo \(G_1\) die zu der Primzahl \(p\) gehörige Sylowkomponente von \(G\) bedeutet. (III 5 B.)