Suppose I have a matrix group $G \leq GL_n$, acting on $V = k^n$ in the usual way. Is there some way to calculate the $G$-invariant subspaces of $V$? Failing that, is there an easy way to ask if $V$ is irreducible as a $G$-module?

1 | initial version |

Suppose I have a matrix group $G \leq GL_n$, acting on $V = k^n$ in the usual way. Is there some way to calculate the $G$-invariant subspaces of $V$? Failing that, is there an easy way to ask if $V$ is irreducible as a $G$-module?

2 | No.2 Revision |

Suppose I have a [EDIT: finitely-generated] matrix group $G \leq GL_n$, acting on $V = k^n$ in the usual way. Is there some way to calculate the $G$-invariant subspaces of $V$? Failing that, is there an easy way to ask if $V$ is irreducible as a $G$-module?

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.