Definizione di campo Abbiamo detto che nel concetto di corpo non abbiamo la commutativita' per la seconda operazione (vedremo sugli esempi che il corpo delle matrici quadrate non e' commutativo), siccome pero' l'insieme Q, che ci guida nell'enucleare le strutture, e' commutativo ci conviene introdurre la commutativita' e quindi individuare una nuova struttura il campo il cui rappresentante tipico sara' appunto l'insieme Q, che per questo sara' anche chiamato campo dei numeri razionali Quindi per la nuova struttura di campo bastera' aggiungere che la seconda operazione (moltiplicazione) e' commutativa Si definisce Campo (K ; , ) un insieme di enti tali che (K ; , ) e' un corpo l'operazione e' commutativa, cioe' per ogni coppia di elementi a e b di K vale la relazione a b = b a