Tổng Trực Tiếp Của Nhóm

Trong Đại số trừu tượng, phương pháp xây dựng nhóm này có thể tổng quát hóa sang tổng trực tiếp của không gian vectơ, mô đun, và các cấu trúc khác. Một nhóm có thể biểu diễn thành tổng trực tiếp của các nhóm con không tầm thường được gọi là phân tích được.

Một nhóm G được gọi là tổng trực tiếp của hai nhóm con H₁ và H₂ nếu

• Mỗi H₁ và H₂ là nhóm con chuẩn tắc của G,

• Giao của hai nhóm con H₁ và H₂ là nhóm tầm thường (có duy nhất phần tử đơn vị ${\displaystyle e}$  của G),

• G = 1, H₂>, G được sinh bởi hai nhóm H₁ và H₂.

Tổng quát hơn, G gọi là tổng trực tiếp của tập chứa hữu hạn các nhóm con {H_i} nếu

• Mỗi H_i là nhóm con chuẩn tắc của G,

• Mỗi H_i có giao tầm thường với nhóm con <{H_j: j ≠ i>,

• G = <{H_i}>, G được sinh bởi các nhóm con {H_i}'.

Nếu G là tổng trực tiếp của 2 nhóm con H và K thì ta viết G = H + K và nếu G là tổng trực tiếp của tập nhóm con {H_i} thì ta thường viết G = ∑H_i. Thường thì tổng trực tiếp đẳng cấu với tích trực tiếp yếu của các nhóm con.

Nếu G = H + K, thì ta có thể chứng minh được

• Với mọi h thuộc H, k thuộc K, ta có h * k = k * h,

• Với mọi g thuộc G, tồn tại duy nhất h thuộc H, k thuộc K sao cho g = h * k,

• Có khử tổng trong nhóm thương, nghĩa là (H+K)/K đẳng cấu với H.