Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|improve this answer
    
Ok, that helps profoundly. –  monoid Oct 30 '12 at 14:34
add comment

Your Answer

 
discard

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.