diff --git a/src/Groups/GAPGroups.jl b/src/Groups/GAPGroups.jl index e3f0cf7d15b7..a567060d484d 100644 --- a/src/Groups/GAPGroups.jl +++ b/src/Groups/GAPGroups.jl @@ -876,8 +876,8 @@ julia> G = symmetric_group(5); julia> low_index_subgroup_classes(G, 5) 3-element Vector{GAPGroupConjClass{PermGroup, PermGroup}}: Conjugacy class of Sym(5) in G - Conjugacy class of Alt(5) in G Conjugacy class of permutation group in G + Conjugacy class of Alt(5) in G ``` """ function low_index_subgroup_classes(G::GAPGroup, n::Int) diff --git a/src/Groups/directproducts.jl b/src/Groups/directproducts.jl index c7e71a500746..df8f48083015 100644 --- a/src/Groups/directproducts.jl +++ b/src/Groups/directproducts.jl @@ -33,14 +33,14 @@ julia> elements(G) (4,5) (2,3) (2,3)(4,5) - (1,2) - (1,2)(4,5) - (1,2,3) - (1,2,3)(4,5) (1,3,2) (1,3,2)(4,5) (1,3) (1,3)(4,5) + (1,2,3) + (1,2,3)(4,5) + (1,2) + (1,2)(4,5) ``` """ function direct_product(L::AbstractVector{<:GAPGroup}; morphisms::Bool=false) diff --git a/src/Groups/homomorphisms.jl b/src/Groups/homomorphisms.jl index 95b21f189792..91f49b79353a 100644 --- a/src/Groups/homomorphisms.jl +++ b/src/Groups/homomorphisms.jl @@ -506,10 +506,10 @@ Pc group of order 6 julia> iso = isomorphism(PermGroup, G) Group homomorphism from pc group of order 6 - to permutation group of degree 6 and order 6 + to permutation group of degree 3 and order 6 julia> permutation_group(G) -Permutation group of degree 6 and order 6 +Permutation group of degree 3 and order 6 julia> codomain(iso) === ans true