Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have to show following things and have no idea what I have to do at b)

a) $GL(n,K) \times K^{n \times m} \rightarrow K^{n \times m}: (g,A) \mapsto gA$ is a group action.
b) The Rank is an invariant of this group action.
c) Rank is a separating invariant (Proof/Counter Example)

a) With the identity matrix $E_n \in GL(n,K)$ follows: $E_n \cdot A = A$ for all $A \in K^{n \times m}$. And since matrix multiplication is associative, $(gh)m = g(hm)$ for all $g,h \in GL(n,K)$ and all $m \in K^{n \times m}$.

How do I show, that the rank is an invariant?

share|cite|improve this question
How to solve c)? – David Chan Mar 26 '15 at 12:59
up vote 1 down vote accepted

Part b) is equivalent to the following: Given an $n \times m$ matrix $B$ and an invertible $n \times n$ matrix $A$, prove that the rank of $AB$ is equal to the rank of $B$. Do you know this fact?

share|cite|improve this answer
Ok, that helps profoundly. – monoid Oct 30 '12 at 14:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.