Kernels of projective representations of finite groups (Q1190040)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kernels of projective representations of finite groups |
scientific article |
Statements
Kernels of projective representations of finite groups (English)
0 references
26 September 1992
0 references
We will augment and refine some of the results of an earlier article [Zap. Mat. Otd. Fiz. Mat. Fak. KhGU Khar'k Mat. Ob., IV. Ser. 26, 333-372 (1960)]. Recall the definition of an \(H\)-multiplier of a finite group \(G\), a notion that was introduced there: Let \(\Pi\) be a class of associated factor systems of the complex projective representations of the group \(G\). (In other words, \(\Pi\) is an element of the Schur multiplier \(M(G)\) of the group \(G\).) A normal subgroup \(H\) of a group \(G\) is called a \(\Pi\)-kernel of \(G\) if it is the kernel of a complex projective representation of \(G\) belonging to the factor system \(\pi \in \Pi\). The set \(M_ H(G) = \{\Pi \in M(G)\mid H \text{ is a }\Pi\text{- kernel}\}\) (which, as we can show, is a subgroup of \(M(G)\)) is called the \(H\)-multiplier of the group \(G\). One of the fundamental results of the present article is Theorem 2.12, which states that \(M_ H(G) \cong M(G/H)/N\), where \(N \cong H\cap G'/[H,G]\) (where \(G'\) is commutator of \(G\), and \([H,G]\) is the commutator of \(H\) and \(G\)). The proof of Theorem 2.12 is based on examination of a particular sequence of groups and homomorphisms. Let \(\text{Lin}(G)\) be the group of complex linear characters of \(G\), and let \(\text{Lin}_{\text{inv}}(H)\) be the group of \(G\)-invariant characters of the subgroup \(H\). It is natural to define the homomorphisms \(\phi : \text{Lin}(G) \to \text{Lin}_{\text{inv}}(H)\), \(\tau: \text{Lin}_{\text{inv}}(H) \to M(G/H)\), \(\sigma: M(G/H) \to M_ H(G)\). Theorem 2.12 is a corollary of Theorem 2.8, from which it follows that the sequence \(\text{Lin}(G) @>\varphi>> \text{Lin}_{\text{inv}}(H) @>\tau>> M(G/H) @>\sigma>> M_ H(G) \to 1\) is exact.
0 references
factor systems
0 references
complex projective representations
0 references
Schur multiplier
0 references
complex linear characters
0 references