Giả sử f : X → Y là một đồng cấu nhóm, A  X , B  Y .

Khi đó:

a) f ( A )  Y .

b) f −1 ( B )  X B Y  f −1 ( B ) X

Chứng minh:

a) Giả sử a, b  f ( A) . Khi đó: a = f ( x ) , b = f ( y ) , ( x, y  A) .

Từ đó,

a.b−1 = f ( x )  f ( y ) = f ( x ) f ( y −1 ) = f ( x. y −1 )  f ( A) , ( xy −1  A)
−1

Do đó, ta suy ra: f ( A )  Y .

b) Trước tiên ta cần chứng minh f ( B )  X .

−1

Giả sử m, n  f −1 ( B ) . Thế thì p = f ( m ) , q = f ( n )  B.

( )
Từ đó, f m.n −1 = f ( m )  f ( n )  = p.q −1  B.
−1

Điều này kéo theo m.n  f ( B ) và do đó f ( B ) là nhóm con của X .

−1 −1 −1

Còn lại, ta phải chứng minh f ( B )

−1
X.

Với mọi t  f ( B ) và mọi   X ta có f ( t )  B và do tính chuẩn tắc của

−1

B mà:

f (  −1t  ) =  f (  )  f ( t ) f (  )  B
−1

Điều này kéo theo:  t   f ( B ) .

−1 −1

Vậy f ( B ) X.