Lo siguiente está tomado de la sección 3.1 de Représentations linéaires des groupes finis por J.-P. Serre:
Ejercicio 2) Sea ρ sea una representación irreducible de G de grado n y el carácter χ ; deja que C sea el centro de G ( i.e. el conjunto de s∈G tal que st=ts para todos t∈G .), y que c sea el orden de C .
c) Demuestre que si ρ es fiel ( i.e. ρs≠1 pour s≠1 ), entonces C es cíclico.
Ahora bien, si dejamos que G=C2×C3={σ,τ∣σ2=τ3=e,στ=τσ} podemos definir la siguiente representación irreducible ρ:G→C× : ρ(σ)=−1,ρ(τ)=ω donde ω∈C× es una raíz tercera primitiva de la unidad.
ρ es una representación irreducible fiel y G al ser abeliana, coincide con su propio centro. Por lo tanto, su centro no es cíclico.
¿Por qué no es un contraejemplo?