On the Loewy length of the center of a block with elementary abelian defect groups

Let G be a finite group and k an algebraically closed field of characteristic p. In this paper we investigate the Loewy structure of centers of indecomposable group algebras kG, for groups G with a normal elementary abelian Sylow p-subgroup. Furthermore, we show a reduction result for the case that a normal abelian Sylow p-subgroup is acted upon by a subgroup of its automorphism group; this is fundamental in providing generic formulae for the Loewy lengths considered.     

On the Artin exponent of some rational groups

A finite group G is called rational if all its irreducible complex characters are rational valued. In this paper, we show that if G is a direct product of finitely many rational Frobenius groups then every rationally represented character of G is a generalized permutation character. Also we show that the same assertion holds when G is a solvable rational group with a Sylow 2-subgroup isomorphic to the dihedral group of order 8 and an abelian normal Sylow 3-subgroup.     

The Cohomologies of the Sylow 2-Subgroups of a Symplectic Group of Degree Six and of the Third Conway Group

The third Conway group Co ₃ is one of the 26 sporadic finite simple groups. The cohomology of its Sylow 2-subgroup S is computed, an important step in calculating the mod 2 cohomology of Co ₃. The spectral sequence for the central extension of S is described; it collapses at the sixth page. Generators are described in terms of the Evens norm or transfers from subgroups. The central quotient S′ = S/2 is the Sylow 2-subgroup of the symplectic group Sp ₆(𝔽₂) of six-by-six matrices over the field of two elements. The cohomology of S′ is computed and is detected by restriction to elementary abelian 2-subgroups.     

Subplanes of a tactical decomposition and singer groups of a projective plane

Sufficient and necessary conditions have been obtained for the following: (1) the substructure formed by a member of the partition of points and a member of the partition of lines to be a subplane; (2) the centralizer of a multiplier to be a Baer subplane. We establish the cyclicity of a Sylow 3-subgroup of the multiplier group of an abelian Singer group of square planar order. Sufficient conditions for the existence of a Type II divisor of a Singer group are given. For a Singer group of orderpq, p<q, we prove that if the order of the multiplier group is divisible byp, then the plane will admit a cyclic Singer group.Partially supported by a NSA grant     

A Remark on З-Permutability of Finite Groups

Let З be a complete set of Sylow subgroups of a finite group G, that is, З contains exactly one and only one Sylow p-subgroup of G for each prime p. A subgroup of a finite group G is said to be З-permutable if it permutes with every member of З. Recently, using the Classification of Finite Simple Groups, Heliel, Li and Li proved tile following result： If the cyclic subgroups of prime order or order 4 iif p = 2） of every member of З are З-permutable subgroups in G, then G is supersolvable. In this paper, we give an elementary proof of this theorem and generalize it in terms of formation.     

Class field towers of imaginary quadratic fields

In their 1934 paper, Scholz and Taussky defined the notion of capitulation type for imaginary quadratic fields whose ideal class group has a Sylow 3-subgroup which is elementary abelian of order 3². For one particular capitulation type (type D) they prove that the 3-class field tower of the quadratic field has length 2. They briefly indicate how a similar result can be shown to hold for capitulation type E. In this paper we give a simpler proof of their type D result and we construct a group theoretic counterexample to their type E assertion.     

A reduction theorem for the McKay conjecture

The McKay conjecture asserts that for every finite group G and every prime p, the number of irreducible characters of G having p’-degree is equal to the number of such characters of the normalizer of a Sylow p-subgroup of G. Although this has been confirmed for large numbers of groups, including, for example, all solvable groups and all symmetric groups, no general proof has yet been found. In this paper, we reduce the McKay conjecture to a question about simple groups. We give a list of conditions that we hope all simple groups will satisfy, and we show that the McKay conjecture will hold for a finite group G if every simple group involved in G satisfies these conditions. Also, we establish that our conditions are satisfied for the simple groups PSL₂(q) for all prime powers q≥4, and for the Suzuki groups Sz(q) and Ree groups R(q), where q=2 ^e or q=3 ^e respectively, and e>1 is odd. Since our conditions are also satisfied by the sporadic simple group J ₁, it follows that the McKay conjecture holds (for all primes p) for every finite group having an abelian Sylow 2-subgroup.     

