sprawdzenie czy operacja jest działaniem Bartek: Wykaż, że mnożenie modulo liczb względnie pierwszych należących do zbioru Z_n, takich, że x∊Z_n⇔x∊{1,...,n−1} jest działaniem zatem a□n=k(a*n) +r_n i k∊N⁺ czyli z tego wynika, że k*a +r_n<n i ponieważ a<n to k=1 ostatecznie: a + r_n < n, czyli a<n−r_n i tutaj nie mam pojęcia jak to wykazać.

Pan Kalafior: założenie względnej pierwszości jest niepotrzebne nie każde działanie musi odpowiadać grupie (!) Trzeba wykazać, że jeśli a = b mod m i c = d mod m, to ac = bd mod m.

Pan Kalafior: Założyłem że chodzi tu o Z_n := Z/(nZ). Całe zadanie zależy od definicji mnożenia w Z_n.

Alicja: założenie względności jest dane w poleceniu, czyli zatem moje rozumowanie jest niepoprawne?

Bartek: oops tak to jest jak się korzysta z komputera czytelni akademickiej

Pan Kalafior: 'Całe zadanie zależy od definicji mnożenia w Zn.'

jc: Przepisz starannie polecenie.

Pan Kalafior: Względna pierwszość jest potrzebna jedynie po to żeby dany element był odwracalny, ale mnożenie w Z_n jest działaniem tak czy siak