http://imgur.com/mL30V9e.jpg

↑は例の京都大学名誉教授の本（代数編）です。

この人の無神経さには驚くべきものがありますね。

定義からしていい加減。

イ）の Φ(1) = 1 は不要ですよね。
ロ）から導けますよね。