add the library of groups with at most 14 conjugacy classes (#4409)

oscar-system · Dec 26, 2024 · d1d6926 · d1d6926
1 parent cd79a0b
commit d1d6926
Show file tree

Hide file tree

Showing 8 changed files with 626 additions and 3 deletions.
diff --git a/docs/oscar_references.bib b/docs/oscar_references.bib
@@ -2489,6 +2489,32 @@ @Article{Tur18
   doi           = {10.1016/j.algebra.2018.06.013}
 }
 
+@Article{V-LV-L85,
+  author        = {Vera López, Antonio and Vera López, Juan},
+  title         = {Classification of finite groups according to the number of conjugacy classes},
+  mrnumber      = {804489},
+  journal       = {Israel J. Math.},
+  fjournal      = {Israel Journal of Mathematics},
+  volume        = {51},
+  number        = {4},
+  pages         = {305--338},
+  year          = {1985},
+  doi           = {10.1007/BF02764723}
+}
+
+@Article{V-LV-L86,
+  author        = {Vera López, Antonio and Vera López, Juan},
+  title         = {Classification of finite groups according to the number of conjugacy classes. {II}},
+  mrnumber      = {880291},
+  journal       = {Israel J. Math.},
+  fjournal      = {Israel Journal of Mathematics},
+  volume        = {56},
+  number        = {2},
+  pages         = {188--221},
+  year          = {1986},
+  doi           = {10.1007/BF02766124}
+}
+
 @Misc{VE22,
   author        = {Vaughan-Lee, Michael and Eick, Bettina},
   title         = {SglPPow, Database of groups of prime-power order for some prime-powers, Version 2.3},
@@ -2498,6 +2524,19 @@ @Misc{VE22
   url           = {https://gap-packages.github.io/sglppow/}
 }
 
+@Article{VS07,
+  author        = {Vera-López, A. and Sangroniz, Josu},
+  title         = {The finite groups with thirteen and fourteen conjugacy classes},
+  mrnumber      = {2308490},
+  journal       = {Math. Nachr.},
+  fjournal      = {Mathematische Nachrichten},
+  volume        = {280},
+  number        = {5-6},
+  pages         = {676--694},
+  year          = {2007},
+  doi           = {10.1002/mana.200410508}
+}
+
 @InCollection{Vin75,
   author        = {Vinberg, E. B.},
   title         = {Some arithmetical discrete groups in Lobacevsky spaces},

diff --git a/docs/src/Groups/grouplib.md b/docs/src/Groups/grouplib.md
@@ -127,6 +127,21 @@ small_group
 small_group_identification
 ```
 
+## Groups with a small number of conjugacy classes
+
+The functions in this section give access to the groups with
+up to 14 conjugacy classes.
+These groups have been classified in [V-LV-L85](@cite), [V-LV-L86](@cite),
+[VS07](@cite).
+
+```@docs
+all_groups_with_class_number
+has_number_of_groups_with_class_number
+has_groups_with_class_number
+number_of_groups_with_class_number
+group_with_class_number
+```
+
 ## Atlas of Group Representations
 
 The functions in this section give access to data in the