"Source: Text/Algebra/AlgBas.text";
"Line: 2045";
"Date: Thu Jun 16 15:34:16 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgBas.text, line: 2045
// Example: H92E13 ()
print "Example: H92E13";
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);
