Stream: math-comp users

Topic: Isomorphism of finite groups


view this post on Zulip Laura Brædder (Jul 05 2023 at 07:09):

Hello everyone! Does there exist an implementation of the isomorphism between the quotient of integers mod some n (Z/nZ/n) and the finite group with n elements (Zn={0,...,n1}Z_n=\{0,...,n-1\})? More generally, I can't seem to find a connection between the quotient in the fingroup part of math-comp and the quotient in the ssralg part. Does one exist?

view this post on Zulip Cyril Cohen (Jul 05 2023 at 07:15):

Hi! I think you are right and the connexion is missing. Contributions are welcome.

view this post on Zulip Laura Brædder (Jul 05 2023 at 07:21):

Okay, thanks!


Last updated: Jul 15 2024 at 20:02 UTC