Is there some natural or character-theoretic description of the minimum value of

dsuch thatGhas a regular orbit onΩ, where^{d}Gis a finite group acting faithfully on a setΩ?

Motivation:

In some cases, there are so many kinds of orbits ofGonΩthat every subgroup ofGappears as a point-stabilizer. However, these actions are quite rare, even in the case of a point group of a group of Euclidean isometries. (The only such actions in 2D are C_{1}, D_{1}, and C_{p}for primesp. This follows because rotation subgroups only stabilize the origin.)(example for D4 by Bill Cook).

If we allow the group to act on subsets too, then we may have better luck. See for instance, the lovely example of dihedral groups and cyclic groups acting naturally on the Euclidean plane as Rosette groups. Here one can take various natural subsets of the polygon to get all subgroups.

In general a finite point group of a group of Euclidean isometries has a regular orbit, and the blocks of that orbit suffice to specify all subgroups (there is a 1-1 correspondence between subgroups containing a point stabilizer and blocks of the orbit given, and this correspondence is given by the set-wise stabilizer). This is true more generally for small groups acting on large vector spaces (if

Visn-dimensional overKand |G|−1 < 1+|K|+…+|K|^{n−1}, thenGhas a regular orbit onVin any faithful, linear action ofGonV; in particular finite groups acting on infinite vector spaces are fine).However, determining which medium-ish linear groups over medium-ish vector spaces have regular orbits is really hard, as far as I know. I wondered if it was much easier if we allowed one to replace

VbyV⊕V. Certainly we can replaceVbyV(taking^{V}d=|V|), but that is a bit extreme.Is there some reasonable value of

dthat can be read from the permutation character ofGonΩ, from the (Brauer) character ofGonV, or some other natural invariant of the action ofGonΩ?An expression for the minimum would be nice, but even some decent bound on

din terms of invariants would be fine.To identify Galois groups, one also looks for certain invariants for polynomials, and I believe what I am asking is relevant to how complicated such invariants need to be. GAP for instance takes

d≤ 5, I think (and used to taked≤ 3, I think), but it has lots of “backup” routines to identify various other subgroups, possibly for efficiency, but possibly because one cannot choosedthat small in general.

**Answer**

This has been open for nearly nine years and is the top-rated unanswered question on Group Theory. So it deserves an answer, even though the questioner appears to no longer come round these parts.

First, something easy. Let $V$ be a $kG$-module, which we will assume is faithful.

Lemma: if $G$ possesses at most $m$ subgroups of prime order, and $|k|\geq m$ then $G$ has a regular orbit on $V$.

The proof is clear: each element of prime order centralizes a proper subspace of $V$. Since $V$ is not the union of $m$ proper subspaces, there is a point $x$ not centralized by any element of order $p$. Thus $x$ lies in a regular orbit. (You can obviously do much better than $m$ here, but this is the easiest to state.)

This deals with $k$ of characteristic $0$, of course. The best results are when $\gcd(|G|,|k|)=1$. Here we use a result of Halasi–Podoski from *Every coprime linear group admits a base of size two*. This states that any faithful module has base size $2$, i.e., there exist two points, $x,y\in V$, such that $C_G(x)\cap C_G(y)=1$. Thus if $W$ is a faithful $kG$-module and $W\oplus W$ is a submodule of $V$ then $G$ has a regular orbit on $W\oplus W\leq V$.

Thus if $V$ is a faithful $kG$-module then $V\otimes V$ contains two non-isomorphic faithful modules, namely $\Lambda^2(V)$ and $S^2(V)$. The tensor product of the two contains two copies of $\Lambda^2(V)\otimes S^2(V)$, so there is always a regular orbit in $V^{\otimes 4}$.

If $V$ is a permutation module then $V=1\oplus W$, and $W\oplus W\leq V\otimes V$. Hence there is a regular orbit in $V^{\otimes 2}$. This of course generalizes to $V$ an arbitrary sum of modules, but we have to be a little careful to make sure that $V\otimes V$ is faithful.

I would guess that even when $V$ is simple that $G$ has a regular orbit on $V\otimes V$, but this has not been proved, as far as I know.

Having dealt with the coprime case, we look at the general case. Here the base size can be greater than $2$. Some recent papers of Melissa Lee give bounds on base sizes for quasisimple groups, but as far as I know this looks quite hard. Note that a result of Auslander–Carlson states that if $V$ is absolutely indecomposable and of dimension divisible by $p=\mathrm{char}(k)$, then $V\otimes V^*\otimes V$ contains $V\oplus V$. This means that in that situation we do obtain two summands isomorphic to $V$ in $V^{\otimes 3}$, whenever $V$ is self-dual. Thus we may exploit base sizes again. In general, of course, knowing composition factors of $V^{\otimes n}$ doesn’t help you too much, because you need composition factors of the socle to guarantee that you achieve a regular orbit.

My guess would be that if $V=W_1\oplus W_2$ and each $W_i$ has base size $2$, then with few exceptions $V$ possesses a regular orbit.

**Attribution***Source : Link , Question Author : Jack Schmidt , Answer Author : David A. Craven*