Proof Vector Space is Simple over Set of all Endomorphisms First, sorry that the title is a bit messy - here is what I want to ask: Let $V$ be a finite dimensional vector space over the field $K$ , and let $S$ be the set of all linear maps (endomorphisms) of $V$ into itself. Show that $V $ is a simple $S$-space, that is the only $S$-invariant subspaces of $V$ are $V$ itself and the zero subspace. Does anyone have any idea how to do this? Thanks
 A: If by "$S$-invariant subspace" you mean "subspace which is invariant under every $f\in S$," then the statement doesn't even need the finite dimensional hypothesis.
Suppose $A\subset V$ is a nontrivial subspace. Then let $\alpha\in A$ be nonzero, and let $\beta\in V\setminus A$ (note that since $0\in A$ we have $\beta\not=0$ trivially). Since $A$ is a subspace, the set $\alpha,\beta$ is linearly independent (why?). So - by the Axiom of Choice - we may find a basis $B$ of $V$ with $\alpha,\beta\in B$.
Now consider the function $\pi: B\rightarrow B$ swapping $\alpha$ and $\beta$ and leaving all other elements of $B$ fixed. This extends to a unique $f\in S$, since $B$ is a basis of $V$; and $A$ is clearly not $f$-invariant.

Note that this invokes the axiom of choice to get a basis for $V$. Without the axiom of choice, bases for arbitrary vector spaces need not exist. If $V$ is finite-dimensional, though, the axiom of choice is not needed.
I am not sure whether AC is needed for the general case, but I suspect it is.
A: Let $W$ be a non-zero $S$-invariant subspace of $V$ and $dimW=r\leq n$. Consider an ordered basis $B_V=\{v_1,\ldots,v_n\}$ of $V$ and an ordered basis $\{w_1,\ldots,w_r\}$ of $W$. We complete $B_W$ into an ordered basis $B_W=\{w_1,\ldots,w_r,w_{r+1},\ldots,w_n\}$ of $V$, where $w_{r+1},\ldots,w_n\not\in W$. Now, the linear map $A$ of the change of basis $B_W$ to $B_V$ belongs to $S$ and $Aw_i=v_i$. By our hypothesis, $W$ is $S$-invariant, so $v_i$ belongs to $W$ for every $i=1,\ldots,r$. 
We can apply this argument to every possible ordering of the elements of $B_V$ and of $B_W$ and this way we have shown that $v_i\in W$ for every $i=1,\ldots,n$. Thus $V=W$.
