inverse limits of group algebras and profinite groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T20:53:37Z http://mathoverflow.net/feeds/question/82676 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/82676/inverse-limits-of-group-algebras-and-profinite-groups inverse limits of group algebras and profinite groups Dima Pasechnik 2011-12-05T06:03:58Z 2011-12-06T10:10:14Z <p>For an inverse system {$G_i$} of finite groups, and a fixed field $\mathbb{k}$, one can consider the corresponding group algebras $\mathbb{k}[G_i]$. The latter form an inverse system of $\mathbb{k}$-algebras {$\mathbb{k}[G_i]$} (unless I miss something obvious). Is it true that the inverse limit of {$\mathbb{k}[G_i]$} is the group algebra $\mathbb{k}[G]$, for $G=\lim\limits_\leftarrow${$G_i$} ? </p> <p>In my case $\mathbb{k}=\mathbb{Z}/p\mathbb{Z}$, and $G_i$ are abelian $p$-groups, if this helps.</p> <p><strong>Added:</strong> I see that the answer is much less trivial than I expected. What about the simplest case, perhaps, when $G_i=\mathbb{Z}/p^i\mathbb{Z}$, for $i\geq 1$, and thus $G$ is the additive group of $\mathbb{Z}_p$? Are there fields for which the complete group algebra $[[\mathbb{k}G]]$ is easy to describe (particularly interesting for me would be the case $\mathbb{k}=\mathbb{Z}/p\mathbb{Z}$.) ? [This is answered by Simon Wadsley in the comment below.] </p> <p><strong>P.S.</strong> This is a spill-over of an innocently looking final year project on invertible circulant matrices of an undergraduate student of mine---I am unfamiliar with profinite things...</p> http://mathoverflow.net/questions/82676/inverse-limits-of-group-algebras-and-profinite-groups/82680#82680 Answer by Gjergji Zaimi for inverse limits of group algebras and profinite groups Gjergji Zaimi 2011-12-05T07:28:05Z 2011-12-05T07:28:05Z <p>See section 5.3 in "Profinite Groups" by Ribes and Zalesskii. The inverse limit of group algebras you are referring to is called the <em>complete group algebra</em> and it is the completion of the ordinary group algebra $\mathbb k[G]$ with its natural profinite topology. In other words $\mathbb k[G]$ is densely embedded in this algebra. </p> <p>This works for any profinite ring $\mathbb k$. What I mean by natural profinite topology on $\mathbb k[G]$ is the one given by the fundamental system of neighbourhoods of $0$ consisting of the ideals $$\text{Ker}(\mathbb k[G]\to (\mathbb k/I)[G/U])$$ where $I$ ranges over the open ideals of $\mathbb k$ and $U$ over the open normal subgroups of $G$.</p> http://mathoverflow.net/questions/82676/inverse-limits-of-group-algebras-and-profinite-groups/82691#82691 Answer by Tim Porter for inverse limits of group algebras and profinite groups Tim Porter 2011-12-05T09:43:56Z 2011-12-06T06:26:27Z <p>Although the reference to Ribes and Zalesski (given in another answer) is excellent, another very good starting point for this area is:</p> <p>A. Brumer, Pseudocompact algebras, profinite groups and class formations , J. Alg, 4, (1966), 442–470. </p> <p>The key point is the pseudocompactness of the result. Brumer goes into the homological algebra of these algebras. Of course, in the 45 years since that was published there have been a lot of advances, but the basic theory is very well explained there.</p>