UNIVERSIDAD PEDAGÓGICA NACIONAL FRANCISCO MORAZÁN

VICERRECTORÍA ACADÉMICA

1. Determine si ( G, * ) , G = { x / x=3 k ; k ∈ z } ; es un grupo con * es la adición en Z.

1. tomemos a , b ∈G tal que a=3 k y b=3 J c=3 icon k , j , i∈ z

a∗b=3 k +3 j=3(k + j) como (k + j)∈ z entonces (a∗b)∈G

Por lo tanto ( G, * ) es cerrada

2. tomemos a , b , c ∈G tal que a=3 k y b=3 J con k , j , i∈ z

( a∗b )∗c=( 3 k + 3 j ) +3 i=3 ( k + j ) +3 i=3 ( k + j+i )=3 k +3 ( j+i )=3 k + ( 3 j+3 i )=a∗(b∗c)
Por lo tanto ( G, * ) es asociativa

3. existencia del elemento unidad.

En donde se demuestra

a∗e=a

3 k + e=3 k

e=3 k −3 k

e=0

e=3 (0)

Por lo tanto ∃ e ∈G tal que a∗e=a=e∗a donde e=3 z con z =0

4. existencia del elemento inverso. ∀ a ∈G ∃a−1 tal que a∗a−1=e=a−1∗a

a∗a−1=e

3 k + a−1=0

a−1=0−3 k

a−1=−3 k

a−1=3(−k ) notemos que −k ∈ Z

Por lo tanto ∀ a ∈G ∃a−1 ∈ Gtal que a∗a−1=e=a−1∗a

 UNIVERSIDAD PEDAGÓGICA NACIONAL FRANCISCO MORAZÁN
VICERRECTORÍA ACADÉMICA

En conclusión ( G, * ) es un grupo