TEORIA DE GRUPOS ABSTRATOS E ALGUNS EXEMPLOS CLSSICOS

Tiago Clio Falco Pereira

1
Irene Magalhes Craveiro
2

1
Aluno do Curso de Matemtica da UFMS-CPAQ-DMT, bolsista de Iniciao Cientfica UFMS- PIBIC 2008/09
2
Professora da UFMS, DMT CPAQ, e-mail: irenecraveiro@yahoo.com.br


Resumo: A idia de grupo faz parte de um agrupamento de objetos matemticos que possuem
caractersticas similares. Ou seja, a funo deste agrupamento organizar estes objetos em
classe, de maneira que todos eles satisfaam as mesmas propriedades. A teoria de grupos a
abstrao de idias que se iniciaram com conceitos de nmeros e logo se estenderam para
reas maiores que estavam sendo estudadas simultaneamente. As trs principais reas que
originaram esta teoria so: geometria, teoria dos nmeros e equaes algbricas, esta ltima
conduzindo ao estudo de permutaes. Grupos esto por trs de muitas estruturas algbricas,
como corpos e espaos vetoriais, e uma ferramenta bastante til para o estudo de simetrias.
O objetivo principal deste trabalho descrever sobre a teoria abstrata de grupos: conceitos,
propriedades e exemplos, grupos cclicos, homomorfismo de grupos para que no prximo
trabalho, possamos gerar novos grupos a partir de grupos cclicos e que estes novos grupos,
sejam no comutativos.

Palavras-chave: grupo abstrato, grupo de permutaes, homomorfismo, grupo cclico.

INTRODUO
A necessidade e utilidade da definio e o estudo de um determinado tipo de estrutura surge
naturalmente quando ela aparece em uma grande variedade de situaes. Este o caso de
grupo, aparecem em muitas reas da matemtica e tem numerosas aplicaes em outras
cincias. A teoria de grupos a abstrao de idias que se iniciaram com conceitos de
nmeros e logo colaboraram para o surgimento de reas como: geometria, teoria dos nmeros
e equaes algbricas, esta ltima conduzindo ao estudo de permutaes. Grupos esto por
trs de muitas estruturas algbricas, como corpos e espaos vetoriais, e uma ferramenta
bastante til para o estudo de simetrias. Por estas razes e entre outras, a teoria de grupos
uma rea importante da matemtica moderna, e tem muitas aplicaes, por exemplo, fsica de
partculas. Neste trabalho iremos descrever sobre a teoria abstrata de grupos, cujos tpicos
so: Grupos: definies e propriedades, Exemplo de Grupo: O Grupo das congruncias
mdulo m, Exemplo de Grupo: O Grupo de permutaes de um conjunto finito, Subgrupos e
Grupos Cclicos, Homomorfismos e isomorfismos de grupos.
Este trabalho uma parte do projeto de iniciao cientfico, cujo ttulo : A TEORIA
DE GRUPOS E OS PRODUTOS DE GRUPOS: DIRETO, SEMIDIRETO E DE SCHREIER
DE GRUPOS CCLICOS. Neste primeiro momento, pesquisamos conceitos, propriedades e
exemplos, grupos abstratos, grupos cclicos, grupo de permutaes de um conjunto com n
elementos e o homomorfismo de grupos. Estes resultados sero aprofundados, e ento para
uma nova pesquisa, aplicaremos estes resultados para obter novos grupos a partir de grupos
cclicos e que estes novos grupos, sejam no comutativos. Usaremos a tcnica, dada em [1]
que possibilita obter novos grupos, a partir de grupos conhecidos. O objetivo principal deste
trabalho descrever sobre a teoria abstrata de grupos: conceitos, propriedades e exemplos e
em seguida descrever alguns exemplos de grupos no comutativos a partir de grupos cclicos.

MATERIAL E MTODOS
Grupos: definies e propriedades
Definio 2.1: Seja G um grupo no vazio com uma operao
*
: (x,y) x
* Y
chamada lei de
composio interna em G. Dizemos que (G,
*
) um grupo ou que G tem estrutura de grupo
se as seguintes propriedades so satisfeitas:
1. Para todo x, y G tem-se x
*
y G
2. Para quaisquer x, y e z G tem-se (x
*
y)
*
z = x
*
(y
*
z)
3. G Possui elemento neutro, ou seja, para todo x G existe e G tal que x
*

e = e
*
x = x
4. Para todo x G existe um elemento x
-1
G tal que x
*
x
-1
= x
-1

*
x = e.
Convm ressaltar algumas observaes:
1. O smbolo
*
representa uma operao qualquer no conjunto G; se a operao
no conjunto estiver clara, dizemos apenas que G um grupo sem a necessidade de
explicitar qual a operao.
2. Quando a operao no conjunto for adio, dizemos que (G, +) um grupo
aditivo;
3. Quando a operao for a multiplicao dizemos que (G, .

) um grupo
multiplicativo.
Definio 2.2 Um grupo G dito abeliano (ou comutativo) se para quaisquer dois elementos
x e y em G temos que x
*
y = y
*
x.
Exemplo 2.2: Consideremos o conjunto dos nmeros reais munido da operao
*
definida
por x
*
y = x + y -3. Mostrar que ,
*
um grupo comutativo.
(a) Associatividade.
x, y e z temos que:
(x
*
y)
*
z = x
*
(y
*
z)
(x + y - 3)
*
z = x
*
(y + z -3)
x + y - 3 + z - 3=x + y + z -3 - 3
x + y + z - 6 = x + y +z - 6
(b) Existncia do elemento Neutro.
x temos que:
x
*
e = x = e
*
x
e + x - 3 = x + e - 3 = x
e + x - 3 - x = x + e - 3 -x = x x
e - 3 = e - 3 = 0
e = 3
(c) Existncia de Elemento Simtrico.
x temos que:
x
*
x = x
*
x = e
x + x' - 3 = x' + x - 3 = 3
x - x + x' - 3 = x' + x - 3 - x = 3 x
x' - 3 = x' - 3 = 3 - x
x' - 3 = 3 - x
x' = 3 - x + 3
x' = 6 - x
(d) Comutatividade
x temos que:
x
*
y = y
*
x
x + y - 3 = y + x 3
x + y - 3 = x + y -3
Propriedades: Seja (G,
*
) um grupo, ento temos as seguintes propriedades:
1) O elemento neutro de G nico.
2) Todo elemento x G admite um, e apenas um, simtrico x
-1
G
3) Para todo x,y G temos ( x
*
y)
-1
= y
-1

*
x
-1

