U (2) = {1} , U (3) = {1, 2}, U (4) = {1, 3} , U (5) = {1, 2, 3, 4} , U (6) = {1, 5} , U (7) = {1, 2, 3, 4, 5, 6} U (p) = {1, 2, ..., p − 1} para p primo. Ejercicio.Demostrar que U (n)es un grupo con la adición mód n Denición.El órden de un grupo G (nito o innito) es el número de elementos del grupo y se denota |G|. Ejemplos. G=Zn =⇒ |G| = |Zn | = n G=S3 =⇒ |G| = |S3 |=6 G=Z =⇒ |G| = |Z|=∞ Denición.El órden de un elemento g de un grupo G es el menor entero positivo n tal que gn = e y se simboliza |g|. En notación aditiva |g| es el menor entero positivo n tal que ng=0 Ejemplos. En Z6 con la adición 1([0])=[0] =⇒ | [0] | = 1 , |[1]|= [1],[1] + [1],[1] + [1]+[1],[1] + [1] + [1] + [1],[1] + [1] + [1] + [1] + [1],[1] + [1] + [1] + [1] + [1] + [1]=[6] = [0]=⇒ | [1]|=6 (6 [1] = [0]) 1[2] = [2] , 2 [2] = [2] + [2] = [4] ,3[2] = [2] + [2] + [2] = [6] = [0]=⇒ | [2] | = 3 En Z⋆7 con el producto de clases hallar el órden de cada uno de sus elementos. [3] = [3] , [3] = [3] [3] = [9] = [2] ,[3] = [3] [3] [3] = [27] = [6] , [3] = [81] = [4] ,[3] = [243] = [5] , 1 2 3 4 5
[3] = [729]=[1] =⇒ | [3] | = 6
6
Denición.Si H es un subconjunto de un grupo G y H es un grupo con la operación de G entonces H se llama un subgrupo de G y se
simboliza H ≤ G. La notación anterior se usa si H es un subgrupo de G incluyendo el caso H=G.Si H es un subgrupo de G y H̸= G se usa el símbolo H < G. Si H={e} entonces H se llama el subgrupo trivial de G.Si H ̸= {e} y H ≤ G H se llama un sugrupo no trivial de G. Proposición.Sean G un grupo y H un subconjunto de G̸= ϕ.Si ab−1 ∈ H siempre que a∈ H ∈ y b ∈ H entonces H≤ G. Demostración.Supóngase que si a ∈ H y b ∈ H entonces ab−1 ∈ H. 1.Como H̸= ϕ existe un elemento x en H.Tomando a=x∈ H y b=x∈ H entonces ab−1 = xx−1 ∈ H, pero xx−1 = e ∈ H. 2. Si x∈ H tomamos a=e∈ H y b=x∈ H entonces ab−1 = ex−1 ∈ H , pero x−1 =ex−1 ∈ H 3.Sean x,y elementos de H entonces y−1 está en H.Tomando a=x y b=y−1 entonces ab−1 = xy −1 está en H. Pero xy= x(y −1 )−1 esttá en H. Ejercicio.Para todo x en un grupo G (x−1 )−1 = x Demostración.