il sottogruppo rispetto alla moltiplicazione degli elementi invertibili di un campo[1], di un anello, o altra struttura che abbia la moltiplicazione tra le sue operazioni. Nel caso di un campo il gruppo è dove 0 si riferisce all'elemento zero di e l'operazione binaria è la moltiplicazione del campo;