UNIVERSIDADE FEDERAL DA BAHIA- UFBA

1. lgebra abstrata

DISCIPLINA: Matemtica Discreta I MAT A42

1.1.

Michele Novais

Semigrupo

Diz-se que uma operao

sobre um conjunto

estrutura de semi-grupo sobre , ou que

INTRODUO TEORIA DAS ORDENS

( associatividade)

Historicamente, o estudo das lgebras, em computao e

Notao.

informtica, destaca-se a partir de 1950, com o desenvolvimento

Se a operao for adio diremos que

da teoria dos autmatos e linguagens formais. De certa forma,

computao

um semi-grupo em

relao operao , se

INTRODUO

toda

define uma

informtica,

baseada,

direta

um semi-grupo

aditivo. E se a operao for multiplicao diremos que

um semi-grupo multiplicativo.

indiretamente, sobre lgebras.

Se a operao for comutativa, isto

As diretrizes curriculares do MEC para cursos de

, dizemos que

um semi-grupo comutativo.

computao e informtica [MEC 2004] referem-se a lgebra

como sendo uma denominao alternativa para a Matemtica

1.2.

Discreta. Assim, o estudo de lgebra mais amplo central no

contexto da matemtica discreta.

Monoide

Diz-se que uma operao

estrutura de monoide sobre
relao operao , se
1

sobre um conjunto
, ou que

define uma

um monoide em

c.
d.
(existncia do elemento neutro)

e.

Portanto um monide um semi-grupo que possui elemento

f.

neutro.
1.3.
Exemplo 1. Consideremos a aplicao

que leva

Diz-se que uma operao

Essa operao associativa pois

sobre um conjunto

estrutura de grupo sobre , ou que

. Tambm

. Logo 0 o elemento

neutro dessa operao. E

Logo

Grupo
define uma

um grupo em relao

operao se, e somente se

com a operao de mdc define um monide comutativo.

Exemplo 2.

Considere a aplicao de

tal que

( associatividade)

. E com a operao de composio de funo um

semi-grupo? um monide?

(existncia do elemento neutro)

tal que

Exemplo 3. Verifique se

define um monide ou um

(existncia do elemento inverso)

subgrupo.

Portanto G um monide

a.

elemento simetrizvel.

b.

que possua propriedade: todo

Se a operao for comutativa, dizemos que

um grupo

1.3.1. Propriedades bsicas de grupos

