General linear group over subspace is conjugacy-closed
This article gives the statement, and proof, of a particular subgroup in a group being conjugacy-closed: in other words, any two elements of the subgroup that are conjugate in the whole group, are also conjugate in the subgroup
View a complete list of such instances/statements
Statement
Suppose is a finite-dimensional vector space over a field , written as a direct sum of subspaces and . Then, consider the map:
that sends a linear map on to a linear map on that behaves the same way on and is the identity on . This is an injective homomorphism, hence we can identify with a subgroup of .
Then, if are such that the images and are conjugate in , then are conjugate in .