This is a toy example to illustrate some of the techniques of fusion and transfer as described in Gorenstein’s text Finite Groups. Finite groups with a unique subgroup of order p (p an odd prime) are classified in terms of a cyclic p′-extension of relatively simple combinatorial data. This note is intended to address a slightly misstated exercise in somewhat more detail and to be a toy example ...

Let G be a finite, quaternion-free group with exponent e, let F be a field of characteristic zero and let x be an absolutely irreducible character of G. Suppose that a Sylow 2-subgroup of the Galois group of F(J\) over F is cyclic. It is shown that if x is not real valued, then the Schur index of x over F is odd. Let G be a finite group with exponent e and let F be a field of characteristic zer...

We show that if G is a finite Abelian group and the block size is 3, then the necessary conditions for the existence of a (v, 3, λ;G) GBRD are sufficient. These necessary conditions include the usual necessary conditions for the existence of the associated (v, 3, λ) BIBD plus λ ≡ 0 (mod |G|), plus some extra conditions when |G| is even, namely that the number of blocks be divisible by 4 and, if...

We give the first polynomial-time algorithm for checking whether the Galois group Gal (f) of an input polynomial f(X) ∈ Q[X] is nilpotent: the running time of our algorithm is bounded by a polynomial in the size of the coefficients of f and the degree of f . Additionally, we give a deterministic polynomial-time algorithm that, when given as input a polynomial f(X) ∈ Q[X] with nilpotent Galois g...

In [8, §8], the first author outlined an algorithm for calculating a parametrization of the conjugacy classes in a Sylow p-subgroup U(q) of a finite Chevalley group G(q), valid when q is a power of a good prime for G(q). In this paper we develop this algorithm and discuss an implementation in the computer algebra language GAP. Using the resulting computer program we are able to calculate the pa...

Consider the set S(q,r) of isometry classes of q-dimensional spherical space forms whose fundamental groups are isomorphic to a fixed group r. We define a certain group A(q, r) of transformations on the finite set S(q, r), prove that any two elements in the same A(q, r)-orbit are strongly isospectral, and study some consequences. Then a number of the results are carried over to riemannian quoti...

Let G be a finite group and let k be a field whose characteristic p divides the order of G. Freyd’s generating hypothesis for the stable module category of G is the statement that a map between finite-dimensional kG-modules in the thick subcategory generated by k factors through a projective if the induced map on Tate cohomology is trivial. We show that if G has periodic cohomology then the gen...