# Questions tagged [group-rings]

A group ring $R[G]$ is a ring constructed from a group $G$ and ring $R$. A special case of this construction is group algebra, which occurs naturally in representation theory.

258 questions
Filter by
Sorted by
Tagged with
2k views

### How to think of the group ring as a Hopf algebra?

Given a finite group $G$ and a field $K$, one can form the group ring $K[G]$ as the free vector space on $G$ with the obvious multiplication. This is very useful when studying the representation ...
2k views

293 views

### Abstract proof that $\lvert H^2(G,A)\rvert$ counts group extensions.

$\DeclareMathOperator{\Hom}{Hom}$ $\DeclareMathOperator{\im}{im}$ $\DeclareMathOperator{\id}{id}$ $\DeclareMathOperator{\ext}{Ext}$ $\newcommand{\Z}{\mathbb{Z}}$ Let $G$ be a group, let $A$ be a $G$-...
1k views

158 views

### Categories for the working mathematician exercises III 1

I'm currently reading Mac Lane's Categories for the working mathematician and I'm having some trouble with the two following exercises from part III. Find (from any given object) an universal arrow ...
192 views

### When is a Hopf Algebra isomorphic to a group ring k[G]?

Let $H$ be a Hopf algebra over a field $k$. What are some nice conditions for when $H$ is isomorphic to $k[G]$ for a finite group $G$? The co-multiplication structure on the group algebra $k[G]$ is ...
467 views

### Projective modules over $kG$ equivalent to injective.

Let $k$ be a field and $G$ is finite group. I want to prove that a $kG$ module $P$ is projective iff it's injective. I proved that if module is projective then it's injective. 1) $kG$ is injective ...
63 views

92 views

### Is $\mathbb{Z}_p[\mathbb{Z}_p]$ a PID?

Is $\mathbb{Z}_{p}[G]$ a PID, where $G=(\mathbb{Z}_{p},+)$ is the additive group of the $p$-adics $\mathbb{Z}_{p}$? I am studying a paper where the authors implicitly use that claim, but it is ...
### What is the Wedderburn decomposition of $\mathbb{R}[D_{2n}]$?
I have been looking everywhere and can't seem to find a general formula for the Wedderburn decomposition of the real group ring of the dihedral group ring of order $2n$, $\mathbb{R}[D_{2n}]$. Does ...
Let $R:=\mathbb{Z}_p[C_{p^\infty}]$ be the group ring of a Prufer group over the field of integers module a prime $p$. We have \$C_{p^\infty}=\langle u_1, u_2, ..., u_n, ... |\,\,\,\, u_1^p=1,\,\,u_{...