Quais são as classes de equivalência de 2 e de 3 para a congruência módulo 4 em ℤ?
Questão
Quais são as classes de equivalência de 2 e de 3 para a congruência módulo 4 em ℤ?
Alternativas
a) [2] = {..., -6, -1, 0, 4, 8, ...} e [3] = {..., -7, -3, 1, 5, 9, ...}
b) [2] = {..., -8, -4, 0, 1, 6, ...} e [3] = {..., -7, -3, 1, 5, 9, ...}
c) [2] = {..., -6, -2, 2, 6, 10, ...} e [3] = {..., -5, -1, 3, 7, 11, ...}
d) [2] = {..., -8, -4, 0, 4, 8, ...} e [3] = {..., -5, -2, 1, 5, 9, ...}
e) [2] = {..., -8, -4, 0, 4, 8, ...} e [3] = {..., -7, -3, 1, 2, 5, ...}
Explicação
Na congruência módulo 4 em , dizemos que quando , isto é, quando é múltiplo de 4.
Classe de equivalência de 2 (mód 4): Queremos todos os inteiros tais que . Isso equivale a escrever Listando alguns valores:
- para :
- para :
- para :
- para :
- para : Logo,
Classe de equivalência de 3 (mód 4): Queremos , isto é, Listando alguns valores:
- para :
- para :
- para :
- para :
- para : Logo,
Isso coincide exatamente com a alternativa (c).