Difference between revisions of "ApCoCoA-1:GroupsToCheck"
From ApCoCoAWiki
| Line 51: | Line 51: | ||
Notes: Since I cannot implement "for all n in Z" the user has to define a maximum n (= MEMORY.N). Until this boundary | Notes: Since I cannot implement "for all n in Z" the user has to define a maximum n (= MEMORY.N). Until this boundary | ||
the group will be created. | the group will be created. | ||
| + | Tetraeder group | ||
| + | Checked: Done | ||
| + | Notes: -- | ||
| + | Oktaeder group | ||
| + | Checked: Done | ||
| + | Notes: -- | ||
| + | Ikosaeder group | ||
| + | Checked: Done | ||
| + | Notes: -- | ||
| + | Symmetric groups | ||
| + | Checked: Done | ||
| + | Notes: -- | ||
| + | Quaternion group | ||
| + | Checked: Done | ||
| + | Notes: Prof. Kreuzer gave me a list of groups and on this list the representation differs a lot with the one I used. Please | ||
| + | check if I'm right with this representation. | ||
| + | Comment: It is right.. | ||
| + | Tits group | ||
| + | Checked: Done | ||
| + | Notes: -- | ||
Revision as of 06:58, 10 September 2013
Inserted Groups
Baumslag-Gersten Group
Checked: Done Notes: --
Braid Group
Checked: Done Notes: --
Cyclic Group
Checked: Done Notes: --
Dicyclic Group
Checked: Done Notes: I added two different implementations, one with explicit invers elements and one without. I think the second one is the right one. The computation of the first implementation results in a GB with size 2812, the second one with size 901. Comment: The implementation in the page is correct.
Dihedral Group
Checked: Done
Notes: It follows, that a^{-1} = a^{2n-1} and that b^{4} = 1 (second equation) --> b^{-1} = b^{3}
My question is, do I have to implement the last equation with b^{3} instead of b^{-1} or should
I use 4 generators (a invers to c, b invers to d)?
Comment: The implementation in the page is already enough for this group. For your question, I would like to
suggest that we should try to add as few extra relations as possible.
von Dyck Group
Checked: Done Notes: A useful reference is still missing
Free abelian Group
Checked: Done Notes: --
Free Group
Checked: Done Notes: --
Fibonacci Group
Checked: Done Notes: --
Heisenberg Group
Checked: Done Notes: The matrix in the description will be added as a picture, then it will look much better. At the moment we cannot upload pictures to the server, but I contacted Stefan, there will be a solution soon.
Higman Group
Checked: Done Notes: --
Ordinary Tetrahedron Groups
Checked: Done
Notes: I used the implicit inverse elements: We know that x^{e_1} = 1, it follows that x^{e_1 - 1} is the inverse, and so on..
Please check, if I'm right.
Comment: You are correct.
Lamplighter Group
Checked: Done Notes: Since I cannot implement "for all n in Z" the user has to define a maximum n (= MEMORY.N). Until this boundary the group will be created.
Tetraeder group
Checked: Done Notes: --
Oktaeder group
Checked: Done Notes: --
Ikosaeder group
Checked: Done Notes: --
Symmetric groups
Checked: Done Notes: --
Quaternion group
Checked: Done Notes: Prof. Kreuzer gave me a list of groups and on this list the representation differs a lot with the one I used. Please check if I'm right with this representation. Comment: It is right..
Tits group
Checked: Done Notes: --
