è un sottogruppo di , infatti e
non è invece un sottogruppo di , non essendo chiuso rispetto al prodotto: