Oración 1: paso 2: G/G(F ) está en correspondencia con G · F1 1 Consideremos la siguiente función: φ :G/G(F ) → G · F1 1 g ·G(F ) → g · F1 1 Veamos que φ es una biyección: • inyectividad: Supongamos que φ(g · G(F )) = φ(h · G1 (F )), entonces1 g ·F1 = h ·F1, por lo que h−1 ·g ·F1 = F1
Oración 2: que h−1 ·g ∈ GF,1 y por el paso 1, tenemos que h−1 · g ∈ G(F ), es decir que ∃v ∈ G1 (F1) tal que h−1 · g = v, por lo que g = h · v
Conector: es decir
Relación: entailment
Género: theses