"Source: Text/RepThy/ModAlg.text";
"Line: 5406";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/ModAlg.text, line: 5406
// Example: H99E38 ()
print "Example: H99E38";
ei := GetEchoInput();
SetEchoInput(true);
 G := Sym(5);
 H := Stabiliser(G,5);
 K := GF(5);
 M := IrreducibleModules(H,K)[4];
 M;
 B1 := RightBimodule(M);
 //make KG as right G-module
 eG := [ g: g in G ];
 mats := [];
 for i in [1..Ngens(G)] do
   perm := Sym(#G)![Position(eG, g*G.i) : g in eG ];
   Append(~mats, PermutationMatrix(K,perm));
 end for;
 RM := GModule(G,mats);
 //and as left H-module
 mats := [];
 for i in [1..Ngens(H)] do
   perm := Sym(#G)![Position(eG, H.i*g) : g in eG ];
   Append(~mats, PermutationMatrix(K,perm)^-1);
 end for;
 LM := GModule(H,mats);
 B2 := Bimodule(LM,RM);
 T := TensorProduct(B1,B2);
 T;
 IsIsomorphic(RightModule(T), Induction(M,G));
SetEchoInput(ei);
