QUESTÃO 1.

Considere os elementos α = ( 11 2 3
3 2) e β=( 13 2 3
2 1) pertencentes ao grupo

das permutações S3. Assinale a opção que representa α.β.

1 2 3
A. α . β=(2 1 3 )
1 2 3
B. α . β=(
2 3 1)
1 2 3
C. α . β=(
1 2 3)
1 2 3
D. α . β=(
1 3 2)
1 2 3
E. α . β=(
3 2 1)

Gabarito: alternativa B

Entre as estruturas algébricas conhecidas, a estrutura de grupo talvez seja uma das mais estudadas.
Entre os grupos mais conhecidos, encontra-se o grupo S3 das permutações de um conjunto com n
elementos, como um exemplo clássico de grupo finito e não abeliano.
Sabe-se que S3 é um grupo cujos elementos são permutações (funções bijetoras) de um conjunto S
de três elementos com a operação de composição de funções. Os elementos fornecidos,

α= ( 11 2 3
3 2) e β= ( 13 2 3
2 1 ) são permutações denotadas na forma matricial (o que é usual

para esse grupo): na primeira linha estão colocados os elementos do conjunto de partida, ou
domínio, de cada função. Suas imagens, pertencentes ao conjunto de chegada, ou contradomínio,
aparecem na segunda linha, logo abaixo de seus correspondentes elementos do domínio. Quanto à
solução do exercício especificamente, deve ser levado em consideração o fato de que α . β , ou
α o β , é a função obtida através da composição, isto é, (α . β)(x )=α ( β (x)) . Assim:
• α(β(1)) = α(3) =2
• α(β(2)) = α(2) =3
• α(β(3)) = α(1) =1

Tem-se então a função α . β=( 12 2 3

3 1) que é dada na alternativa B. O nível de dificuldade desta

questão é fácil, uma vez que não são exigidos muitos conhecimentos da teoria de grupos, basta que
seja reconhecido o grupo e feita a composição de dois de seus elementos.
QUESTÃO 2. Seja A um conjunto e seja ~ uma relação entre pares de elementos de A. Diz-se que
~ é uma relação de equivalência entre pares de elementos de A, se as seguintes propriedades são
verificadas, para quaisquer elementos a, a’ e a’’ de A:
(I) a ~ a;
(II) se a ~ a’, então a’ ~ a;
(III) se a ~ a’ e a’ ~ a’’, então a ~ a’’.

Uma classe de equivalência do elemento a de A com respeito à relação ~ é o conjunto

ā = {x ∈ A : x ~ a}
O conjunto quociente de A pela relação de equivalência ~ é o conjunto de todas as classes de
equivalência relativamente à relação ~, definido e denotado como a seguir:
A / ~ = { ā : a ∈ A}
A função π : A→A/~ é chamada projeção canônica e é definida como π (a) = ā, ∀ a ∈ A.

Considerando as definições acima, analise as afirmações a seguir.

I. A relação de equivalência ~ no conjunto A particiona o conjunto A em subconjuntos disjuntos, as
classes de equivalência.
II. A união das classes de equivalência da relação de equivalência ~ no conjunto A resulta no
conjunto das partes de A.
III. Qualquer relação de equivalência no conjunto A é proveniente de sua projeção canônica.
IV. As três relações seguintes = , ≡ (mod n) e ≥ são relações de equivalência no conjunto dos
números inteiros Z.

É correto apenas o que se afirma em

A. I.
B. II.
C. I e III.
D. II e IV.
E. III e IV

Gabarito: alternativa C

