加法と乗法 () (零元) に対して (ⅰ) (ⅱ) が成立する． (証明の方針) (ⅰ),(ⅱ)ともに両辺が一致することを確かめる． (ⅰ)について ① を考える． 倍の定義より であるから ② を考える． したがって が成立する． (ⅱ)について ① を考える． ② を考える． それゆえ…

写像 とする．このとき (ⅰ) (ⅱ) が成立する． (証明の方針) 前提のまとめ より ☆ でありが与えられている．とくにについて，☆よりはともに群であるからである． ① であること を示す．そのために (ア) (イ) をいう． (ア)について を考える．このとき を仮定…