Kernel of GL(n,F) acting on F^n

  • Thread starter Thread starter UD1
  • Start date Start date
  • Tags Tags
    Kernel
Click For Summary
SUMMARY

The kernel of the action of GL(n,F) on F^n consists solely of scalar matrices, specifically scalar multiples of the identity matrix. This conclusion arises from the observation that if a matrix g in GL(n,F) is not a scalar matrix, it is possible to construct a k-dimensional subspace of F^n that is not invariant under the action of g. By extending a vector f and its image Af to a basis, one can demonstrate the existence of such a subspace, confirming that the action is not faithful when k PREREQUISITES

  • Understanding of linear algebra concepts, particularly vector spaces and subspaces.
  • Familiarity with the general linear group, GL(n,F), and its properties.
  • Knowledge of matrix operations and their effects on vector spaces.
  • Experience with the concept of kernel in the context of linear transformations.
NEXT STEPS
  • Study the properties of the general linear group GL(n,F) in more detail.
  • Learn about the action of groups on vector spaces and the implications for subspaces.
  • Explore the concept of faithful actions in group theory.
  • Investigate the relationship between scalar matrices and their role in linear transformations.
USEFUL FOR

Mathematicians, particularly those specializing in linear algebra and group theory, as well as students tackling advanced topics in these areas.

UD1
Messages
19
Reaction score
0

Homework Statement



Suppose GL(n,F) acts on F^n in the usual way. Consider the induced action on the set of all k-dimensional subspaces of F^n. What's the kernel of this action? Is it faithful

The Attempt at a Solution



Well, I anticipate that the kernel of this action consists of scalar matrices, that is scalar multiples of the identity matrix. The question is how to prove that if g in GL(n,F) is a not a scalar matrix then we can always construct a k-dimensional subspace not fixed by g.
 
Physics news on Phys.org
If A is not a multiple of the identity then there is a f such that Af is not proportional to f. Now, assuming k<n, you can construct a k-dimensional subspace such that f is in this subspace and Af is in a complementary subspace. For instance you extend the pair f,Af to a basis and construct your subspaces out of the basis vectors.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
12
Views
2K
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
Replies
3
Views
3K
  • · Replies 26 ·
Replies
26
Views
1K
Replies
1
Views
9K
  • · Replies 7 ·
Replies
7
Views
2K