Re: [sage-support] Creat fp group using addition relation.
On Wednesday, May 25, 2022 at 6:22:48 PM UTC+8 wdjo...@gmail.com wrote: > On Wed, May 25, 2022 at 6:08 AM Hongyi Zhao wrote: > > > > As commented here [1], the following two methods can be used to define > an Cyclic Group: > > > > ``` > > Generators > > If the group operation is multiplication then: > > > > If the group operation is addition then: > > > > ``` > > > > For the first case, the corresponding code snippet in GAP is as follows: > > > > ``` > > gap> f:=FreeGroup("P");; > > gap> g:=f/ParseRelators(f, "P^8" ); > > > > gap> StructureDescription(g); > > "C8" > > ``` > > > > But I'm not sure if GAP also supports the second method mentioned above > to define a group. > > > > While SageMath does use GAP for a lot of group theory, it uses different > command > syntax for cyclic groups. In SageMath, you can use both > CyclicPermutationGroup(8) > for the multiplicative cyclic group of order 8, or > IntegerModRing(8) > for the additive version. Thank you for your tips and tricks. In fact, I'm working in SageMath with GAP, so I'm interested in the additive version implemented in GAP, and am not sure if it also such a counterpart. Best, HZ > Please see the additional examples given in > the tutorials > https://doc.sagemath.org/html/en/thematic_tutorials/group_theory.html > and > https://doc.sagemath.org/html/en/constructions/groups.html > > > > [1] > http://www.euclideanspace.com/maths/discrete/groups/categorise/types/abelian/cyclic/index.htm > > > > > Regards, > > HZ > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-support" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-support...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-support/2115f35e-b2a8-406d-87a7-0c7748b636e1n%40googlegroups.com. > > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/6ad8b899-b3c5-4b8e-89ed-9065698660e6n%40googlegroups.com.
Re: [sage-support] Creat fp group using addition relation.
On Wed, May 25, 2022 at 6:08 AM Hongyi Zhao wrote: > > As commented here [1], the following two methods can be used to define an > Cyclic Group: > > ``` > Generators > If the group operation is multiplication then: > > If the group operation is addition then: > > ``` > > For the first case, the corresponding code snippet in GAP is as follows: > > ``` > gap> f:=FreeGroup("P");; > gap> g:=f/ParseRelators(f, "P^8" ); > > gap> StructureDescription(g); > "C8" > ``` > > But I'm not sure if GAP also supports the second method mentioned above to > define a group. > While SageMath does use GAP for a lot of group theory, it uses different command syntax for cyclic groups. In SageMath, you can use both CyclicPermutationGroup(8) for the multiplicative cyclic group of order 8, or IntegerModRing(8) for the additive version. Please see the additional examples given in the tutorials https://doc.sagemath.org/html/en/thematic_tutorials/group_theory.html and https://doc.sagemath.org/html/en/constructions/groups.html > [1] > http://www.euclideanspace.com/maths/discrete/groups/categorise/types/abelian/cyclic/index.htm > > Regards, > HZ > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-support/2115f35e-b2a8-406d-87a7-0c7748b636e1n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAEQuuAUV4iNZPTYxSgEVpAhiQxWFdK6NfyeU-kwNfsO2YdsJ0A%40mail.gmail.com.
[sage-support] Creat fp group using addition relation.
As commented here [1], the following two methods can be used to define an Cyclic Group: ``` Generators If the group operation is multiplication then: If the group operation is addition then: ``` For the first case, the corresponding code snippet in GAP is as follows: ``` gap> f:=FreeGroup("P");; gap> g:=f/ParseRelators(f, "P^8" ); gap> StructureDescription(g); "C8" ``` But I'm not sure if GAP also supports the second method mentioned above to define a group. [1] http://www.euclideanspace.com/maths/discrete/groups/categorise/types/abelian/cyclic/index.htm Regards, HZ -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/2115f35e-b2a8-406d-87a7-0c7748b636e1n%40googlegroups.com.