devo scrivere una procedura che decida se un sottogruppo di un
gruppo finito è sottogruppo normale....
ho pensato di considerare come gruppo finito il gruppo delle
permutazioni Sn,ho trovato alcuni teoremi a cui potrei ispirarmi, ma
non so come inziare la procedura, come generare un generico
sottogruppo su cui fare la verifica...qualcuno può
aiutarmi??????????