[GAP Forum] Extending fields of matrices.

James B. Wilson wilson at math.ohio-state.edu
Tue Nov 18 18:26:05 GMT 2008

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.

More information about the Forum mailing list