For a prime p, we show that uniqueness of factorization into irreducible
Σp2-invariant representations of Z/p≀Z/p
holds if and only if p=2. We also show nonuniqueness of factorization for
Σ8-invariant representations of D8≀Z/2. The
representation ring of Σp2-invariant representations of
Z/p≀Z/p is determined completely when p equals two or
three.Comment: 27 pages. Comments are welcom