Tag Archives: group theory

How to get GAP4 to describe a group

This is a command that’s tough to Google even if you know it exists.  To get GAP to describe a group with a common, human-readable name, you can use the StructureDescription command, as follows: gap> StructureDescription(Group([(1,3), (1,2,3,4)])); “D8” gap> StructureDescription(Group([(1,3), … Continue reading

Posted in Uncategorized | Tagged , | Leave a comment

An obvious statement which surprised me when I read it

From Baumslag’s “Topics in Combinatorial Group Theory,” chapter V, Exercises 2(3)(iv): is of order e > 2 if, and only if,   for some primitive e-th root of unity . There’s really nothing to this statement — just put the matrix … Continue reading

Posted in Uncategorized | Tagged , | Leave a comment