On maximal abelian subgroups in finite 2-groups

We determine here up to isomorphism the structure of any finite nonabelian 2-group G in which every two distinct maximal abelian subgroups have cyclic intersection. We obtain five infinite classes of such 2-groups (Theorem 1.1). This solves for p = 2 the problem Nr. 521 stated by Berkovich (in preparation). The more general problem Nr. 258 stated by Berkovich (in preparation) about the structure of finite nonabelian p-groups G such that A ∩ B = Z(G) for every two distinct maximal abelian subgroups A and B is treated in Theorems 3.1 and 3.2. In Corollary 3.3 we get a new result for an arbitrary finite 2-group. As an application of Theorems 3.1 and 3.2, we solve for p = 2 a problem of Heineken-Mann (Problem Nr. 169 stated in Berkovich, in preparation), classifying finite 2-groups G such that A/Z(G) is cyclic for each maximal abelian subgroup A (Theorem 4.1).      

A Characterization of the smallest Suzuki 2-group

Let G be a finite nonabelian group which has no abelian maximal subgroups and satisfies that any two non-commutative elements generate a maximal subgroup. Then G is isomorphic to the smallest Suzuki 2-group of order 64.     

A characterization of finite symplectic polar spaces of odd prime order

A sufficient condition for the representation group for a nonabelian representation (Definition 1.1) of a finite partial linear space to be a finite p-group is given (Theorem 2.9). We characterize finite symplectic polar spaces of rank r at least two and of odd prime order p as the only finite polar spaces of rank at least two and of prime order admitting nonabelian representations. The representation group of such a polar space is an extraspecial p-group of order p1+2r and of exponent p (Theorems 1.5 and 1.6).     

On the regular representation of an (essentially) finite 2-group

The regular representation of an essentially finite 2-group G in the 2-category 2Vectk of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it are computed. It is next shown that all hom-categories in Rep2Vectk(G) are 2-vector spaces under quite standard assumptions on the field k, and a formula giving the corresponding “intertwining numbers” is obtained which proves they are symmetric. Finally, it is shown that the forgetful 2-functor ω:Rep2Vectk(G)→2Vectk is representable with the regular representation as representing object. As a consequence we obtain a k-linear equivalence between the 2-vector space of functors from the underlying groupoid of G to Vectk, on the one hand, and the k-linear category End(ω) of pseudonatural endomorphisms of ω, on the other hand. We conclude that End(ω) is a 2-vector space, and we (partially) describe a basis of it.     

Minimal Idempotents of Twisted Group Algebras of Cyclic 2-Groups

For a field K of characteristic different from 2, we find the explicit form of the minimal idempotents of the twisted group algebra K_tg of a cyclic 2-group g over K.AMS Subject Classification (1991): primary 16S35, secondary 16U60.Partially supported by the Fund “NIMP’’ of Plovdiv University.     

On R*-sequenceability and symmetric harmoniousness of groups

We introduce a special harmoniousness called symmetric harmoniousness of groups and extend the R^*-sequenceability of abelian groups to nonabelian groups. We prove that the direct product of an R^*-sequenceable group of even order with a symmetric harmonious group of odd order is R^*-sequenceable. Examples of nonabelian R^*-sequenceable groups and nonabelian symmetric harmonious groups are given. It is shown that the nonabelian groups of order 3q (q prime) are symmetric harmonious. © 1994 John Wiley & Sons, Inc.     

On the order of a non-abelian representation group of a slim dense near hexagon

In this paper we study the possible orders of a non-abelian representation group of a slim dense near hexagon. We prove that if the representation group R of a slim dense near hexagon S is non-abelian, then R is a 2-group of exponent 4 and |R|=2 ^β , 1+NPdim(S)≤β≤1+dimV(S), where NPdim(S) is the near polygon embedding dimension of S and dimV(S) is the dimension of the universal representation module V(S) of S. Further, if β=1+NPdim(S), then R is necessarily an extraspecial 2-group. In that case, we determine the type of the extraspecial 2-group in each case. We also deduce that the universal representation group of S is a central product of an extraspecial 2-group and an abelian 2-group of exponent at most 4. This work was partially done when B.K. Sahoo was a Research Fellow at the Indian Statistical Institute, Bangalore Center with NBHM fellowship, DAE Grant 39/3/2000-R&D-II, Govt. of India.     

The lower bound of the number of nonabelian subgroups of finite p-groups

In this paper, we give the lower bound of the number of nonabelian subgroups of possible index of finite p-groups, and classify the finite p-groups such that the number of nonabelian subgroups of possible order are exactly the lower bound.     

Constructions of large translation nets with nonabelian translation groups

In this paper the first infinite series of translation nets with nonabelian translation groups and a large number of parallel classes are constructed. For that purpose we investigate partial congruence partitions (PCPs) with at least one normal component.Two series correspond to partial congruence partitions containing one normal elementary abelian component. The construction results by using some basic facts about the first cohomology group of the translation group G regarded as an extension of the normal component which itself is a group of central translations.The other series correspond to partial congruence partitions containing two normal nonabelian components. The constructions are based on the well known automorphism method which leads to so-called splitting translation nets. By investigating the Suzuki groups Sz(q), the protective unitary groups PSU(3, q ²) and the Ree groups R(q) as doubly transitive permutation groups, we obtain examples of nonabelian groups admitting a large number of pairwise orthogonal fixed-point-free group automorphisms.     

