Table of Contents
Fetching ...

Twisted group algebras of faithful split metacyclic groups $C_p \rtimes C_m$ over finite fields

Sanjit Bhowmick, Javier de la Cruz, Edgar Martínez-Moro

Abstract

Let $\mathbb{F}_\ell$ be a finite field with $\ell$ elements and let $G = C_p \rtimes C_m$ be a faithful split metacyclic group. In this paper, we develop a complete theory for the twisted group algebra $\mathbb{F}_\ell^αG$. Using the Lyndon--Hochschild--Serre spectral sequence, we prove that the second cohomology group of $G$ is isomorphic to $\mathbb{F}_\ell^\times/(\mathbb{F}_\ell^\times)^m$, and we show that all twisting occurs only on the $C_m$ factor. We determine the primitive central idempotents by analyzing the combined action of the Frobenius automorphism and the group action on the character group of $C_p$. Using crossed product theory and the structure of finite fields, we obtain the complete Wedderburn decomposition of $\mathbb{F}_\ell^αG$ into matrix algebras over explicitly determined fields $\mathbb{F}_{\ell^{d_j}}$. Finally, the irreducible projective representations of $G$ over $\mathbb{F}_\ell$ are also determined.

Twisted group algebras of faithful split metacyclic groups $C_p \rtimes C_m$ over finite fields

Abstract

Let be a finite field with elements and let be a faithful split metacyclic group. In this paper, we develop a complete theory for the twisted group algebra . Using the Lyndon--Hochschild--Serre spectral sequence, we prove that the second cohomology group of is isomorphic to , and we show that all twisting occurs only on the factor. We determine the primitive central idempotents by analyzing the combined action of the Frobenius automorphism and the group action on the character group of . Using crossed product theory and the structure of finite fields, we obtain the complete Wedderburn decomposition of into matrix algebras over explicitly determined fields . Finally, the irreducible projective representations of over are also determined.
Paper Structure (8 sections, 12 theorems, 50 equations, 1 figure, 2 tables)

This paper contains 8 sections, 12 theorems, 50 equations, 1 figure, 2 tables.

Key Result

Theorem 2.3

Let $G = C_p \rtimes C_m$ with $m \mid (p-1)$, and let $\mathbb{F} = \mathbb{F}_\ell$ be a finite field with $\ell \neq p$. Then

Figures (1)

  • Figure 1: Reduction of $\mathbb{F}_\ell^\alpha G$ to simple components

Theorems & Definitions (34)

  • Definition 2.1
  • Definition 2.2: The Group $G = C_p \rtimes_r C_m$
  • Theorem 2.3
  • proof
  • Remark 2.4
  • Definition 2.5
  • Proposition 2.6
  • proof
  • Corollary 2.7
  • Lemma 3.1
  • ...and 24 more