The unitary subgroups of group algebras of a class of finite p-groups

Abstract

Let [Formula: see text] be a prime and let [Formula: see text] be a finite field of characteristic [Formula: see text]. Let [Formula: see text] denote the group algebra of the finite [Formula: see text]-group [Formula: see text] over the field [Formula: see text] and let [Formula: see text] denote the group of normalized units in [Formula: see text]. The anti-automorphism [Formula: see text] of [Formula: see text] extends linearly to an anti-automorphism [Formula: see text] of [Formula: see text]. An element [Formula: see text] is called unitary if [Formula: see text]. All unitary elements of [Formula: see text] form a subgroup which is denoted by [Formula: see text]. If [Formula: see text] is odd, the order of [Formula: see text] is [Formula: see text]. However, to compute the order of [Formula: see text] still is open when [Formula: see text]. In this paper, the order of [Formula: see text] is computed when [Formula: see text] is a nonabelian [Formula: see text]-group given by a central extension of the following form: [Formula: see text] and [Formula: see text], [Formula: see text]. Further, a conjecture is confirmed, namely, the order of [Formula: see text] can be divided by [Formula: see text], where [Formula: see text].