Python 3.x 当使用辛时，为什么置换群不是群？

我已经运行了这段代码，很明显我希望结果是

真的

，但事实并非如此。我无法了解有关这种行为的文档，所以如果有人能向我解释，我将不胜感激

from sympy.combinatorics.named_groups import SymmetricGroup

G = SymmetricGroup(3)
print(G.is_group())

[编辑：奇怪的是，我测试了这个，结果是

正确的
：

from sympy.combinatorics import Permutation
from sympy.combinatorics.perm_groups import PermutationGroup
from sympy.combinatorics.named_groups import SymmetricGroup

G = SymmetricGroup(3)
H = PermutationGroup( Permutation(0,1,2) )
print(G.is_normal(H))

]所以我找到了答案，那就是“组”在创建时只存储一个发电机组。要查看这一点，请运行以下只打印两个元素的代码

from sympy.combinatorics.named_groups import SymmetricGroup

G = SymmetricGroup(3)
for i in G:
    print(i)

然而，我现在只剩下一个奇怪的事实，这段代码打印出
True-False
，原因我一直无法发现：

from sympy.combinatorics import Permutation
from sympy.combinatorics.perm_groups import PermutationGroup
from sympy.combinatorics.named_groups import SymmetricGroup

G = PermutationGroup(list(SymmetricGroup(3).generate()))

H = PermutationGroup( Permutation([0,1,2]) ) # This should just be the trivial
                                            # subgroup and therefore normal

print(H.is_subgroup(G), H.is_normal(G))

所以我找到了答案，“组”在创建时只存储一个发电机组。要查看这一点，请运行以下只打印两个元素的代码

from sympy.combinatorics.named_groups import SymmetricGroup

G = SymmetricGroup(3)
for i in G:
    print(i)

然而，我现在只剩下一个奇怪的事实，这段代码打印出
True-False
，原因我一直无法发现：

from sympy.combinatorics import Permutation
from sympy.combinatorics.perm_groups import PermutationGroup
from sympy.combinatorics.named_groups import SymmetricGroup

G = PermutationGroup(list(SymmetricGroup(3).generate()))

H = PermutationGroup( Permutation([0,1,2]) ) # This should just be the trivial
                                            # subgroup and therefore normal

print(H.is_subgroup(G), H.is_normal(G))