Zeigen Sie, dass Kern(Φ) und Bild(Φ) Ψ-invariant sind, d. h. dass ΨKern(Φ)⊆ Kern(Φ)und ΨBild(Φ)⊆ Bild(Φ).
Zu: ΨKern(Φ)⊆ Kern(Φ) geht es wohl so:
Sei y ∈ ΨKern(Φ)
==> ∃x∈Kern(Φ) mit Ψ(x) = y und Φ(x)=0
==> Φ(Ψ(x)) = Φ(y) also wegen ΦΨ = ΨΦ auch
==> Ψ(Φ(x)) = Φ(y) und wegen Φ(x)=0
==> Ψ(0) = Φ(y)
==> 0 = Φ(y) also y ∈ Kern(Φ).
Damit ist gezeigt ΨKern(Φ)⊆ Kern(Φ).
Die andere Inklusion geht wohl entsprechend.