#群論入門_剰余類編 8

Q.
ある集合Aの
#直和分割(#直和分解)とは.

A.
集合Aの #類別(#分割)
A ＝ A_1 ＋ A_2 ＋ …　①
において，
①の式を
A ＝ ∪_i (A_i)　②
と表記し，
この類別における全ての #類 A_i の集合を
「Aの直和分割」，
②の式を A_i の #直和 と呼ぶ.