"Source: Text/Algebra/AlgBas.text";
"Line: 2063";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgBas.text, line: 2063
// Example: H94E13 ()
print "Example: H94E13";
ei := GetEchoInput();
SetEchoInput(true);
G := SmallGroup(32,7);
A := BasicAlgebra(G);
C, mu := Center(A);
X := RightRegularModule(A);
Z := JacobsonRadical(X);
L := Restriction(Z,C,mu);
L;
A eq Algebra(L);
IndecomposableSummands(L);
Dimension(Socle(L));
assert $1 eq 16;
U := ideal<A|[A.13 +A.17]>;
Q, theta := quo<A|U>;
X := ProjectiveModule(Q,1);
Y := ChangeAlgebras(X,A,theta);
Y;
SetEchoInput(ei);
