Групове кільце

Шаблон:Алгебричні структури Групове кільце — кільце, що є водночас вільним модулем, яке можна побудувати за даним кільцем та даною групою. Неформально кажучи, групове кільце $K[G]$ — це вільний модуль над кільцем $K$, базис якого перебуває в бієктивній відповідності до елементів групи $G$, множення базисних елементів визначається як множення елементів групи, а на інші елементи множення «поширюється за лінійністю».

Апарат групових кілець особливо корисний у теорії представлень груп.

Визначення

Нехай $K$ — кільце, а $G$ — група. Тоді груповим кільцем $K[G]$ називають множину скінченних формальних сум вигляду $\alpha =\sum _{g\in G}{a}_{g}g,a_g\in K$, які додаються та множаться в такий спосіб: Якщо $\alpha =\sum _{g\in G}{a}_{g}g,\beta =\sum _{g\in G}{b}_{g}g$, то

$\alpha +\beta =\sum _{g\in G}(a_g+b_g)g$

$\alpha \cdot \beta =\sum _{g\in G}\left(\sum _{\genfrac{}{}{0ex}{}{xy=g,}{x,y\in G}}{a}_x{b}_y\right)g$ .

Властивості

• Якщо $K$ і $G$ комутативні, то $K[G]$ комутативне.
• Якщо $K$ — кільце з одиницею, то $K[G]$ — кільце з одиницею.
• Вкладення $G$ в $K[G]$ утворює базис групового кільця.
• Якщо $H$ — підгрупа $G$, то $K[H]$ — підкільце кільця $K[G]$.
• Нехай $K$ є полем, тоді кожному елементу $G$ можна зіставити лінійне перетворення векторного простору $K[G]$ — множення на відповідний базисний вектор зліва. Це зіставлення задає регулярне подання групи.

Література

• Шаблон:Ван.дер.Варден.Алгебра
• Шаблон:Книга