20 Questions Submissions
You can find the 20 Questions in the 20Questions folder in the 'Files" section of the Canvas site.
Some general remarks about some of the questions I saw:
- “Is the group a quotient group?” — Any group is a quotient group! (Why?)
- “Are the elements of the group integers/rational numbers/real numbers?” — These are great question to pin down what the *set* underlying the group is, but may not help with pinning down the group up to isomorphism. For instance, for any n>0, Z/nZ can be embedded as a subgroup of C-{0} under multiplication (why?).
- Related to the above: “Do the elements consist of rotations of a physical object?” Z/nZ is isomorphic to the group of rotations of an n-gon; but this question will again only help you pin down the “underlying set” of the group, rather than its isomorphism type. A different question could have been: “Is the group a subgroup of the group of rotations of some object?”
- “Is your group operation addition?” Is along similar lines—one could have thought of the Nth roots of unity on the circle, under multiplication; but this is isomorphic to Z/NZ under addition. So perhaps “Are you abelian” would have been a more helpful question, or “Is there a common group isomorphic to your group where the operation is addition” would also have been more helpful.
Some great questions:
- Does the group act (insert adverbial phrase) on (insert set). (e.g., act without fixed points, or act transitively, on a set with K elements, or on R^n.)
- Does the group have any elements of order (insert number)? Also, does the group have K elements of order N?
- Does the group have K subgroups of order N?
- Does the group have K subgroups?
- Is the group isomorphic to a product of two non-trivial groups?
- Does the group have any non-trivial (i.e., not {e} and not G itself) normal subgroups?
- Is it abelian?
- Is it cyclic?
- Did we cover this group in class?
- “What gives you the right?” (after learning the group is of order 324.)
Some of the groups you thought of:
- S^1 (which is actually isomorphic to S^1 x R^n for any n > 0)
- S^1 x Z/2Z
- C under addition (which is actually isomorphic to R^n for any n>0).
- R (which is actually isomorphic to R^n for any n > 0)
- R/Z (which is isomorphic to S^1)
- R/Q
- Z
- Z/1001Z
- Z/3Z x Z/3Z x Z/3Z x Z/3Z x Z/2Z x Z/2Z
- Z/2Z x Z/2Z x Z/2Z
- Z/2Z x Z/4Z
- Z/8Z
- (Q-0, x)
- Q_8
- D_12
- D_24
- D_8
- S_4
- A_4
- Free group on two generators
- Free group on three generators
- Free abelian group on three generators, subject to the relation x=7y (though we haven’t talked about free abelian groups yet)
- O(3)
- GL_3(R)
- GL_2(C)
- GL_2(R)
- SL_2(R)
- The group of all power series where the constant term is not 0, under multiplication of power series.