incomprensione testo

scusate c'è un esercizio nell'herstein di algebra che dice così:

Utilizzando il risultato del problema precedente, dimostrare che gli interi mod p diversi da 0 formano un gruppo rispetto alla motliplicazione modulo p
...
ma che significa? Non riesco proprio a capire l`operazione che intende fare. Se gli interi mod p sono \(\displaystyle a \equiv b \pmod{p} \) , quindi le coppie di numeri tali che sia soddisfatto il modulo p , cosa intende con moltiplicazione modulo p?

Ciao. Vedi se ti può essere utile questo: https://en.wikipedia.org/wiki/Modular_arithmetic#Integers_modulo_n. (Ho riletto velocemente la pagina, e mi sembra che non ci sia nessuno spoiler della dimostrazione. Scusami in caso contrario).