A primeira afirmativa é verdadeira. Esse fato advém do próprio conceito de partição de um conjunto
associada à de classes de equivalência apoiada na proposição que diz: se ~ é uma relação de
equivalência em um conjunto A, então A/~ é uma partição de A.
A segunda afirmativa é falsa, visto que o conjunto das partes de um conjunto A é formado por todos
os subconjuntos de A. Logo, existirão elementos cuja intersecção é diferente do vazio, exigência de
uma partição. Por outro lado, sabe-se que a partição é um subconjunto próprio do conjunto das
partes de A.
A terceira afirmativa é verdadeira, pois provém da proposição: se P é uma partição do conjunto A,
então existe uma relação de equivalência ~, em A, de modo que A/~ = P.
A quarta afirmativa é falsa. Sabe-se que a relação “ ≥ ” é uma relação de ordem que não satisfaz a
simetria (correspondente ao item II no enunciado da questão), uma das propriedades da relação de
equivalência. Então as afirmações I e III são verdadeiras.

QUESTÃO 3. O conjunto M 2 (ℤ) é formado pelas matrizes quadradas de ordem 2 com entradas
inteiras. Esse conjunto é fechado sob as operações usuais de soma e multiplicação de matrizes, uma
vez que as entradas das matrizes resultantes da soma e da multiplicação são números inteiros.
Com relação à estrutura algébrica desse conjunto com as operações descritas, avalie as seguintes
asserções e a relação proposta entre elas.
I. O conjunto M 2 (ℤ) , munido das operações usuais de soma e multiplicação forma um anel.
PORQUE
II. O conjunto M 2 (ℤ) , munido das operações usuais de soma de matrizes, forma um grupo e
existe o elemento unidade dado pela matriz identidade de ordem 2.

A respeito dessas asserções, assinale a alternativa correta.

A. As asserções I e II são proposições verdadeiras, e a II é uma justificativa correta para I.
B. As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa correta para I.
C. A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.
D. A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
E. As asserções I e II são falsas.

Gabarito: alternativa B
a b a , b , c , d∈ℤ
Sabe-se dos estudos de Álgebra que a adição em M 2 (ℤ)=
c d {[ ] } é associativa,

comutativa, possui elemento neutro, a matriz nula, e todo elemento possui inverso aditivo. Essas
propriedades fazem desse conjunto, com a operação adição, um grupo abeliano. Considerando em
M 2 (ℤ) a operação multiplicação, sabendo que essa operação é associativa e, ainda, que a
multiplicação se distribui sobre a adição, temos, nesse conjunto, um anel com essas operações.
Logo, a afirmativa I é verdadeira.
Já foi observado que o conjunto M 2 (ℤ) é um grupo aditivo e sabe-se também que a matriz

identidade [ 10 01 ] é o elemento unidade, ou elemento neutro da multiplicação das matrizes

quadradas de ordem 2. Logo, a afirmativa II também é verdadeira mas não é justificativa da
primeira.

Analisando as alternativas, temos:

Alternativa A – Falsa
As afirmativas I e II são verdadeiras, mas a II não é justificativa para a I, pois ser um grupo aditivo
não é justificativa para ser anel. Além disso, para formar um anel, a multiplicação não necessita
possuir elemento neutro. Assim, as propriedades necessárias para que exista um anel não foram
citadas.
Alternativa B – Verdadeira
As análises feitas já deixam evidentes as afirmações da alternativa.
Alternativa C, D e E – Falsas

QUESTÃO 4. Avalie as seguintes afirmações a respeito das estruturas algébricas:

I. Se I é um ideal de ℤ , então I = m ℤ = {ma:a ∈ Z } , para algum m∈ Z .

II. O conjunto das classes de equivalência módulo n, ℤn = ℤ /n ℤ , para n primo, munido das
operações usuais de adição e multiplicação é um corpo.
III. O conjunto dos números complexos com parte real nula, munido da operação usual de adição,
forma um grupo abeliano.
IV. O conjunto das matrizes quadradas de ordem 2 com entradas reais, munido das operações usuais
de adição e multiplicação, é um anel não comutativo com unidade.

É correto o que se afirma em

A. I, apenas.
B. II, apenas.
C. I, III e IV, apenas.
D. II, III e IV, apenas.
E. I, II, III e IV.

