Групповое кольцо
— это
кольцо
, являющееся в то же время
свободным модулем
, которое можно построить по данному
кольцу
и данной
группе
. Неформально говоря, групповое кольцо
— это свободный модуль над кольцом
базис которого находится в биективном соответствии с элементами группы
умножение базисных элементов определяется как умножение элементов группы, а на остальные элементы умножение «распространяется по линейности».
Пусть
— кольцо, а
— группа. Тогда групповым кольцом
называется множество конечных формальных сумм вида
, которые складываются и умножаются следующим образом: