GRUPOS

Seja G um conjunto no vazio munido de uma operao (). Dizemos que G um

grupo com relao operao () se as seguintes propriedades so vlidas:

Associatividade: ( ) = ( ); , , .
Existncia de elemento neutro: = = ; .
Existncia de simtrico: = = ; , .

Exemplos:
(, +)
(,)
(22 ()+ ,)

Comutativo: Se = ; , , ento chamado Abeliano.

Exemplos:
- .
- 1 um nmero inteiro ento o conjunto dos inteiros mdulo , um grupo
aditivo contendo exatamente n elementos.

SUBGRUPO
Seja (, ) um grupo e H um subconjunto de G. Dizemos que H um subgrupo de G
se (, ) for um grupo.
Notao: <

Exemplos:
- (, +) < (, +)
- ({1, 1},) < ( ,)
- H = (, +) um subgrupo de = (, +).
O conjunto dos inteiros pares com a operao de adio usual um subgrupo de =
(, +).
RELAO DE EQUIVALNCIA
Seja A um conjunto no vazio. Dizemos que uma relao sobre A uma relao de
equivalncia se as seguintes propriedades so vlidas:
(, ) , (reflexiva);
(, ) (, ) (simtrica);
(, ) e (, ) (, ) (transitiva).

Exemplo:
Conjunto de estados do Brasil
- equivalncias: Regies
(, ) e esto na mesma regio
{, , }, {, , , } Classes de equivalncia

= { /(, )

RELAO DE EQUIVALNCIA COM OS INTEIROS

: Seja a relao de equivalncia se e deixam os mesmos restos quando
divididos por 5. (Inteiro mdulo 5 )

Exemplo:
0 = { , 10, 5, 0, 5, 10, 15, }
1 = { , 9, 4, 6, 11, 16, 21, 26 }
2 = { , 8, 3, 2, 7, 12, 17, 22, }
3 = { , 3, 2, 7, 12, }
4 = { , 1, 4, 9, 14, 19, }
5 = 0
= 0
15
17
= 2
Essa relao quebrou o conjunto em 5partes
{0, 1, 2, 3, 4}
Notao: 5 = {0, 1, 2, 3, 4}
SOMA MULTIPLICAO
1 + 0 = 1 2 3 = 1 = 6
1 + 2 = 3
1 + 3 = 4
1 + 4 = 0

POR DEFINIO:
+ =
+
=

Mod 5

+



0 1 2 3 4

1 2 3 4 0

2 3 4 0 1

3 4 0 1 2

4 0 1 2 3

Propriedades:
+ =
+ =
+ = +
0 + =
0 + =
+ + =
( + ) + = ( + ) + =
+ ( + ) = +
+ = + ( + )

Definio: Inteiro mdulo n.

= {0, 1, 2, ,
1}
= 0
1 =
1 = 1 + ( 1) = = 0
2 =
2 = 0

=
+ () = +
=