Gabarito: alternativa E
Para chegar-se à conclusão sobre a veracidade ou falsidade das proposições apresentadas, são
necessários conhecimentos sobre classes de equivalência e estruturas como Anéis principais e
Ideais, Anéis quocientes e ainda a estrutura de Grupos. Analisando cada afirmação tem-se o
seguinte:
Afirmativa I: Sabe-se que ℤ é um domínio de ideais principais, isto é, todo ideal de ℤ é um
ideal principal e, portanto, da forma m ℤ como a descrita. Sendo assim, a afirmação é verdadeira,
portanto eliminam-se as alternativas “B” e “D”.
Afirmativa II: O conjunto das classes de equivalência módulo n, ℤn =ℤ/ n ℤ , para primo,
munidos de adição e multiplicação é um corpo. Se “n” é primo, n ℤ é um ideal maximal de ℤ ,
logo o anel quociente indicado, é um corpo. Portanto, a afirmação é verdadeira e podem ser
eliminadas também as alternativas “A” e “C”.
Afirmativa III: O conjunto dos números complexos com parte real nula, munido da operação usual
de adição, forma um grupo abeliano. Temos A={x +iy/ x=0 e y∈ℝ} , o subconjunto de ℂ
referido no exercício. Com a operação de adição tem-se o elemento neutro 0+0 i de ℂ . Cada
elemento 0+iy tem seu inverso aditivo 0 – iy , pois (0+iy)+(0−iy )=0+0 i (elemento neutro).
A comutatividade e a associatividade são herdadas de ℂ por termos a adição como operação nesse
conjunto. Logo, a afirmativa está correta.
Afirmativa IV: O conjunto das matrizes quadradas de ordem 2 com entradas reais, munido das
operações usuais de adição e multiplicação, é um anel não comutativo com unidade. Esse é um dos
anéis mais trabalhados nas disciplinas de Álgebra. É citado em toda bibliografia que aborda o
assunto por ser um bom exemplo de anel não comutativo com unidade.
Com essas observações percebemos que as quatro afirmações estão corretas.

QUESTÃO 5. Considerando a, b e c pertencentes ao conjunto dos números naturais e

representando por a∣b a relação “a divide b”, analise as proposições abaixo.
I. Se a∣( b+c ) , então a∣b ou a∣c .
II. Se a∣b⋅c e mdc (a,b) = 1, então a∣c .
III. Se a não é primo e a∣b⋅c , então a∣b ou a∣c .
IV. Se a∣b e mdc( b , c)=1 , então mdc(a , c)=1 .

É correto apenas o que se afirma em

A. I.
B. II.
C. I e III.
D. II e IV.
E. III e IV.

Gabarito: alternativa D

O trabalho com números naturais e inteiros – particularmente a relação de divisibilidade – apresenta

se como um tópico extremamente importante na teoria dos números como parte do estudo da
álgebra moderna. Na presente questão, observa-se que:
A primeira afirmativa é falsa. Por exemplo, sabe-se que 6∣8+ 4 mas 6∤8 e 6∤4 .
A segunda afirmativa é verdadeira, pois: se a∣bc , então existe um inteiro x tal que ax=bc e
como mdc( a , b)=1 , é possível afirmar, de acordo com o teorema de Bèzout, que existem inteiros
r e s tais que ar +bs=1 . Multiplicando esta última igualdade por c, chega-se a acr +bcs=c .
Fazendo a substituição de bc por ax, segue que acr + axs=c , isto é, c=a(cr + xs ) e portanto
a∣c .
A terceira afirmativa é falsa, visto que 6∣3⋅8 , porém 6∤3 e 6∤8 .
A quarta afirmativa é verdadeira. De fato, se mdc( a , c)=d então d∣a e d∣c . Por outro lado,
se d∣a então d∣b , pois por hipótese a∣b . Portanto, considerando que d∣c e d∣b , é
necessário que d seja igual a 1, visto que mdc( b , c)=1 , também por hipótese. Assim,
mdc(a , c)=1 .