diff --git a/src/Groups/GAPGroups.jl b/src/Groups/GAPGroups.jl index 8258ae2c012b..56de294fc388 100644 --- a/src/Groups/GAPGroups.jl +++ b/src/Groups/GAPGroups.jl @@ -776,7 +776,7 @@ julia> subgroup_classes(G) Conjugacy class of permutation group in G julia> subgroup_classes(G, order = ZZRingElem(2)) -4-element Vector{GAPGroupConjClass{PermGroup, PermGroup}}: +1-element Vector{GAPGroupConjClass{PermGroup, PermGroup}}: Conjugacy class of permutation group in G ``` """ @@ -821,9 +821,9 @@ julia> G = symmetric_group(5); julia> low_index_subgroup_classes(G, 5) 3-element Vector{GAPGroupConjClass{PermGroup, PermGroup}}: - Conjugacy class of Sym(5) in Sym(5) - Conjugacy class of Alt(5) in Sym(5) - Conjugacy class of permutation group in Sym(5) + Conjugacy class of Sym(5) in G + Conjugacy class of Alt(5) in G + Conjugacy class of permutation group in G ``` """ function low_index_subgroup_classes(G::GAPGroup, n::Int) @@ -1286,7 +1286,7 @@ julia> G = symmetric_group(3); julia> complement_classes(G, derived_subgroup(G)[1]) 1-element Vector{GAPGroupConjClass{PermGroup, PermGroup}}: - Conjugacy class of permutation group in Sym(3) + Conjugacy class of permutation group in G julia> G = dihedral_group(8) Pc group of order 8 diff --git a/src/Groups/sub.jl b/src/Groups/sub.jl index dac8541be699..9588a8657854 100644 --- a/src/Groups/sub.jl +++ b/src/Groups/sub.jl @@ -239,14 +239,11 @@ i.e., those subgroups that are invariant under all automorphisms of `G`. # Examples ```jldoctest -julia> subgroups(symmetric_group(3)) -6-element Vector{PermGroup}: - Permutation group of degree 3 and order 1 - Permutation group of degree 3 and order 2 - Permutation group of degree 3 and order 2 - Permutation group of degree 3 and order 2 +julia> characteristic_subgroups(symmetric_group(3)) +3-element Vector{PermGroup}: + Sym(3) Permutation group of degree 3 and order 3 - Permutation group of degree 3 and order 6 + Permutation group of degree 3 and order 1 julia> characteristic_subgroups(quaternion_group(8)) 3-element Vector{PcGroup}: