In a question, I'm given a group $G=Q_1 \times Q_2 \times \cdots \times Q_t$, where each $Q_i$ is a generalized quaternion group, and told it is a transitive permutation group. But what set does the group permute?
What does this group permute?
-
0Some set. Generally, there are many sets on which a group can act transitively; for example, $G$ acts transtively on itself (by left multiplication), and on the set of left cosets of any subgroup; it acts faithfully and transitively on itself, it acts faithfully and transitively on the set of left cosets of a subgroup if and only if the subgroup is core-free. So the answer is "many different sets, all you know is that you are considering a particular set on which the group acts faithfully and transitively." – 2011-11-26
-
0Are your above results for a general group or my group? Also, if $X$ is this set, then how do I show $G_x=\langle 1\rangle$ for some $x\in X$? As in, how do I use this unknown set? – 2011-11-26
-
0If you insist on only giving us piece-meal information about the problem you are trying to solve, then it will be impossible to give you an answer. There are usually *many* sets on which a group acts faithfully and transitively; they are in bijection with the core-free subgroups of $G$: given any $X$, and $x\in X$, the action is isomorphic to the action of $G$ on the left cosets of $G_x$. So perhaps you are expected to show that *all* transtive faithful actions of $G$ are regular by using this? I don't know, because I don't know what your homework problem states. – 2011-11-26
-
0Apologies for compartmentalizing my question, I was trying to understand specific parts. I have to show that $G$ is regular. I think I need to show that for any subgroup, $H$, of $G$, the core of $H$ in $G$ is trivial. – 2011-11-26
-
0There are several notions of "regularity". One notion of regularity refers to the action of a group on a set, as described above (the action is faithful, and the stabilizer of any point is trivial). For this concept, it generally does not make sense to say "$G$ is regular" without somehow specifying the action a well. But there is a *completely different* notion of regularity which applies specifically to $p$-groups (your group is a $2$-group): a $p$-group is "regular" if and only if for every $x,y\in G$, $(xy)^p = x^py^pz$, where $x$ lies in the commutator subgroup of $\langle x,y\rangle$. – 2011-11-26
-
0Note that the two concepts are not really related to one another. Since *every* group has a regular action (left multiplication on the underlying set of $G$ is a regular, transitive, faithful action), it really makes no sense to ask "Is the group regular?" for the former notion; the latter notion only makes sense for $p$-groups, and is not related *in any way* to actions of $G$ (so it is unlikely to be related to your question, unless "transitive permutation group" is meant to be a red herring). I suspect you are not quoting the question completely; else, it is poorly phrased. – 2011-11-26
-
0Unfortunately this is all I get in the question, a definition of a generalized quaternion group, G as above, G is a transitive permutation group, and asked to prove G is regular - no mention of the underlying set or action. From the lecturers hint, I believe that the second regularity isn't what he's after, and so I need to show the core of any proper subgroup of G is trival. – 2011-11-26
-
1No, you need to show that the core of any nontrivial subgroup is nontrivial. – 2011-11-26
1 Answers
We need one relevant fact about generalized quaternion groups: every element of order dividing 2 in a generalized quaternion group Q is in the center of Q. This is sometimes stated as “a generalized quaternion group has a unique element of order 2.”
Proposition: In a direct product G of generalized quaternion 2-groups (or any 2-group in which elements of order 2 are central), every non-identity subgroup contains at least two elements of the center of G, and in particular is not core-free.
Proof: Suppose G is a direct product of quaternion groups and let H be a non-identity subgroup of G. By Cauchy's theorem H has some element h of order 2. However, the components of h much each have order dividing 2, and so must each come from the center of that component's generalized quaternion group. Hence h itself must be in the center of G. Of course, the identity is the second such element. Now the subgroup generated by h has order 2 and is central, so normal in G, but then it is contained in the core of H in G and H is not core-free.
Corollary: The only transitive action of a direct product of generalized quaternion groups is the regular action.
Proof: A transitive action is specified up to isomorphism by a conjugacy class of core-free subgroups (by the orbit-stabilizer theorem). The only core-free subgroup of such a group is the identity subgroup, which specifies the regular action.
This holds more generally for any direct product of p-groups satisfying the condition that every element of order p is central (which includes abelian groups). Such groups have been studied in several situations and have properties roughly dual to that of powerful p-groups, though with p = 2 it is sometimes more reasonable to assume all elements of order 4 are central, though not in this case.
Itô (1955) studied the groups in which every element of prime order was central and showed that if such a group had odd order, then it was nilpotent (and so just a direct product of p-groups in which every element of order p is central). More generally, Buckley (1970) studied finite groups in which every faithful transitive representation is regular (that is, such that every minimal subgroup is normal). He showed that such a group of odd order must be super-solvable (which is the natural change: if every chief factor is central of prime order, then the group is nilpotent, while if every chief factor is prime order, the group is supersolvable). van der Waall (1976) gave examples of non-supersolvable groups (of even order) in which every faithful transitive permutation representation was regular. Johnson (1971) studied minimal degrees where one does not require the action to be transitive, and then the generalized quaternion groups and cyclic 2-groups are the groups in which the smallest faithful permutation representations is the regular representation.
- Itô, Noboru "Uber eine zur Frattini-Gruppe duale Bildung." Nagoya Math. J. 9 (1955), 123–127. MR74410 URL:euclid.nmj/1118799691
- Buckley, Joseph. "Finite groups whose minimal subgroups are normal." Math. Z. 116 (1970) 15–17. MR262359 DOI:10.1007/BF01110184
- Johnson, D. L. "Minimal permutation representations of finite groups." Amer. J. Math. 93 (1971), 857–866. MR316540 DOI:10.2307/2373739
- van der Waall, Robert W. "On minimal subgroups which are normal." J. Reine Angew. Math. 285 (1976), 77–78. MR414697 DOI:10.1515/crll.1976.285.77 GDZ:PPN002192381
-
0In your corollary, you state "A transitive action is specified up to isomorphism by a conjugacy class of core-free subgroups (by the orbit-stabilizer theorem)". Could you please explain how? – 2011-11-27
-
0@Zeophlite: In this situation, all you need is the definition of regular: transitive with the identity as the stabilizer. – 2011-11-27