Pytanie o nazwę twierdzenia

[Wojtolino]

Cześć!
Dawno mnie tu nie było, dawno też z taką "uczelnianą" matematyką nie miałem do czynienia, więc stąd moje ignoranckie pytanie. Nie pamiętam nazwy jednego z twierdzeń, szło ono jakoś tak:
\(\displaystyle{ NWD(n,m)=1 \Leftrightarrow \mathbb{Z}_{n} \times \mathbb{Z}_{m} }\).

Ktoś coś?

[szw1710]

Coś kiepsko piszesz prawą stronę. Na pewno ma być \(\ZZ_{nm}\simeq\ZZ_n\times\ZZ_m\) (chodzi o izomorfizm). Twierdzenie jest na tyle proste, że nie sądzę, aby miało swoją nazwę. Sprawdzałem na szybko na StackExchange.

[Kaf]

Jest to szczególny przypadek chińskiego twierdzenia o resztach.

[Wojtolino]

Ale wstyd! Zadowolony z siebie, że jeszcze coś pamiętam z TeXa zapisałem pół twierdzenia i opublikowałem Przepraszam i dziękuję!