Skip to content

Commit

Permalink
Remove duplicate sylow_subgroup code
Browse files Browse the repository at this point in the history
Co-authored-by: Stevell Muller <muller@math.uni-sb.de>
  • Loading branch information
lgoettgens and StevellM committed Jan 26, 2024
1 parent 6d49b1e commit 749e7e4
Showing 1 changed file with 0 additions and 17 deletions.
17 changes: 0 additions & 17 deletions src/Groups/GrpAb.jl
Original file line number Diff line number Diff line change
Expand Up @@ -282,23 +282,6 @@ solvable_radical(G::GrpAbFinGen) = (G, identity_map(G))
# complement_class_reps(G::T, N::T) where T <: GrpAbFinGen
# complement_system(G::GrpAbFinGen)

function sylow_subgroup(G::GrpAbFinGen, p::IntegerUnion)
@req is_finite(G) "G is not finite"
@req is_prime(p) "p is not a prime"
subgens = GrpAbFinGenElem[]
for x in gens(G)
ord = order(x)
while mod(ord, p) == 0
ord = divexact(ord, p)
end
x = ord*x
if !is_zero(x)
push!(subgens, x)
end
end
return sub(G, subgens)
end

function sylow_system(G::GrpAbFinGen)
@req is_finite(G) "G is not finite"
result = GrpAbFinGen[]
Expand Down

0 comments on commit 749e7e4

Please sign in to comment.