Advanced Search

Question: The NormalSeries of maple is different with textbook?

Question:The NormalSeries of maple is different with textbook?

jud 155 Maple 2022
June 13 2022
2

As we know, when every Gi is normal in G, then the series is called a normal series:

cs := CompositionSeries(DihedralGroup(8))

We can draw it:

DrawSubgroupLattice(DihedralGroup(8), labels = ids, highlight = cs)

And all Gi is normal in G:

IsNormal~(cs, DihedralGroup(8))

[true, true, true, true, true]

But why type(cs, 'NormalSeries') will get false.. It is a bug or do I have a misunderstanding?
Please Wait...