Question about kernel and homomorphism I was wondering is there any reason we take the identity e` for the kernel for ring homomorphism to be the additive identity instead of the multiplicative one?

One reason is that the idea kernels in general works best with groups.
For a group homomorphism $f$ the kernel tells us something interesting about what happens to elements under $f$, namely that $f(a)=f(b)$ exactly when $ab^{-1}$ is in the kernel of $f$. This relation depends on taking the inverse of either $a$ or $b$, so it doesn't work well if we try to use it with something else than a group, where elements may not have inverses in general.
Kernels work for rings, vector spaces and so forth because these structures can all be described as an abelian group with some extra structure. In the case of a ring, the additive group is the only group structure in sight, so if we want to speak of kernels, it is the identity element of that group we want the preimage of.
If we're speaking of fields we almost have a multiplicative group -- but not quite; 0 is not a member of the multiplicative group. And speaking of kernels is not very relevant in the case of fields anyway, because a field homomorphism is necessarily injective, so having an object that tells us when $f(a)=f(b)$ is not really useful.
