Proof. Define ϕ : H → ∏i∈I Gi by h ↦→ {ϕi(h)}i∈I. Then ϕ is well-defined and for h, h ∈ H: ... wGi is called the (external) direct sum and is denoted.
確定! 回上一頁