Izomorfizm Benny: Jeśli homomorfizm jest bijekcją to jest to izomorfizm? Ktoś się kłóci i mówi, że wystarczy, aby była to tylko iniekcja. Swoją drogą chodzi o taki przykład: A={x∊ℛ: x=2ⁿ*3^m, m, n∊ℤ} Nie dostaniemy w tym wypadku wartości ≤0, ale z kolei nic nie jest napisane o przeciwdziedzinie.

Benny: Inaczej: B={z∊ℂ: z=m+ni, m, n∊ℤ} jest to odwzorowanie grupy (A, *) w grupę (B, +) x=2ⁿ*3^m, n, m∊ℤ f(2ⁿ*3^m)=m+ni, Jest to suriekcja i iniekcja ⇒bijekcja. Ktoś zaprzeczy?