gh-39624: Fix Commutator subgroup of permutation group
    
Fixes #39416 as mentioned [here](https://github.com/sagemath/sage/issues
/39416#issuecomment-2689882838)

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies
    
URL: #39624
Reported by: Aditya Khambete
Reviewer(s): Aditya Khambete, Frédéric Chapoton

Author: Release Manager

src/sage/groups/perm_gps/permgroup.py

@@ -3304,9 +3304,17 @@ def commutator(self, other=None):
             Traceback (most recent call last):
             ...
             TypeError: junk is not a permutation group
+
+        TESTS:
+
+        Verify that :issue`39416` is fixed::
+
+            sage: G = PermutationGroup(gens=[(1,2), (2,4)], domain={1, 2, 4})
+            sage: G.commutator()
+            Permutation Group with generators [(1,2,4)]
         """
         if other is None:
-            return PermutationGroup(gap_group=libgap.DerivedSubgroup(self))
+            return PermutationGroup(gap_group=libgap.DerivedSubgroup(self), domain=self.domain())
         else:
             from sage.categories.finite_permutation_groups import FinitePermutationGroups
             if other not in FinitePermutationGroups():