Zdanie 1: gdzie gwiazda oznacza algebraiczną podwójną grupę. Ponadto, gdy `` G'' jest skończona, istnieje nienaturalny izomorfizm Zdanie 2: Gdy gwiazda nazywa algebraiczną grupę podwójną, występuje nienaturalny izomorfizm, gdy `` G'' jest skończona. Pytanie: Czy zdanie 1 i zdanie 2 wyrażają to samo znaczenie? Tak czy nie?
Tak, proszę.