"Source: Text/Commut/RngInvar.text";
"Line: 674";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/RngInvar.text, line: 674
// Example: H120E4 ()
print "Example: H120E4";
ei := GetEchoInput();
SetEchoInput(true);
q := 5;
K := GF(q); 
G := GL(3, K); 
P<x, y, z> := PolynomialRing(K, 3);
I := ideal< P | x^5 - x,y^5 - y, z^5 - z >;
Q, rho := quo< P | I >;
f := x^3 + x^2*y + y^3;
M, phi:= GModule(G, P, I);
Constituents(M);
N := sub<M | phi(f)>;
N;
M5 := GModule(G, P, 5);
M5;
Constituents(M5);
SetEchoInput(ei);
