V is a MeatAxe module over k=GF(p) and it is irreducible but
not absolutely irreducible.
How does one extend the field to the
centralizing subfield of End V?
I've found:
MTX.IsAbsoluteIrreducible( V) and
MTX.DegreeSplittingField( V)
but how do I just reset the field?
I would prefer to have, say, a matrix X in End V such
that V is an absolutely irreducible k[X]-module, rather
than an isomorphic copy of V over an isomorphic copy
of k[X]. But if that is the only way it can be done, that is fine.
Thanks for any help.
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