comutativo ou abeliano.
Exemplo 1. (

um grupo abeliano.

Exemplo 2.

um grupo abeliano.

Exemplo3. Seja

o conjunto das matrizes

1. Seja

uma identidade direita

(elemento neutro direita). Se

de

. Tal que

elementos inteiros com a operao de adio de matrizes. +

uma operao binria fechada

um grupo no qual
ento

qualquer elemento de
.

Temos que

Temos um grupo aditivo

comutativo, pois os inteiros possui essa caracterstica.

Exemplo4.

com a operao de multiplicao de matrizes

2. Teorema da Unicidade do Elemento Neutro de um Grupo

no um monide. Mostre!

Em qualquer grupo (ou monide)

Exemplo5. Mostre que

nico.

com a operao -, isto subtrao de

o elemento neutro

inteiros no um monoide.

De fato. Seja um elemento neutros de .

Exemplo6. Quais dos semi-grupoas a seguir so monides?

Ento

Indique seus elementos neutros.

particular

. Se

outro elemento neutro de G, em

, pela lema anterior,

3. Teorema da Unicidade dos Inversos em um Grupo

Exemplo 7. Faa a tabela do
Exemplo 8. Seja
. Mostre que

com a estrutura aditiva

Para cada x em um grupo

um conjunto dos inteiros. Seja

Todo elemento

um grupo.

Exemplo 9. Grupo de permutao

em um grupo

nico.
tem um elemento inverso

. Portanto, G contm diversos elementos inversos diferentes,

.

mas para cada

o inverso nico.

De fato,

1.3.2. Subgrupo
ento

Um subconjunto no-vazio de um grupo

. Segue-se

subgrupo de

se fechado em sob e se

Um subconjunto no-vazio

de um grupo

1. Quaisquer que seja

provar

um

condies:

um grupo com a operao ento

vamos

um grupo.

subgrupo se, e somente se, so vlidas as duas seguintes

4. Teorema do Inverso de um Produto

Se

chamado de

2. Qualquer que seja o

que

ento
, ento

=
Exemplo. Encontre subgrupos de
1.4.

5. Lei do cancelamento.

Um anel uma estrutura algbrica da forma

Qualquer grupo satisfaz a lei do cancelamento direita e

a esquerda. Isto

ento

ANEL

i.

ii.

, onde:

um grupo abeliano;
um semigrupo

iii.

De fato,

. Isto , vale a lei da distributividade direita e

esquerda.

OBSERVAO

Exemplo 2. Os inteiros pares formam um anel comutativo

sem identidade.

1. Se

for um monide ,

dito ser anel com

Exemplo 3. Os nmeros racionais constituem um corpo.

identidade. (isto , se existe o elemento neutro da

Exemplo 4.

multiplicao );

Exemplo 5.

2. Se

for comutativo, o anel

dito ser

so corpos.
um anel comutativo sem

identidade.
Exemplo 6.

comutativo;
3. Um anel chamado domnio de integridade se um anel

um anel chamado anel dos inteiros

mdulo
Exemplo 7.

comutativo com identidade no qual se

. ( isto , sem divisores de zero);

Exemplo 8.

um anel que no comutativo.

um corpo.

4. Um anel dito ser anel de diviso se os elementos de no

nulos de

formam um grupo multiplicativo sob (.);

1.4.1. SUBANEL

5. Um anel chamado corpo se os elementos no nulos de R,

Seja

formam um grupo comutativo sob (.).

que

um anel e

um subconjunto de

seja fechado para as operaes

. Suponhamos

de , isto

i.
Assim um corpo um anel de diviso comutativo.
Exemplo 1. Os inteiros

ii.

constituem um domnio de

integridade mas no um corpo, pois

Isto os elementos no nulos de

Assim podemos tambm considerar a soma e o produto como

no um grupo.

operao de

. Se

no forma um anel de

dizemos que

um subanel de .

diviso.

for um anel com as operaes de

Segue-se que podemos definir um subanel da seguinte forma:

Atividade I
Seja

um anel e

um subconjunto de . B um subanel

de R se, e somente se:

01. Seja

i.

subgrupos de um grupo G. Mostre que:

a.

um subgrupo de

b.

um subgrupo de

ii.
02. Seja S o conjunto dos nmeros racionais no nulos. Seja
Se B subanel de r, usaremos a notao:
Exemplo 1.

. Quais dos axiomas de grupo valem para

Exemplo 2.

03. Mostre que

no subanel de

04. Seja A um anel e

3.5.1. IDEAL

. Prove que

um subanel de

Seja um subanel de um anel . um ideal de

05. Seja
Exemplo 1.

por:

ideal de

Exemplo 2. Consideremos o anel

. Mostre que R um anel comutativo com 1.

um ideal esquerda mas no a direita.

Exemplo 4.

. Defina em R as operaes

so todos ideais de

06. Seja

Defina

em

por:

para todo

Se + e . a adio usual dos inteiros,

um anel

2. Relao de ordem

comutativo co identidade?
07. Escreva todos os divisores de zero dos seguintes anis
a.

b.

c.

d.

08. Mostre que

2.1. Operaes binrias.

e.

As operaes que tem interesse para a computao e

um subanel de

informtica so as seguintes:
09. Sejam
10. Em

ideais de R. Mostre que

um ideal de .

dar um exemplo de dois elementos

operaes binrias , ou seja, cujo domnio um

conjunto resultante de produto cartesiano;

tais que

operao interna a um conjunto A, ou seja, cujo domnio e

contradomnio so definidas sobre A.

Operaes fechadas, ou seja total.

Definio. Operao binria, Operao interna e Operao

fechada. Sejam

conjuntos. Ento:

a. Uma operao binria uma aplicao do tipo

b. Uma operao interna ao conjunto A uma operao cujo

domnio e o contradomnio esto definidos em A. Em
particular uma operao binria interna ao conjunto A:

2.2.
c. Operaes fechadas, ou seja total. uma funo.

Seja X um conjunto no-vazio. Uma relao

R

Propriedades das operaes binrias

dita

i.

Reflexividade -

ii.

Transitividade -

sem parnteses,

ento

Ou

pois o grupamento dos termos no interfere no resultado.

Se

de

pr-

ento

possui uma pr ordem

dito ser um conjunto

pr-ordenado.

tem um elemento neutro (ou elemento

2.3.

identidade) se
tem um elemento neutro

relao

2. A operao dita comutativa se

4. Se

uma

condies forem satisfeitas:

1. A operao dita associativa se

3.

ser

ordenamento ou quase ordem em X, se as seguintes

Seja um conjunto e seja uma operao binria em .

A associatividade nos permite escrever

Pr-ordem (ou quase ordem)

Relao de ordem Parcial

Diz-se que uma relao

ento todo

sobre um conjunto S uma relao de

ordem se, e somente se, as seguintes condies esto verificadas:

elemento em tem um inverso com relao a se

(i)
(ii)
(iii)

( reflexiva)
(anti-simtrica)
( transitiva)

Se

uma relao de ordem sobre

conjunto ordenado pela ordem

ordenada um par ordenado

, diremos que S um

do seguinte tipo: Para

portanto uma estrutura

, onde

um conjunto e

esta uma relao de ordem.

uma ordem sobre .

Exemplo 1.

2.4.

uma estrutura ordenada. Isto

. Mostre que

uma

Relao de ordem total

Diremos que

ordem sobre .

uma ordem total sobre . Nesse caso,

uma estrutura totalmente ordenada. Se R no uma ordem

De fato,

total, diremos que R uma ordem parcial.

.
Exemplo 4. Consideremos o conjunto dos nmeros naturais

Exemplo 2.

- divisibilidade em

no uma relao de

divisores de

ordem. Mas a divisibilidade uma relao de ordem no conjunto

dos nmeros naturais.
Se uma ordem

sobre um conjunto

, verificar a seguinte

(i)

uma estrutura ordenada? Sim

(ii)

uma estrutura totalmente ordenada? No

condio,
(iv)

De modo geral a relao de divisibilidade sobre o conjunto dos

naturais uma relao de ordem, mas no um relao de

Exemplo 3. Seja X um conjunto e P(X) a coleo de todos os

ordem total.

subconjuntos de X. podemos estabelecer em P(X) uma relao R

Exemplo 5. Seja
ordem
seja,

o conjunto dos nmeros reais e a relao de

se

Exemplo 4. A ordem estrita associada ordem

for um nmero negativo ou nulo (ou

significa

.Mostre que essa uma relao de ordem total em

Isto ,

2.5.
Seja

<. Ento a<b

Ordem estrita

2.6.

uma estrutura ordenada. Consideramos a relao

estritamente menor a que .

Ordem lexicogrfica

possvel estabelecer uma relao de ordem total em

sobre definida por

seguinte forma: Dizemos que

da

Se

Esta relao de ordem denominada

A relao

denominada ordem estrita sobre

se satisfaz as

relao de ordem lexicogrfica no

seguintes condies:

Essa definio pode ser facilmente generalizada. Seja X um

(i)

conjunto totalmente ordenado por uma relao de ordem total

(ii)

. Ento

(iii)
Nesse caso diz-se que

pode ser totalmente ordenado dizendo-se:

se houver um

uma ordem estrita associada a ordem

. Se uma ordem total, a ordem estrita associada a ela tambm

total.

10

tal que

Atividade 2
a.
1. Diga se as operaes binrias seguintes de

so

. (Ordem menor ou igual

).

. (Ordem menor ou igual

).

b.

operaes binrias em .
a.
b.
c.
d.
e.
Em caso afirmativo, diga se a operao e associativa,
se possui elemento neutro e se possui elementos
invertveis.
2. Considere um conjunto com 5 elementos e construa um
exemplo de relao de ordem total e de ordem parcial.
3. Mostre que as relaes abaixo so relaes de ordem
em seus respectivos conjuntos, e determine quais
conjuntos so parcialmente ordenado e quais so
totalmente ordenado.

11