同构自由群 - SymPy

Isomorphic free groups - SymPy

提问人:Arthur Filippi 提问时间:10/28/2023 更新时间:10/28/2023 访问量:13

问:

我想知道 SymPy 模块(Python)上是否有一个函数可以确定两个自由组是否同构。

例如,给定以下自由组:

F, a, b = free_group("a, b")
F1 = FpGroup(F, [a**2, b**3, (a*b)**4])

G, a, b = free_group("a, b")
G1 = FpGroup(G, [a**3, b**5])

模块 SymPy 中是否有本机函数?

如果没有,我该如何创建这样的函数,仍然使用SymPy工具?

谢谢 恭敬地

自动对焦

Python sympy 符号数学 代数

评论

0赞 Frank Yellin 10/28/2023
请注意,F1 和 G1 不是自由组。它们是有限呈现的组。确定两个自由群是否同构要容易得多。

答: 暂无答案