Thomas Breuer

These questions arise just because you want to assign a degree to any permutation. Logically, this is unnecessary. Technically, defining a degree makes sense if one thinks about the internal...

Concerning `simplify`: If the idea is to get some "nicer" isomorphic group and the isomorphism to it then it would be natural to switch to a pc group from a...

Concerning the question > @ThomasBreuer would you please take over from here? Yes, I can do this. Currently this looks to me like first addressing the comments added by @fingolfin.

What about the following: Elements of free groups lie in `IsAssocWordWithInverse`. Elements of free monoids lie in `IsAssocWordWithOne`. Elements of free semigroups lie in `IsAssocWord`. Or perhaps it is better...

> Similarly, Z is isomorphic to the free group on one generator, but its elements should not be regarded as associative words. On the one hand, one has to distinguish...

> > Elements of free groups lie in `IsAssocWordWithInverse`. Elements of free monoids lie in `IsAssocWordWithOne`. Elements of free semigroups lie in `IsAssocWord`. > > That would be inconsistent with...

> is there any reason why this does not make use of GAP's `WreathProductElementList`? One reason could be that one prefers Julia error messages to GAP error messages, but I...

Just to clarify the aim of this issue: - We want that GAP runs without PrimGrp/SmallGrp/TransGrp (perhaps slower than with these packages), thus the library code has to be changed...

More instances of this bug: - `isometry_group` in the section "Groups"/"Kinds of groups"/"Matrix groups" (#5437, a duplicate of the current issue) - `tr` in the section "Linear Algebra"/"Matrix functionality"

Good idea. Concerning a global replacement of the string `MatrixGroup` by `MatGroup`, this would also affect a module name `MatrixGroups` in `experimental`, but otherwise there is no problem.