diff --git a/library/theories/group_theory/action.lean b/library/theories/finite_group_theory/action.lean
similarity index 100%
rename from library/theories/group_theory/action.lean
rename to library/theories/finite_group_theory/action.lean
diff --git a/library/theories/group_theory/cyclic.lean b/library/theories/finite_group_theory/cyclic.lean
similarity index 100%
rename from library/theories/group_theory/cyclic.lean
rename to library/theories/finite_group_theory/cyclic.lean
diff --git a/library/theories/group_theory/finsubg.lean b/library/theories/finite_group_theory/finsubg.lean
similarity index 100%
rename from library/theories/group_theory/finsubg.lean
rename to library/theories/finite_group_theory/finsubg.lean
diff --git a/library/theories/group_theory/group_theory.md b/library/theories/finite_group_theory/group_theory.md
similarity index 100%
rename from library/theories/group_theory/group_theory.md
rename to library/theories/finite_group_theory/group_theory.md
diff --git a/library/theories/group_theory/hom.lean b/library/theories/finite_group_theory/hom.lean
similarity index 100%
rename from library/theories/group_theory/hom.lean
rename to library/theories/finite_group_theory/hom.lean
diff --git a/library/theories/group_theory/perm.lean b/library/theories/finite_group_theory/perm.lean
similarity index 100%
rename from library/theories/group_theory/perm.lean
rename to library/theories/finite_group_theory/perm.lean
diff --git a/library/theories/group_theory/pgroup.lean b/library/theories/finite_group_theory/pgroup.lean
similarity index 100%
rename from library/theories/group_theory/pgroup.lean
rename to library/theories/finite_group_theory/pgroup.lean
diff --git a/library/theories/group_theory/subgroup.lean b/library/theories/finite_group_theory/subgroup.lean
similarity index 100%
rename from library/theories/group_theory/subgroup.lean
rename to library/theories/finite_group_theory/subgroup.lean
diff --git a/library/theories/theories.md b/library/theories/theories.md
index 7e03be802..4b2a8c301 100644
--- a/library/theories/theories.md
+++ b/library/theories/theories.md
@@ -3,7 +3,7 @@ theories
 
 * [number_theory](number_theory/number_theory.md)
 * [combinatorics](combinatorics/combinatorics.md)
-* [group_theory](group_theory/group_theory.md)
+* [finite_group_theory](group_theory/group_theory.md) : group theory based on finsets
 * [topology](topology/topology.md)
 * [analysis](analysis/analysis.md)
 * [measure_theory](measure_theory/measure_theory.md)
\ No newline at end of file