Timeline for When is the semidirect product of an elementary abelian group and a cyclic group generated by two elements?
Current License: CC BY-SA 4.0
32 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2018 at 13:34 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes notation: linear application and not group element
|
| Aug 17, 2018 at 18:42 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes a couple of typos
|
| Aug 17, 2018 at 17:12 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes Addendum's statement and proof
|
| Aug 17, 2018 at 7:23 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Puts the addendum on hold: the statement is wrong
|
| Aug 17, 2018 at 6:44 | comment | added | Luc Guyot | @zibadawatimmy I agree with you. I have made changes accordingly. | |
| Aug 17, 2018 at 6:43 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Addresses Zibadawa Timmy's comment
|
| Aug 17, 2018 at 6:38 | comment | added | zibadawa timmy | Leaving part of the proof to the comments is not recommended, as comments can be deleted at any time, and it makes it painful for readers to find what they want even if they remain (especially readers that weren't actively monitoring the Q&A as it unfolded). | |
| Aug 17, 2018 at 6:35 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes terminology
|
| Aug 17, 2018 at 6:27 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Adds the generalization to the case of an arbitrary interger $q$
|
| Aug 16, 2018 at 16:47 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Rewording of the introductory paragraph
|
| Aug 16, 2018 at 5:47 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Outline YCor's claim
|
| Aug 16, 2018 at 5:39 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Outline YCor's claim
|
| Aug 16, 2018 at 5:37 | vote | accept | Pat Devlin | ||
| Aug 16, 2018 at 5:14 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Makes clear we corroborate part of YCor's claim (sufficient condition)
|
| Aug 16, 2018 at 0:12 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Integrates Geoff Robinson's remark
|
| Aug 16, 2018 at 0:09 | comment | added | Luc Guyot | @GeoffRobinson Thanks a lot, this is definitely a good point! I have integrated your comment. | |
| Aug 16, 2018 at 0:07 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Integrates Geoff Robinson's remark
|
| Aug 15, 2018 at 21:20 | comment | added | Geoff Robinson | You might remark that in the situation of the question, the center is a direct factor of the group. | |
| Aug 15, 2018 at 20:13 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes typo: missing "a"
|
| Aug 15, 2018 at 20:08 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes typo: missing "a"
|
| Aug 15, 2018 at 19:25 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes typo: "a structure" --> "the structure"
|
| Aug 15, 2018 at 19:06 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Re-uses the $\nu$-notation and fixes a typo
|
| Aug 15, 2018 at 19:00 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Removes unused variable
|
| Aug 15, 2018 at 18:52 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Removes superfluous divisibility condition on $q$
|
| Aug 15, 2018 at 18:39 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Consider $Z(G) \cap V$ instead of $Z(G)$ since this the relevant subgroup to pass to a quotient group.
|
| Aug 15, 2018 at 18:27 | comment | added | Luc Guyot | @DerekHolt Many thanks, I got it now. It is corrected: $Z(G)$ is two-generated in the aforementioned case. | |
| Aug 15, 2018 at 18:26 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Fixes issue raised by Derek Holt regarding the rank of the center
|
| Aug 15, 2018 at 18:25 | comment | added | Derek Holt | But $X$ is acting trivially on $Z(G)$ so that makes no difference. | |
| Aug 15, 2018 at 18:06 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Removes ambiguity with the word "cyclic"
|
| Aug 15, 2018 at 18:04 | comment | added | Derek Holt | I don't believe that your final sentence is correct. $Z(G)$ can have order $q^2$ and you can choose generators of order $pq$. | |
| Aug 15, 2018 at 17:49 | history | edited | Luc Guyot | CC BY-SA 4.0 |
Consider the case of a non-trivial center
|
| Aug 15, 2018 at 17:29 | history | answered | Luc Guyot | CC BY-SA 4.0 |