izomorfizm edge: Korzystając z pierwszego twierdzenia o izomorfizmie wykazać prawdziwość podanego związku: ℛ^*/{1,−1} ≈ℛ⁺ Czyli muszę wskazać taki homomorfizm φ z ℛ^* na ℛ⁺, aby ker φ = {−1, 1}. Czy funkcja ℛ^*→ℛ⁺, φ(a)=a² jest odpowiednia?