Small linearly equivalent $G$-sets and a construction of Beaulieu

Abstract

Two $G$-sets ($G$ a finite group) are called linearly equivalent over a commutative ring $k$ if the permutation representations $k[X]$ and $k[Y]$ are isomorphic as modules over the group algebra $kG$. Pairs of linearly equivalent non-isomorphic $G$-sets have applications in number theory and geometry. We characterize the groups $G$ for which such pairs exist for any field, and give a simple construction of these pairs. If $k$ is $\Q$, these are precisely the non-cyclic groups. For any non-cyclic group, we prove that there exist $G$-sets which are non-isomorphic and \lineq over $\Q$, of cardinality $\leq 3(#G)/2$. Also, we investigate a construction of P. Beaulieu which allows us to construct pairs of transitive linearly equivalent $S_n$-sets from arbitrary $G$-sets for an arbitrary group $G$. We show that this construction works over all fields and use it construct, for each finite set $\mc P$ of primes, $S_n$-sets linearly equivalent over a field $k$ if and only if the characteristic of $k$ lies in $\mc P$.

arXiv commentv2: fixed proof of Lemma 2.1

Cited by in corpus (1)

• On unitary 2-representations of finite groups and topological quantum field theory