Rings of invariants for modular representations of elementary abelian <Emphasis Type="Italic">p</Emphasis>-groups

We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We compute the ring of invariants for all two-dimensional representations; these rings are generated by two algebraically independent elements. We compute the ring of invariants of the symmetric square of a two-dimensional representation; these rings are hypersurfaces. We compute the ring of invariants for all three-dimensional representations of rank at most three; these rings are complete intersections with embedding dimension at most five. We conjecture that the ring of invariants for any three-dimensional representation of an elementary abelian p-group is a complete intersection.     

Rank 3 Latin square designs

A Latin square design whose automorphism group is transitive of rank at most 3 on points must come from the multiplication table of an elementary abelian p-group, for some prime p.     

On p-Schur Rings Over Abelian Groups of Order p 3

In the theory of Schur rings, it is known that every Schur ring over a cyclic p-group is Schurian. Recently, Spiga and Wang showed that every p-Schur ring over an elementary abelian p-group of rank 3 is Schurian. In this paper, we prove that every p-Schur ring over an abelian group of order p ³ is Schurian.     

Normal sequences over finite abelian groups

In this note, we obtain the structure of short normal sequences over a finite abelian p-group or a finite abelian group of rank two, thus answering positively a conjecture of Gao and Zhuang for various groups. The results obtained here improve all known results on this conjecture.     

\mathcal{A}(p) generators for H^*V and Singer's homological transfer

We list explicitly a minimal set of generators for the cohomology of an elementary abelian p-group, V, of rank 1 or 2, as a module over the mod p Steenrod algebra, for an odd prime p. Following Singer, we then construct a transfer map to the vector space spanned by such generators, where V now has arbitrary rank, from the homology of the Steenrod algebra. We show that this map takes images in the subspace of GL(V)-invariants and that it is an isomorphism for V having rank 1 or 2. Received June 11, 1996; in final form June 9, 1997     

Connected components of the category of elementary abelian p-subgroups

We determine the maximal number of conjugacy classes of maximal elementary abelian subgroups of rank 2 in a finite p-group G, for an odd prime p. Namely, it is p if G has rank at least 3 and it is p+1 if G has rank 2. More precisely, if G has rank 2, there are exactly 1,2,p+1, or possibly 3 classes for some 3-groups of maximal nilpotency class.     

Elementary Abelian <Emphasis Type="Italic">p</Emphasis>-groups of rank greater than or equal to 4<Emphasis Type="Italic">p</Emphasis>−2 are not CI-groups

In this paper we prove that an elementary Abelian p-group of rank 4p−2 is not a CI⁽²⁾-group, i.e. there exists a 2-closed transitive permutation group containing two non-conjugate regular elementary Abelian p-subgroups of rank 4p−2, see Hirasaka and Muzychuk (J. Comb. Theory Ser. A 94(2), 339–362, 2001). It was shown in Hirasaka and Muzychuk (loc cit) and Muzychuk (Discrete Math. 264(1–3), 167–185, 2003) that this is related to the problem of determining whether an elementary Abelian p-group of rank n is a CI-group. As a strengthening of this result we prove that an elementary Abelian p-group E of rank greater or equal to 4p−2 is not a CI-group, i.e. there exist two isomorphic Cayley digraphs over E whose corresponding connection sets are not conjugate in Aut E. This research was supported by a fellowship from the Pacific Institute for the Mathematical Sciences.     

Elementary abelian <Emphasis Type="Italic">p</Emphasis>-groups of rank 2<Emphasis Type="Italic">p</Emphasis>+3 are not CI-groups

For every prime p>2 we exhibit a Cayley graph on \mathbbZ_p^2p+3\mathbb{Z}_{p}^{2p+3} which is not a CI-graph. This proves that an elementary abelian p-group of rank greater than or equal to 2p+3 is not a CI-group. The proof is elementary and uses only multivariate polynomials and basic tools of linear algebra. Moreover, we apply our technique to give a uniform explanation for the recent works of Muzychuk and Spiga concerning the problem.     

Transitive permutation groups in which all derangements are involutions

Let G be a transitive permutation group in which all derangements are involutions. We prove that G is either an elementary abelian 2-group or is a Frobenius group having an elementary abelian 2-group as kernel. We also consider the analogous problem for abstract groups, and we classify groups G with a proper subgroup H such that every element of G not conjugate to an element of H is an involution.     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Exponent and p-rank of finite p-groups and applications

We bound the order of a finite p-group in terms of its exponent and p-rank. Here the p-rank is the maximal rank of an abelian subgroup. These results are applied to defect groups of p-blocks of finite groups with given Loewy length. Doing so, we improve results in a recent paper by Koshitani, Külshammer, and Sambale. In particular, we determine possible defect groups for blocks with Loewy length 4.     

