Hy guys. I'm trying to understand this proof, taken from this blog.
The last part of the proof is not clear to me. More precisely, I don't understand why the subgroup of elements fixing the factors is closed and has finite index.
NOTE: I need understanding this proof for trying to show the same proposition for any alg. closed field.