Add absolute_automorphism_group(::Type{PermGroup}, ...)

oscar-system · Jun 9, 2023 · 5232c62 · 5232c62
1 parent a94bc0e
commit 5232c62
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/experimental/GModule/GaloisCohomology.jl b/experimental/GModule/GaloisCohomology.jl
@@ -28,6 +28,11 @@ function Oscar.automorphism_group(::Type{PermGroup}, K, k)
   return codomain(mH), inv(mH)*mG
 end
 
+function Oscar.absolute_automorphism_group(::Type{PermGroup}, k)
+  G, mG = absolute_automorphism_group(k)
+  mH = isomorphism(PermGroup, G)
+  return codomain(mH), inv(mH)*mG
+end
 
 """
 The natural `ZZ[H]` module where `H`, a subgroup of the