Timeline for A possible presentation with 2 generators and 2 relators for $C_4 \cdot D_8$
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 20, 2015 at 9:22 | comment | added | Alireza Abdollahi | @ahulpke: Thanks for the information given by email! I will be happy if you could enter them as a comment! | |
| Jun 20, 2015 at 9:20 | comment | added | Alireza Abdollahi | @DerekHolt: Thanks for the information. | |
| Jun 19, 2015 at 7:31 | comment | added | Derek Holt | I am not aware of any work on minimal presentations of $2$-groups that goes further than $2^6$, which was done by Wamsley a long time ago. BTW, the groups of order $2^{10}$ are not currently in the GAP library. The total number of such groups is known, but they have not been listed individually. | |
| Jun 18, 2015 at 20:05 | comment | added | Alireza Abdollahi | @ahulpke Thanks. Could you please let me know your opinion about the following question: mathoverflow.net/questions/209438/… | |
| Jun 18, 2015 at 20:04 | comment | added | Alireza Abdollahi | @DerekHolt Thanks. Could you please let me know your opinion about the following question: mathoverflow.net/questions/209438/… | |
| Jun 18, 2015 at 17:55 | comment | added | Derek Holt | My search didn't really take long. I tried missing out the second relator and found that gave a group of order $96$, which looked promising. Since $x$ and $y$ should both have order $8$, I tried replacing the $x^3$ in the original presentation by $x^{-5}$, knowing that tricks like that often work. | |
| Jun 18, 2015 at 15:08 | comment | added | ahulpke | @AlirezaAbdollahi Often such presentations are found by brute force search : For a generating set, run through all words up to a certain length to see which are relators, then take combinations of relators and see whether a coset enumeration happens to terminate and prove the result. | |
| Jun 18, 2015 at 10:41 | history | edited | Derek Holt | CC BY-SA 3.0 |
added 1 character in body
|
| Jun 18, 2015 at 10:11 | comment | added | Alireza Abdollahi | In the reference, $2n$ should be $2^n$. | |
| Jun 18, 2015 at 8:12 | comment | added | Alireza Abdollahi | @ Many thanks. Could you please give a bit explanation how you get this presentation? | |
| Jun 18, 2015 at 8:10 | vote | accept | Alireza Abdollahi | ||
| Jun 18, 2015 at 8:09 | history | edited | Derek Holt | CC BY-SA 3.0 |
added 267 characters in body
|
| Jun 18, 2015 at 8:03 | history | answered | Derek Holt | CC BY-SA 3.0 |