Complexity and cohomology of cohomological Mackey functors

Let k be a field of characteristic p>0. Call a finite group G a poco group over k if any finitely generated cohomological Mackey functor for G over k has polynomial growth. The main result of this paper is that G is a poco group over k if and only if the Sylow p-subgroups of G are cyclic, when p>2, or have sectional rank at most 2, when p=2.A major step in the proof is the case where G is an elementary abelian p-group. In particular, when p=2, all the extension groups between simple functors can be determined completely, using a presentation of the graded algebra of self extensions of the simple functor , by explicit generators and relations.     

Quasi-antichain Chermak–Delgado lattices of finite groups

The Chermak–Delgado lattice of a finite group is a dual, modular sublattice of the subgroup lattice of the group. This paper considers groups with a quasi-antichain interval in the Chermak–Delgado lattice, ultimately proving that if there is a quasi-antichain interval between subgroups L and H with L ≤ H then there exists a prime p such that H/L is an elementary abelian p-group and the number of atoms in the quasi-antichain is one more than a power of p. In the case where the Chermak–Delgado lattice of the entire group is a quasi-antichain, the relationship between the number of abelian atoms and the prime p is examined; additionally, several examples of groups with a quasi-antichain Chermak–Delgado lattice are constructed.     

Minimal Number of Generators and Minimum Order of a Non-Abelian Group Whose Elements Commute with Their Endomorphic Images

A group in which every element commutes with its endomorphic images is called an “E-group″. If p is a prime number, a p-group G which is an E-group is called a “pE-group″. Every abelian group is obviously an E-group. We prove that every 2-generator E-group is abelian and that all 3-generator E-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator E-group is abelian. We conjecture that every finite 3-generator E-group should be abelian. Moreover, we show that the minimum order of a non-abelian pE-group is p ⁸ for any odd prime number p and this order is 2⁷ for p = 2. Some of these results are proved for a class wider than the class of E-groups.     

Group cohomology and control of p-fusion

We show that if an inclusion of finite groups H≤G of index prime to p induces a homeomorphism of mod p cohomology varieties, or equivalently an F-isomorphism in mod p cohomology, then H controls p-fusion in G, if p is odd. This generalizes classical results of Quillen who proved this when H is a Sylow p-subgroup, and furthermore implies a hitherto difficult result of Mislin about cohomology isomorphisms. For p=2 we give analogous results, at the cost of replacing mod p cohomology with higher chromatic cohomology theories. The results are consequences of a general algebraic theorem we prove, that says that isomorphisms between p-fusion systems over the same finite p-group are detected on elementary abelian p-groups if p odd and abelian 2-groups of exponent at most 4 if p=2.     

Finite non-elementary abelian p-groups whose number of subgroups is maximal

Assume G is a direct product of M _p (1, 1, 1) and an elementary abelian p-group, where M _p (1, 1, 1) = 〈a, b | a ^p = b ^p = c ^p =1, [a,b]=c,[c,a] = [c,b]=1〉. When p is odd, we prove that G is the group whose number of subgroups is maximal except for elementary abelian p-groups. Moreover, the counting formula for the groups is given.     

Modules of Constant Jordan Type with Small Non-Projective Part

Let E be an elementary abelian p-group of rank r and let k be an algebraically closed field of characteristic p. We prove that if M is a kE-module of stable constant Jordan type [a ₁]...[a _t ] with ∑? _j a _j ?≤?min(r???1, p???2) then a ₁?=?...?=?a _t ?=?1. The proof uses the theory of Chern classes of vector bundles on projective space.     

A combinatorial interpretation of the probabilities of p-groups in the Cohen-Lenstra measure

In this paper, I will introduce a link between the volume of a finite abelian p-group in the Cohen-Lenstra measure and partitions of a certain type. These partitions will be classified by the output of an algorithm. As a corollary, I will give a formula (7.2) for the probability of a p-group to have a specific exponent.     

有限Abel群的一个特征

本文证明了有限群Ｇ是Ａｂｅｌ群当且仅当Ｇ_ｒ满足下列条件：（Ⅰ） Ｇ有一个幂自同构 ａ使得 ＣＧ（ａ）是一个初等 ＡｂｅｌＺ一群．（Ⅱ）Ｇ没有子群与２－群＜ａ,ｂ｜ａ~２~ｎ＝ｂ~２~ｍ＝１,ａ~ｂ＝ａ~（１＋２）~（ｎ－１）＞同构,其中ｎ≥３,ｎ≥ｍ．利用该结果,作者还证明若有限群Ｇ有一个幂自同构ａ使得Ｃ_Ｇ（ａ）是一个初等Ａｂｅｌ２－群,则Ｇ是幂零群