Torsion group

Torsion group with a central cyclic commutator subgroup

Let 𝐺 be a torsion group with exponent 𝑠 such that its commutator subgroup is central and cyclic

[𝐺,𝐺]≀𝑍(𝐺)β‰…β„€+𝑠0

Properties

Representations

If the field 𝕂× contains an 𝑠th root of unity, and

πœ’:𝑍(𝐺)β†ͺ𝕂×

is a faithful central character of 𝐺, then there exists a unique (up to equivalence) irrep Ξ“ :𝐺 β†’GL⁑(𝑉) with central character πœ’, and Ξ“ is itself faithful.1 group If 𝐴 ≀𝐺 is a maximal abelian subgroup and πœ“ :𝐴 →𝕂× is a linear character extending πœ’, then

𝑉Γ=IndπΊπ΄β‘π•‚πœ“=πΊβŠ—π΄π•‚πœ“

where 𝑉Γ and π•‚πœ“ denote corresponding [[Module over a group|𝐺-modules]] and IndπΊπ΄β‘π•‚πœ“ denotes the induced module. Moreover

dim⁑𝑉=|𝐴/𝑍(𝐺)|=|𝐺/𝐴|=√|𝐺/𝑍(𝐺)|

[!check]- Proof Let 𝑍(𝐺) =βŸ¨πœ…βŸ© and 𝑉 =𝐺/𝑍(𝐺), whence the Central extension of an abelian group

1β†’β„€+𝑠0πœ…β†ͺπΊπœ‹β† π‘‰β†’1

with associated commutator map 𝑐0 :𝑉 ×𝑉 →℀𝑠0. Now 𝑐0 is nondegenerate, for if [𝑣,𝑉] =1 then


develop | en | SemBr

Footnotes

  1. 1988. Vertex operator algebras and the Monster, Β§5.5, p. 118 ↩