A p-nilpotency criterion

Let G be a finite group, p a fixed prime and P a Sylow p-subgroup of G. In this short note we prove that if p is odd, then G is p-nilpotent if and only if P controls fusion of cyclic groups of order p. For the case p = 2, we show that G is p-nilpotent if and only if P controls fusion of cyclic groups of order 2 and 4.     

On two classes of finite supersoluble groups

Let ? be a complete set of Sylow subgroups of a finite group G, that is, a set composed of a Sylow p-subgroup of G for each p dividing the order of G. A subgroup H of G is called ?-S-semipermutable if H permutes with every Sylow p-subgroup of G in ? for all p?π(H); H is said to be ?-S-seminormal if it is normalized by every Sylow p-subgroup of G in ? for all p?π(H). The main aim of this paper is to characterize the ?-MS-groups, or groups G in which the maximal subgroups of every Sylow subgroup in ? are ?-S-semipermutable in G and the ?-MSN-groups, or groups in which the maximal subgroups of every Sylow subgroup in ? are ?-S-seminormal in G.     

On finite groups with prime-power order S-quasinormally embedded subgroups

A subgroup H of a finite group G is said to be S-quasinormally embedded in G if for each prime p dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some S-quasinormal subgroup of G. In this paper we investigate the structure of finite groups that have some S-quasinormally embedded subgroups of prime-power order, and new criteria for p-nilpotency are obtained.     

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.     

A Sharp Exponent Bound for McFarland Difference Sets withp=2

We show that under the self-conjugacy condition a McFarland difference set withp=2 andf2 in an abelian groupGcan only exist, if the exponent of the Sylow 2-subgroup does not exceed 4. The method also works for oddp(where the exponent bound ispand is necessary and sufficient), so that we obtain a unified proof of the exponent bounds for McFarland difference sets. We also correct a mistake in the proof of an exponent bound for (320, 88, 24)-difference sets in a previous paper.     

Structure of a group with elements of order at most 4

We prove that every group in which the order of each element is at most 4 either possesses a nontrivial class 2 nilpotent normal Sylow subgroup or includes a normal elementary abelian 2-subgroup the quotient by which is isomorphic to the nonabelian group of order 6.     

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.     

On finite groups with special Sylow <Emphasis Type="Italic">p</Emphasis>-subgroups

We find the cases in which a finite p-soluble group with a special Sylow p-subgroup has p-length 1.     

Blocks of full defect with nonabelian metacyclic defect groups

Let p be an odd prime and let B be a p-block of a finite group G with a nonabelian metacyclic defect group P which is a Sylow p-subgroup of G. The purpose of this article is to study the ordinary and modular irreducible characters in B. In particular, we calculate k _i (B) and l _i (B) for an arbitrary nonnegative integer i.     

ZEROS OF CHARACTERS ON PRIME ORDER ELEMENTS

Suppose that G is a finite group, let χ be a faithful irreducible character of degree a power of p and let P be a Sylow p-subgroup of G. If χ(x) ≠ 0 for all elements of G of order p, then P is cyclic or generalized quaternion.

     

On p-nilpotency of finite groups with some subgroups π-quasinormally embedded

Summary A subgroup H of a group G is said to be π-quasinormal in G if it permutes with every Sylow subgroup of G, and H is said to be π-quasinormally embedded in G if for each prime dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some π-quasinormal subgroups of G. We characterize p-nilpotentcy of finite groups with the assumption that some maximal subgroups, 2-maximal subgroups, minimal subgroups and 2-minimal subgroups are π-quasinormally embedded, respectively.     

Realizable posets

Certain p-local orders in n-dimensional division algebras over the rational numbers occur as endomorphism rings of torsion-free abelian groups of rank n if and only if an associated finite poset P has a strict faithful representation of dimension less than |P| over the field with p elements. In this note we obtain a simple characterization of those finite posets which do not admit such a representation.Research supported in part by NSF grant DMS-8802833.