Si\(a\in G\), entonces las clases de equivalencia “izquierda” y “derecha” que contienen\(a\) están dadas por\[[a]_{\sim_L}=\{g\in G\mid a\sim_L g\}\] y\[[a]_{\sim_R}=\{g\in G\mid a\sim_R g\}.\] El sig...Si\(a\in G\), entonces las clases de equivalencia “izquierda” y “derecha” que contienen\(a\) están dadas por\[[a]_{\sim_L}=\{g\in G\mid a\sim_L g\}\] y\[[a]_{\sim_R}=\{g\in G\mid a\sim_R g\}.\] El siguiente teorema nos dice que las clases de equivalencia determinadas por\(\sim_L\) y\(\sim_R\) son de hecho la izquierda y la derecha coconjuntos de\(H\leq G\), respectivamente.
