Pinter Abstract Algebra Solutions Official

This completes the proof.

Since $$F$$ is a field, $$aF$$ is a subgroup of $$F$$ under the operation $$+$$. By Lagrange's theorem, we have: pinter abstract algebra solutions

$$a * e_1 = a$$ and $$a * e_2 = a$$