Cossey, Peter (John)Stonehewer, Stewart Edward2015-12-070041-8994http://hdl.handle.net/1885/21312For each prime p and positive integer n, Berger and Gross have defined a finite p-group G = HX, where H is a core-free quasinormal subgroup of exponent pn-1 and X is a cyclic subgroup of order pn. These groups are universal in the sense that any other finite p-group, with a similar factorisation into subgroups with the same properties, embeds in G. In our search for quasinormal subgroups of finite p-groups, we have discovered that these groups G have remarkably few of them. Indeed when p is odd, those lying in H can have exponent only p, pn-2 or pn-1. Those of exponent p are nested and they all lie in each of those of exponent pn-2 and pn-1.20112015-12-07