Let фi : Gi ------> G1 x G2 x G3 x…….Gi x ……Gr be given by фi (gi)= (e1 ,e2 ,…..gi,…..er) where gi єGi and ej is the identity of Gj. Prove that this is a injective map.
Let F be an additive group of all continuous functions mapping IR into IR. Let IR be the additive group of real numbers, and let ф :F ------> IR be given by ф(f) = ∫_0^4▒〖f(x)dx〗 . Prove that f is a homomorphism?