#群論入門_剰余類編 14 Q. 集合Aの #類別(#分割) A＝A_1＋A_2＋… の #完全代表系 とは A. 各 #類 A_i の #代表元 を 1つずつ任意に選び a_i とし， 代表元の集合 { a_1, a_2, … } を この類別の完全代表系と呼ぶ. 代表元の選び方は任意性があるので 完全代表系の作り方も任意性がある.

#群論入門_剰余類編 12 Q. #類別(#分割)において #類 の #代表元 の選び方に 任意性を仮定してよいのはなぜ? A. 類別において類同士に共通部分は無く， どんな代表元の選び方をしても 1つの代表元は必ず1つの類のみに属し， ある代表元がどの類を指す(代表する)か 重複や混同の恐れはない.

#群論入門_剰余類編 11 Q. 集合 A の #類別(#分割) A ＝ A_1 ＋ A_2 ＋ … において， 類 A_i の #代表元 とは A. ある1つの #類 A_i 内で 自由に選んだ1つの元 a_i を考える時， 元 a_i を 類 A_i の代表元という. 1つの類の中で 代表元の選び方は任意性がある. (どれを選んでもよい)

＜#素粒子と原子核の参考書＞ 「弦とブレーン」 (朝倉書店2017細道) honto.jp/netstore/pd-bo… p47より引用: 『#対称性 で互いに移り合う #計量 の #同値類(#ゲージ軌道) 各々につき #代表元 を1つ選び， 代表元についてのみの #積分 に留める。 この操作は #ゲージ固定 と呼ばれる。』