Example non isotypic decomposition

aidevnn · Jun 4, 2024 · b3bab8f · b3bab8f
1 parent 3c83e62
commit b3bab8f
Showing 1 changed file with 23 additions and 1 deletion.
diff --git a/FastGoat/Examples/GroupMatrixFormPart2.cs b/FastGoat/Examples/GroupMatrixFormPart2.cs
@@ -648,7 +648,7 @@ public static void ExampleMetaCyclicGroupsRepresentations()
     public static void ExampleGroupsRepresentations()
     {
         GlobalStopWatch.Restart();
-        var maxOrd = 32;
+        var maxOrd = 48;
         foreach (var (g, mtGL, matSubgrs, names) in FG.AllGroupsOfOrder(1, maxOrd).Select(sg => MatrixFormOfGroup(sg)))
         {
             FG.DisplayName(mtGL, matSubgrs, names, false, false, true, 20);
@@ -657,5 +657,27 @@ public static void ExampleGroupsRepresentations()
 
         GlobalStopWatch.Show("END");
         Console.Beep();
+
+        // All groups of order up to 48
+        // END Time:11m50s
+        //
+        // Irreductible:141 groups
+        // Reductible, Isotypic components:107 groups
+        // Non Isotypic decomposition:2 groups, C2 x SL(2,3), SL(2,3) x: C2
+    }
+
+    public static void ExampleNonIsotypicDecomposition()
+    {
+        GlobalStopWatch.Restart();
+        var c2sl23 = FG.WordGroup("C2 x SL(2,3)", "a4, b3, c2, ababab, caca-1, cbcb-1, a2ba2b-1");
+        var sl23byc2 = FG.WordGroup("SL(2,3) x: C2", "a4, c3, a2b2, abab, acacac, cbc-1b-1");
+        foreach (var (g, mtGL, matSubgrs, names) in new[] { c2sl23, sl23byc2 }.Select(sg => MatrixFormOfGroup(sg)))
+        {
+            FG.DisplayName(mtGL, matSubgrs, names, false, false, true, 20);
+            GetCharacter(mtGL, matSubgrs);
+        }
+
+        GlobalStopWatch.Show("END");
+        Console.Beep();
     }
 }