Anomaly of non-Abelian discrete symmetries

We study anomalies of non-Abelian discrete symmetries; which part of non-Abelian group is anomaly free and which part can be anomalous. It is found that the anomaly-free elements of the group G generate a normal subgroup G₀ of G and the residue class group G /G₀, which becomes the anomalous part of G , is isomorphic to a single cyclic group. The derived subgroup D (G ) of G is useful to study the anomaly structure. This structure also constrains the structure of the anomaly-free subgroup; the derived subgroup D (G ) should be included in the anomaly-free subgroup. We study the detail structure of the anomaly-free subgroup from the structure of the derived subgroup in various discrete groups. For example, when G =S_n≃A_n⋊Z₂ and G =Δ (6 n²)≃Δ (3 n²)⋊Z₂, in particular, A_n and Δ (3 n²) are at least included in the anomaly-free subgroup, respectively. This result holds in any arbitrary representations.