4) Para todo x G, temos (x
-1
)
-1
= x
5) Se x,y G, ento a equao x
*
a = y, onde a uma varivel em G, admite uma
nica soluo em G.
Subgrupos e Grupos Cclicos
Definio 3.1: Seja (G,
*
) um grupo. Dizemos que um subconjunto no vazio H de G um
subgrupo de G se:
1. Para todo a, b H, a
*
b H (isto , H fechado para a lei de composio interna
de G)
2. (H,
*
) tambm um grupo. (Aqui a lei de composio a mesma de G, s que
restrita a H).
Proposio 3.2: Seja (G,
*
) um grupo. Para que um subconjunto no vazio H G seja um
subgrupo de G necessrio e suficiente que ( a, b)( , a b H a
*
b' H ) onde b' o
simtrico de b.
Demonstrao: ( )Indiquemos por e o elemento neutro de (G,
*
) e por e
h
o elemento neutro
de (H,
*
) como e
h

*
e
h
=e
h
=e
h

*
e e todo elemento de G regular em relao a lei considerada,
tiramos da que e
h
=e.
Tomemos agora um elemento b H e indiquemos por b' e por b'
h
os simtricos de b
respectivamente no grupo G e no grupo H. Como b'
h

*
b = e
h
= e = b'
*
b.
Conclumos que b'
h
=b'. Da a,bHa
*
b'H.
( ) Como H , existe x
0
H. Ento a hiptese assegura que x
0 *
x'
0
= e H.
Dado b H, usando a hiptese e a concluso anterior de que e H, temos e
*
b' = b'
H. Sejam a,b H. Devido ao que acabamos de deduzir podemos afirmar que b' H. Da
a
*
(b')'=a
*
b H, Logo H fechado para a lei de composio interna de G. Por ltimo, sendo
a,b,c H, temos: a,b,cHa,b,cG(a
*
b)
*
c=a
*
(b
*
c) o que mostra a associatividade da
lei de composio (x,y) a x
*
y H.
Observao 3.1: Todo grupo G cujo elemento neutro indicamos por e admite pelo menos
dois subgrupos: G e {e}. A verificao de que estes dois subconjuntos de G so subgrupos
imediata. Tais subgrupos so chamados subgrupos triviais de G.
Exemplo 3.2: J sabemos que o ( , ) n + com n so subgrupos de ( , ) n + . Veremos
que so os nicos subgrupos de . Seja H um subgrupo qualquer de . Se H ={0}, ento H
= 0 . Suponhamos que H {0}. Seja min{ | 0 } n x H x = > . Como n H e H um
subgrupo, temos n H . Reciprocamente, seja h H; pelo Algoritmo da Diviso, existem
nicos q,r tais que h = qn + r com 0 r < n; como h e n pertencem a H, ento r pertence
a H, tambm pela minimalidade de n, temos:
0 e portanto , ou seja .Logo .
0 , ,
r H
r h qn h n H n
r n

= = =
`

)

Definio 3.2: Dados (G,
*
) um grupo, tal que, xG e e o elemento neutro de G.
1
1
se 0
* se 0.
( ) se 0
m m
m
e m
x x x m
x m

= >

<

Observao 3.2: Convm ressaltar a seguinte observao: para cada elemento a de grupo um
grupo abstrato G, a
r
G. Alm disso, seu inverso o elemento a
n - r
G, pois a
r
.a
n - r
=a
n
= e.
Definio 3.3: Sejam (G,
*
) um grupo , tal que a G e e elemento neutro de G. Defini-se a
ordem de a e denota-se por o(a) o menor inteiro positivo m tal que a
m
= e. Definimos tambm
a ordem de G, como sendo nmero de elementos de G, se G finito e denota-se por |G| ou
#G.
Teorema 3.1: Sejam G um grupo abstrato e e,a G, onde e elemento neutro de G. O
subconjunto HG, formado por {e, a, a
2
, ... , a
n-1
}, onde n o menor inteiro positivo tal que
a
n
= e um subgrupo G. Neste caso, denotamos H=<a> e dizemos que H gerado por a.
Demonstrao: Claro que H . Sejam x,yH, queremos provar que x.y'H W
Exemplo 3.3: -Prove que 2
4
= 8 em ( , + )
2
0
=0; 2
1
=2
0
*
2=0+2=2; 2
2
=2
*
2=2+2=4; 2
3
=2
*
2
2
=2
*
4=2+4=6; 2
4
=2
3
*
2=6+2=8;
(2
-4
)
-1
=2
4
)
-1
=8
1
=

-8.
Exemplo 3.4: Considere
15
.( ) {1, 2, 4, 7, 8,11,13,14}. U = J vimos que (
15
.( ),. U ) grupo.
Observe as seguintes potncias de 7 em
15
.( ) U
0
(7) 1; =
1
(7) 7; =
2
(7) 7.7 49 4; = = =
3 2
(7) 7 .7 4.7 28 13; = = = =
4 3
(7) 7 .7 13.7 91 1; = = = = Portanto o(7)=4.
Exemplo 3.5: -Considere
15
.( ) {1, 2, 4, 7, 8,11,13,14}. U = J vimos que (
15
.( ),. U ) grupo.
Observe que:
2 2 1 1
(7) (7 ) (4) , pois 4.4 16 = 1;

= = =
Exemplo 3.6: G um grupo abstrato e e G elemento neutro. o(e)=1. Tambm,
15 15
( ){1, 2, 4, 7, 8,11,13,14}| ( ) 8, (1) 1 o = =
U U
.
Homomorfismos e Isomorfismos
Sejam (G,
*
) e (J, V) grupos quaisquer. Quando se consideram aplicaes
: f G J
Para a teoria dos grupos, as aplicaes que "preservam" essas operaes. Ou seja,
f(x
*
y ( ) ( ), , f x f y x y G = V .
Definio 4.1: Dados dois grupos (G,
*
) e (J, ), dizemos que uma aplicao f:G J um
homomorfismo de G em J, se, e somente se, ( a,b G) (f(a*b) = f(a) f(b). Um
homomorfismo do grupo G e nele prprio chamado endomorfismo de G. Se f:G J um
homomorfismo de grupos e se f injetora (respesctivamente, sobrejetora), ento f recebe o
nome de monomorfismo (respectivamente., epimorfismo) de G em J.
Exemplo 4.1: 1.A aplicao f:
*
dada por ( ) ,
m
f m i m Z = , um homomorfismo de
( , + ) em (
*
,. ), pois ( , )( ( ) ( ). ( )
m n m n
m n Z f m n i i i f m f n
+
+ = = = . Temos que o
conjunto imagem de f se reduz aos elementos 1, -1, i, -i.
Exemplo 4.2:
*
: f
+
dada por
*
( ) log( ), , f x x x
+
= um homomorfismo de (
*
,.
+
)
em ( , + ) uma vez que:
*
( , )( ( ) log( ) log( ) log( ) ( ) ( ). a b f ab ab a b f a f b
+
= = + = +
Exemplo 4.3:
* *
: f
+
dada por f(z)=|z| um epimorfismo de fato:
*
1 2 1 2 1 2 1 2 1 2
( , )( ( ) | | | | | | ( ) ( ). z z f z z z z z z f z f z = = = Alm disso, como para todo c
*
+
,
|c| = c, podemos afirmar que f sobrejetora.
Exemplo 4.4: : id G G ; x x homomorfismo, onde G um grupo abstrato.

Exemplo 4.5:
4 8
:
2
g
a a

G est bem definida, pois 4 , 2( ) 8 , a b a b q q a b q q = = = ,
2 2 8 , 2 2 ( ) ( ). a b q q a b g a g b = = = Observe que:
( ) ( ) 2( ) 2 2 ( ) ( ) g a b g a b a b a b g a g b + = + = + = + = + .
Exemplo 4.6:
9
: G G

1
9
( ) a a g ag

= a .
Observe que se G abeliano, ento
9
=id.
Tambm,
1 1 1 1
9 9 9
( . ) ( ) ( ) ( ) ( ) a b g ab g g ag g ag g bg a b

= = = = .
Quando : G H homomorfismo bijetor ento dizemos ento dizemos que
isomorfismo de grupos e denotamos por : G H ou G H .
Definio 4.3: Seja G um grupo abstrato. Aut(G) = \{ f:G G; f isomorfismo} o conjunto
dos automorfismo de G.
Teorema 4.1: Seja G um grupo. O Aut(G) ={ f:G G; f isomorfismo} um grupo, com a
operao de composio de funes e conhecido na literatura por grupo dos automorfismo
do grupo G.
Propriedades: Sejam (G,*) e (H , ) grupo. Seja f: GH homomorfismos. Ento:
1- f(e
G
)= e
h
,, e
G
elemento neutro

de G e e
H
elemento neutro de H.
Demonstrao: f(e
G
) = f(e
G
* e
G
), f homomorfismo f(e
G
)= f(e
G
) f(e
G
) Como f(e
G
)
H e H' grupo ento existe f(e
G
)' tal que f(e
G
) f(e
G
)'= e
H.

2-
1 1
( ) ( ), f x f x x G

= .
Demonstrao:
1
( * ) ( )
G H
f x x f e e

= = , pois f homomorfismo. Logo

1
( ) ( )
H
f x f x e

= V . Como H grupo e f(x)H ento existef(x)

-1
tal que
1
( ) ( )
H
f x f x e

= .
Assim,
1 1 1 1 1
( ( ) ( )) ( ) ( ) ( ) ( ( ) ( ) )
H
f x f x f x e f x f x f x f x

=
1 1 1
( ) ( ) ( 1) ( )
H
f x e f x f x f x

= = W
3-
1 1
; H G H subconjunto de
1
( ) G f H subconjunto de H.
Demonstrao:
1 1
; H G H subgrupo de G. Queremos provar que
1
( ) f H subgrupo
de H. Temos que
1 1
( ) , pois . f H H Sejam x e y
1
( ) f H . Logo existem a e b H
1
,
tais que x = f(a) e y = f(b) e x y
-1
= f(a) f(b)
-1
= f(a) f(b-1) = f(ab
-1
) e a * b
-1

-1
1 1
( ). H x y f H Portanto f(H
1
) um grupo. W
4- , S H S grupo de
1
( ) H f S

subgrupo de G;
Demonstrao: , S H S subgrupo de H, ento queremos provar que f
-1
(S)
subgrupo de G. Temos que f
-1
(S) ,pois S .
Sejam a,b f
-1
(S).
1
, ( ) ( ), ( ), a b f S x f a y f b

= = sendo que x,y S.

Assim, x y
-1
= f(a) f(b)
-1
= f(a) f(b
-1
) =f(a * b
-1
) e x y
-1
S, pois S subgrupo
de H. Portanto a*b
-1
f
-1
(S). W
5- Kerf um subconjunto de G e Imf subconjunto de H.
Demonstrao: temos que Imf={ yH; y=f(x), x G = f(G) e
Kerf = {x G; f(x) = e
H
} = f
-1
({e
G
}). Logo o resultado segue do item anterior.
W
6- Kerf = {e
G
} f injetora.
Demonstrao: ( ) Suponha Kaf = {e
G
} e f(a) = f(b), a,b G.
f(a) = f(b) f(a) f(b)
-1
=e
G
f(a*b
1
) = e
H
. a* b
-1
Kerf ={e
G
}. Logo,
a*b
-1
= e
G
a = b.
( ) Suponha f injetora. Seja a Kerf f(a) = e
H.
Mas f(e
G
) = e
G
e f(e
G
) = f(a) .
Como f injetora, ento e
G
= a. W
Proposio 4.1: Sejam H,K dois subgrupos de G.Ento H.K um subgrupo de
G H.K = K.H.
Demonstrao: ( ) Suponha que H.K um subgrupo de G.
1- Seja . K H .Ento existem k
i
K, h H, tais que . k h = . Considere
1 1
. . h k H K

= .Como H.K subgrupo de $ e . ento
-1
H.K. Mas,
-1
= k.h =
e portanto . Assim, K.H H.K.
2- Seja H.K. Ento existem k K e hH, tais que = k.h. Considere = h
-1
.k
-1

H.K. Como H.K , por hiptese, subgrupo de G, ento
-1
H.K.
Mas,
1
. . . k h H K K H

= = .
Segue de 1) e 2) que H.K = K.H.
( ) Suponhamos que .K=K.H. Para provar que H.K subgrupo, basta provar:
1. , . , . x y H K xy H K
2.
1
. , . x H K x H K

Sejam x,y H.K. Temos x =h
1
k
1
e y = h2 k2, logo xy=(h
1
k
1
)(h
2
k
2
)= h
1
(k
1
h
2
)k
2
.
Como k
1
h
2
K.H e, por hiptese, K.H = H.K, temos que existem h
3
H e k
3
K tais
que k
1
h
2
= h
3
k
3
e substituindo na expresso para xy, obtemos:
xy = h
1
(h
3
k
3
)k
2
=(h
1
h
3
)(k
3
k
2
) K.H = H.K. W

RESULTADOS E DISCUSSES
O Grupo Diedral de Ordem oito
O Grupo diedral de ordem 8 um grupo no comutativo. Logo, este grupo no cclico.
Descrevemos a tabela da multiplicao dos elementos deste grupo, como segue na tabela 1.
Exemplo 5.1: Considere o seguinte conjunto G= {e, b, b
2
, b
3
, a, ab, ab
2
, ab
3
}, e suponha que
a
2
= b
4
= e e ba=ab
3
. No conjunto G, e o elemento neutro de G, ou seja, ex = xe; x G.
Temos que G um grupo, que conhecido na literatura por Grupo Diedral com oito
elementos e denotado por D
4
observe a tabela da operao dos elementos em G=D
4
.

O Grupo dos Quatrnios de Ordem oito
O Grupo dos quatrnios de ordem 8 um grupo no comutativo, que pode ser verificado
atravs da tabela 2. Logo, este grupo no cclico. Descrevemos a tabela da multiplicao
dos elementos deste grupo, como segue na tabela 2.
Exemplo 6.1: Considere o seguinte conjunto Q
8
= {1, -1, i, -i, j, -j, k, -k }, tal que,
ij = k, jk = i, ki = j, kj = -i, ik=-j e ji= -k e ( i)
2
= ( j)
2
= ( k)
2
=1.
No conjunto Q
8
, 1 o elemento neutro de Q
8
, ou seja ex = xe; x Q
8
. Temos que Q
8

um grupo, que conhecido na literatura por Grupo dos Quatrnios com oito elementos.


O Grupo de congruncias mdulo m
O Grupo das congruncias mdulo m com relao a operao soma, que definiremos a seguir
um grupo cclico, logo comutativo. Para isso, considere:
Exemplo 7.1: Seja m , m > 1. Vamos definir a seguinte relao de equivalncia no
conjunto dos inteiros, . Como segue: , , x y xRy x y qm = , para algum q .
- A relao binria _R_ relao de equivalncia;
- Dado a a classe de equivalncia de a, denotada por a , o seguinte subconjunto
dos nmeros inteiros: a = {x ; x = qm + a para algum q }
- Dados a, b a = b aRb a b = qm para algum q ;
- Notao: = { ; } a a
m

o conjunto quociente da relao de equivalncia, R que

definimos. Segue o algoritmo da diviso que: {0, 1, 2, 3,..., 1} m
m
=

.
Considere agora uma operao em
m

que chamamos de soma, da seguinte forma:

,
Z
x y
mZ
x y x y + = + .
- Provemos que ( ,
m
+

), que acabamos de definir um grupo abeliano.

De fato, claro que: , , e . x y x y x y x y
m m
+ = + +



Tambm, vale:
1) Associatividade: , , x y z
m

,
( ) ( ) ( ) ( ) ( ) x y z x y z x y z x y z x y z x y z + + = + + = + + = + + = + + = + +
2) Existncia do elemento neutro: Temos que: e =0 o elemento neutro de
m

3) Existncia do elemento simtrico: , tome ( ) ' a a m a
m
=

. Observe que ( a )
simtrico de a .
4) Comutatividade: , , , x y x y x y y x y x
m
+ = + = + = +

Segue de 1) 2) 3) e 4) que ( ,
m
+

) um grupo abeliano.
Exemplo 7.2: Vamos definir, agora um operao
m

que chamamos de multiplicao ou

produto, da seguinte forma: , , . . x y x y x y
m
=

.
- Provemos que ( {0},.), onde, {1, 2, 3,..., 1} m
m m
=


, no grupo se m no
um numero inteiro primo. De fato, Apesar de:
1) Associatividade:
, , {0}, .( . ) .( . ) ( . ). . . ( . ). x y z x y z x y z x y z x y z x y z
m
= = = =

;
2) Existncia do Elemento Neutro: Temos que: 1 e = o elemento neutro de
{0}, pois, 1. 1. , x x x x
m
= =

4) Comutatividade: , , {0}, . . . . x y x y x y y x y x
m
= = =

Por outro lado, observe x , tais que m = x.y, com 1< x.y < m 1 .Logo,
0 . . e 0 e y 0 m x y x y x = = = . Assim , {0} e . {0} x y x y
m m



. Ou seja, nem
sempre o produto fechado para a multiplicao em
m

- {0}.
Portanto (
m

-{0},.) no grupo.
Proposio 7.1: Um elemento
m
a invertvel ( , ) 1 MDC a m =
Demonstrao: ( ) Suponha
m
a tal que a invertvel. Assim existe
m
b , de
modo que . 1 a b = , ou seja, . 1 a b = .
. 1 ; 1 ( ) 1 ( , ) 1 a b t ab tm ab t m MDC a m = = + = = .
( ) Suponha agora que ( , ) 1 MDC a m = . ( , ) 1 , a m b s = tal que
ab+ms=1 . . 1 . . 1 a b ms a b ms + = + = . . 1 . 1 a b ms a b + = = a invertvel. W
Segue da proposio 3.1 que: .( ) { ; ( , ) 1}
m m
U x MDC m x = = . Ressaltamos que
.( )
m
U um conjunto formado pelos simtricos de
m
, com relao a operao produto.
Proposio 7.2: Um conjunto .( ) { ; ( , ) 1}
m m
U x MDC m x = = , e fechado para operao de
multiplicao.
Demonstrao: Sejam , .( )
m
x y U queremos provar que . .( )
m
x y U . De fato:
- .( ) invertvel ; 1 ( , ) 1
m m
x U x a ax xa MDC m x = = =
- .( ) invertvel ; 1 ( , ) 1
m m
y U y b by yb MDC m y = = =
O inverso de . . x y b a . De fato, ( . ).( . ) ( . ) . 1. . 1 x y a b x y b a x a x a = = = = . Por outro
lado, ( . ).( . ) ( . ) . 1. . 1 b a x y b a x y b y b y = = = = . Assim, . .( )
m
x y U W
Concluso: .( )
m
U grupo com operao de multiplicao que definimos neste tpico.
Observamos que este grupo sempre comutativo, porm, em geral este grupo no cclico.
O Grupo de permutaes de um conjunto finito
Consideremos um conjunto de n objetos distintos que, sem perda de generalidade
podemos denotar S={1,2, ... ,n}. Considere o conjunto B
ij
(S)={f : SS; f bijeo}. Segue o
Princpio multiplicativo que |B
ij
(S)|=n!, desta forma denotamos este conjunto B
ij
(S)=S
n
e o
chamaremos de conjunto simtrico ou conjunto das permutaes de n letras.
Em geral, para quaisquer aplicaes f:A B e g:B C. Definimos a aplicao
composta gof:AC de g e f, nesta ordem, por: (gof)(x)=g(f(x)). Dado um conjunto arbitrrio
X podemos considerar o conjunto B(X)= {f:X X; f funo}. A composio de funes
define uma operao em B(X). Alm disso, a composio de funes uma operao
associativa em B(X). Ou seja, ( ) ( ), , , ( ) fog oh fo goh f g h B X = .
Tambm, convm ressaltar, que existe a funo identidade, que leva o x X no
prprio elemento x X ( x x a ), esta funo que denotamos por ( )
X
id id B X = ,e
satisfaz ( ) foid idof f f B X = = . Assim, podemos concluir que id
X
o elemento neutro
para a operao de composio de funes em B(X). Nem sempre, f B(X), a operao de
composio em B(X) admite g B(X),
x
fog gof id = =
Este fato verdadeiro, somente no caso em que f bijeo de X em X. Desta forma, se
restringirmos B(X) ao conjunto de todas as funes de X em X, tal que f bijetora, ento, neste
conjunto, a operao de composio associativa, admite elemento neutro e todo elemento
deste conjunto simetrizvel, ou seja, o simtrico de f : X X, tal que, f bijetora, a funo
inversa de f, denotada por f
-
1 X X Logo, conclumos que S
n
forma um grupo com a
operao de composio de funes e este grupo conhecido na literatura por grupo
simtrico ou grupo das permutaes de n letras.
Agora, provaremos que os grupos S
n
; n3, so exemplos de grupos no comutativos.
De fato, sejam , ,
n
f g S tais que f:{1,2,...,n}{1,2,...n}, definida por f(1)=2, f(2)=1, e
g(x)=x, x, 3 x n e g:{1,2,...,n}{1,2,...,n}, definida por g(1)=2, g(2)=3, e g(3)=1, e se
n4 g(x)=x,x, 4 x n. Observe que:
(1) ( (1)) (2) 3 (1) ( (1)) (2) 1. gof g f g e fog f g f = = = = = = Logo, . fog gof
Portanto S
n
no comutativo quando n3.
Em particular, S
3
um exemplo de um grupo no comutativo com exatamente 6
elementos. usual denotar um elemento f do grupo S
n
, por:

1 3 2 ...
.
(1) (2) (3) ... ( )
n
f f f f n
| |
|
\

Assim, o grupo S
3
composto dos seguintes 6 elementos:
Exemplo 8.1: Para n=3, temos 3!=6 objetos, que so as seguintes permutaes:
0 1 2 3
4 5
1 2 3 1 2 3 1 2 3 1 2 3
, , , ,
1 2 3 3 1 2 2 3 1 2 1 3
1 2 3 1 2 3
, .
3 2 1 1 3 2
e f f f f
f f
| | | | | | | |
= = = = =
| | | |
\ \ \ \
| | | |
= =
| |
\ \

Exemplo 8.2: Vamos estabelecer uma relao entre o grupo de permutao de 3 elementos S
3

e as simetrias de um tringulo equiltero. Desta forma, sejam V
1
, V
2
,V
3
os vrtices de um
tringulo equiltero. Traando as bissetrizes do tringulo equiltero, nomeamos as trs como
E
1
, E
2
e E
3
, logo cada uma dos seguimentos divide o tringulo em partes iguais, onde
identificamos os eixos de simetria, veja Figura1.
Figura 1: Tringulo eqiltero de vrtice V
1
, V
2
, V
3,
V
3 .

Os elementos (id, R120, R240) so as rotaes planas centradas no ponto de interseo dos
segmentos E
1
, E
2
e E
3
, no sentido anti-horrio, de ngulos 0

, 120 e 240, como descrevemos

nas Figuras 2, 3, 4, respectivamente.




















Figura 2: Rotao plana no sentido anti-horrio, de ngulos 0, Id.
Figura 4: Rotao plana no sentido anti-horrio, de ngulo 240, R240.
Figura 3: Rotao plana no sentido anti-horrio, de ngulos 120, R120.
1 2 3
1 2 3
| |

|
\
1 2 3
2 3 1
| |

|
\
1 2 3
2 3 1
| |

|
\
Considere as rotaes espaciais nos eixos de simetrias: E
1
, E
2
, e E
3
, de ngulos 180, como
dados nas Figuras 5), 6) e 7), respectivamente.








Para cada caso, identificamos as permutaes do conjunto {1,2,3} com as simetrias do
tringulo equiltero de vrtices V
1
, V
2
e V
3
, dado nas Figuras 1:
- as rotaes planas centradas no ponto de interseo dos segmentos E
1
, E
2
, e E
3
no
sentido anti-horrio, de ngulos 0, 120 e 240, id, R120, e R240, respectivamente;
- as rotaes espaciais de ngulo de 180, com os eixos de simetrias: E
1
, E
2
, e E
3
, R
1
,
R
2
e R
3
.
CONCLUSES
Observamos que o conceito de grupo abstrato que usamos atualmente, foi estabelecido por
Galois. E, Este conceito est diretamente relacionado outras reas, como por exemplo,
1 2 3
1 3 2
| |

|
\
Figura 5: Rotao espacial no eixo E
1
, de ngulo 180, R1.
1 2 3
3 2 1
| |

|
\
Figura 6: Rotao espacial no eixo E
2
, de ngulo 180, R2
1 2 3
2 1 3
| |

|
\
Figura 7: Rotao espacial no eixo E
3
, de ngulo 180, R3
geometria, teoria dos nmeros e teoria de equaes algbricas e entre outras reas.
Pesquisamos estes conceitos tericos e caracterizamos o grupo das permutaes de um
conjunto com trs elementos e estabelecemos equivalncia entre o grupo das permutaes de
um conjunto com trs elementos e o grupo das simetrias de um tringulo eqiltero.
Constamos que este grupo no comutativo, logo no cclico. Tambm exploramos outros
exemplos de grupos no comutativos, o diedral de ordem 8, o grupo dos quatrnios de ordem
8. Exibimos uma classe de grupos cclicos que so os grupos com m elementos que so o
grupo das congruncias mdulo, com relao operao soma, para cada inteiro m>2.

REFERNCIAS
[1] Arpasi, J.P., Codificadores Homomorfos sobre grupos, Tese de Doutorado,
FEEC/UNICAMP, 1996.
[2] Boyer, Carl B. Histria da Matemtica. 1ed. So Paulo, Edgard Blcher. Ltda, 2003.
[3] Craveiro, Irene M. Caracterizao de Modulaes Digitais Casadas a Grupos
Dissertao de Mestrado, IBILCE/UNESP, setembro de 1999.
[4] Domingues, Hygino H. e Iezzi, Gelson. lgebra Moderna So Paulo, Editora atual,
1990.
[5] Garcia, Arnaldo e Lequain Yves., Elementos de lgebra. 3ed. Rio de Janeiro, IMPA,
2005.
[6] Gonalves, A., Introduo lgebra. 5ed. Rio de Janeiro, IMPA, 2005.
[7] Fraleigh, John B., A First Course in Abstract Algebra. 1ed. United States of America,
Addison-Wesley, 1967.
[8] http://pt.wikipedia.org/wiki/Teoria de grupos, acessada no dia 12-08-2009.
[9] http://turnbull.mcs.st-and.ac.uk/history/HistTopics/Development group theory.html,
acessada no dia 12-08-2009.
PRODUTOS ALCANADOS
Evento: IV Semana da Matemtica do CPAQ-DMT - minicurso: Teoria de Grupos -
acadmicos ministrantes: rico da Silva; Fernando da Silva Batista; Juliana Alves de Souza;
Tiago Clio Falco Pereira.