Discussió:Subgrup normal
   | Aquest article, o una part, prové d'una traducció de l'article sota llicència CC-BY-SA-3.0 i/o GFDL: «Normal subgroup» (anglès). Consulteu l'historial de la pàgina original per a conèixer la llista d'autors. |
Dubte en l'aclaració de l'asterisc
[modifica]En l'apartat de definicions està escrit: "les condicions següents són equivalents a exigir que un subgrup, N, sigui normal en G." I a continuació en algunes d'aquestes condicions hi ha un asterisc que diu: "*Aquestes condicions, des d'un punt de vista lògic, són més dures que les condicions de damunt seu i no cal imposar-les perquè N ja és un subgrup. són propietats que es dedueixen del fet de ser N subgrup." Trobo que aquest asterisc presta a confusió. Aquestes condicions o ve són equivalents (i per tant no "des d'un punt de vista lògic, són més dures"), o ve són suficients i no necessàries (i per tant no equivalents). Diria que les condicions són simplement equivalents, i el fet que un sentit de la implicació sigui més senzill de demostrar no permet dir que: "Aquestes condicions, des d'un punt de vista lògic, són més dures" ja que aquesta frase només provoca confusió. Tot i això no n'estic prou segur com per editar-ho personalment i borrar l'asterisc i l'aclaracio