Return to Revisions

By definition, G is unipotent if and only if every nonzero representation has nonzero fixed vectors. Consider a representation V of G. As N is unipotent, $V^N$ is nonempty. Because N is normal, it is stable under G, hence under G/N, and hence has nonzero fixed vectors (because G/N is unipotent).