These two questions has caused headaches, please help...

If M is an n x n matrix with entries from a field F, then is there always a positive integer k such that M^k = summation(i=0, k-1) lamda_i*M^i.

If M=I_n is the n x n identity matrix, then what is the smallest k with this property?