ja, das ist möglich. Man projiziert kanonisch von \( \mathbb{Q} \) nach \( \mathbb{F}_p \):
\( \phi(pq^{-1}) = \phi(p)\phi(q^{-1}) = [p][q^{-1}] = [pq^{-1}] \).
Die Wohldefiniertheit auf \( \mathbb{Q} \) kann in trivialer Weise durch Einbauen einer konstruktiven Eins gezeigt werden:
\( pq^{-1} = apa^{-1}q^{-1} = \dots \).
Im Bildbereich entsteht wieder die Eins.
MfG
Mister