On the center of a compact group
Abstract
We prove a conjecture due to Baumgaertel and Lledo according to which for every compact group G one has Z(G)^ \cong C(G), where the `chain group' C(G) is the free abelian group (written multiplicatively) generated by the set G^ of isomorphism classes of irreducible representations of G modulo the relations [Z]=[X]\cdot[Y] whenever Z is contained in X \otimes Y. Thus the center Z(G) depends only on the representation ring of G. Furthermore, we prove that every `t-map' phi: G^ -> A into an abelian group, i.e. every map satisfying phi(Z)=phi(X)phi(Y) whenever X,Y,Z in G^ and Z\prec X\otimes Y, factors through the restriction map G^ -> Z(G)^. All these results also hold for proalgebraic groups over algebraically closed fields of characteristic zero.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- December 2003
- DOI:
- 10.48550/arXiv.math/0312257
- arXiv:
- arXiv:math/0312257
- Bibcode:
- 2003math.....12257M
- Keywords:
-
- Mathematics - Group Theory;
- Mathematics - Category Theory;
- 20E34;
- 18D10
- E-Print:
- Some improvements of terminology. Final version, to appear in I.M.R.N. latex2e, 6 pages, uses diagrams.tex