Discussió:Subgrup normal

De Viquipèdia
Salta a la navegació Salta a la cerca

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