Nonnormal and minimal nonabelian subgroups of a finite group

Let G be a finite p-group. If p = 2, then a nonabelian group G = Ω₁(G) is generated by dihedral subgroups of order 8. If p > 2 and a nonabelian group G = Ω₁(G) has no subgroup isomorphic to S_p²{\Sigma _{{p^2}}}, a Sylow p-subgroup of the symmetric group of degree p ², then it is generated by nonabelian subgroups of order p ³ and exponent p. If p > 2 and the irregular p-group G has < p nonabelian subgroups of order p ^p and exponent p, then G is of maximal class and order p ^p+1. We also study in some detail the p-groups, containing exactly p nonabelian subgroups of order p ^p and exponent p. In conclusion, we prove three new counting theorems on the number of subgroups of maximal class of certain type in a p-group. In particular, we prove that if p > 2, and G is a p-group of order > p ^p+1, then the number of subgroups ≅ ΣS_p²{\Sigma _{{p^2}}} in G is a multiple of p.     

The Abelian/Nonabelian correspondence and Frobenius manifolds

We propose an approach via Frobenius manifolds to the study (began in [BCK2] of the relation between rational Gromov–Witten invariants of nonabelian quotients X//G and those of the corresponding “abelianized” quotients X//T, for T a maximal torus in G. The ensuing conjecture expresses the Gromov–Witten potential of X//G in terms of the potential of X//T. We prove this conjecture when the nonabelian quotients are partial flag manifolds.     

On the structure of the augmentation quotient group for some nonabelian 2-groups

Let G be a finite nonabelian group, ℤG its associated integral group ring, and Δ(G) its augmentation ideal. For the semidihedral group and another nonabelian 2-group the problem of their augmentation ideals and quotient groups Q _n (G) = Δ ⁿ (G)/Δ ⁿ⁺¹(G) is deal with. An explicit basis for the augmentation ideal is obtained, so that the structure of its quotient groups can be determined.     

Compactifications and algebraic completions of limit groups

This paper considers the existence of nondiscrete embeddings Γ ↦ G, where Γ is an abstract limit group and G is topological group. Namely, it is shown that a locally compact group G that admits a nondiscrete nonabelian free subgroup F admits a nondiscrete copy of every nonabelian limit group L. In some cases, for instance if the F is of rank 2 and its closure in G is compact or semisimple algebraic, or if L is a surface group (as considered in [6]), L can be chosen with the same closure as F.     

Multiplicative Jordan Decomposition in Group Rings of 3-Groups,II

In this paper, we complete the classification of those finite 3-groups G whose integral group rings have the multiplicative Jordan decomposition property. If G is abelian, then it is clear that ?[G] satisfies the multiplicative Jordan decomposition (MJD). In the nonabelian case, we show that ?[G] satisfies MJD if and only if G is one of the two nonabelian groups of order 3³ = 27.     

Dominions in varieties generated by simple groups

We determine the dominion (in the sense of Isbell) of a subgroup H of a finite nonabelian simple group S in Var(S). We also obtain necessary and suficient conditions for H to be epimorphically embedded in S, and derive several examples, which generalize an example of B. H. Neumann. Finally, we extend the results to a variety generated by a family of finite nonabelian simple groups. Received May 12, 1999; accepted in final form April 9, 2002.     

On B(n,k) 2-groups

A finite group G is said to be a B(n, k) group if for any n-element subset {a ₁,…, a _n } of G, |{a _i a _j |1 ≤ i, j ≤ n}| ≤k. In this article, we give characterizations of the B(5, 19) 2-groups, and the B(6, k) 2-groups for 21 ≤ k ≤ 28.     

ON NONABELIAN TENSOR PRODUCT MODULO q OF GROUPS

The nonabelian tensor product modulo q of two crossed modules of groups is investigated, where q is a positive integer. It is obtained a six term exact sequence of groups connecting the nonabelian tensor product modulo q with algebraic K-functor K ₂ with Z _q coefficients for (noncommutative) local rings. The notion of q-homology groups of a group G with coefficients in a G-module A is introduced, some its properties and calculations are given. The relationship between q-homology groups and derived functors of tensor product modulo q is studied.     

Finite 2-groups with a nonabelian Frattini subgroup of order 16

According to a classical result of Burnside, if G is a finite 2-group, then the Frattini subgroup Φ(G) of G cannot be a nonabelian group of order 8. Here we study the next possible case, where G is a finite 2-group and Φ(G) is nonabelian of order 16. We show that in that case Φ(G) ≅ M × C₂, where M ≅ D₈ or M ≅ Q₈ and we shall classify all such groups G (Theorem A). Received: 16 February 2005; revised: 7 March 2005     

A Construction of Difference Sets in High Exponent 2-Groups Using Representation Theory

Nontrivial difference sets in groups of order a power of 2 are part of the family of difference sets called Menon difference sets (or Hadamard), and they have parameters (2^2d+2, 2^2d+1±2 ^d , 2^2d ±2 ^d ). In the abelian case, the group has a difference set if and only if the exponent of the group is less than or equal to 2 ^d+2. In [14], the authors construct a difference set in a nonabelian group of order 64 and exponent 32. This paper generalizes that result to show that there is a difference set in a nonabelian group of order 2^2d+2 with exponent 2 ^d+3. We use representation theory to prove that the group has a difference set, and this shows that representation theory can be used to verify a construction similar to the use of character theory in the abelian case.