Hi

The converse is true, but for instance the algebraic closure of a prime field ( ) is an algebraic non finite extension.If M:K is algebraic then it is finite

Your edit 2 is good, perhaps just use that given an element in its minimal polynomial over divides its minimal polynomial over (does not need the factoriality of )