On Wed, May 25, 2022 at 6:08 AM Hongyi Zhao <hongyi.z...@gmail.com> 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:
> <r | r ^ n =1>
> If the group operation is addition then:
> <z | n * z = 0 >
> ```
>
> For the first case, the corresponding code snippet in GAP is as follows:
>
> ```
> gap> f:=FreeGroup("P");;
> gap> g:=f/ParseRelators(f, "P^8" );
> <fp group on the generators [ P ]>
> 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.
