Es sei K {\displaystyle {}K} ein kommutativer Ring, D {\displaystyle {}D} eine kommutative Gruppe und K [ D ] {\displaystyle {}K[D]} der zugehörige Gruppenring. Bestimme zu einer kommutativen K {\displaystyle {}K} -Algebra L {\displaystyle {}L} die Gruppe ( Spek ( K [ D ] ) ) ( L ) {\displaystyle {}{\left(\operatorname {Spek} {\left(K[D]\right)}\right)}(L)} .
![{\displaystyle {}K[D]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b1f3a9a659ed0e5c94a3dfb736975f7b3f3c482)
![{\displaystyle {}{\left(\operatorname {Spek} {\left(K[D]\right)}\right)}(L)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5938087a3170a9d8d9f78b806dade2c9be8895db)