Álgebra I Flashcards
Grupo
possui uma operação com as propriedades associativa, elemento neutro e inverso, pode ser abeliano (comutativo)
Anel
2 operações que satisfazem (A,+) grupo abeliano, el. neutro 0, ass. e dist.
Anel comutativo
tem multiplicação comutativa
Anel de grupo
∑{g∈G} a{g}g | a_{g}, g∈G, a_{g}=0 para quase todo g
elemento neutro do anel de grupo
∑_{g∈G}0.g
elemento neutro da multiplicação no anel de grupo
∑{g∈G} a{g}g | a_{g}=1 se g=1, a_{g}=0 caso contrário
série formal A[[x]]
série formal com coeficientes no anel A
operações na série formal
adição (termo a termo) e multiplicação (distributiva)
definição de série
soma de uma sequência de infinitos termos
definição de sequência
é uma função cujo domínio é um conjunto contável totalmente ordenado
definição de série formal
polinômio em que é permitido ter infinitos termos
inteiro módulo
Z/nZ é um anel comutativo e com unidade
operações inteiro módulo
a+b={a+b se a+b=n e ab é o resto da divisão de ab por n
congruência módulo n
relação de equivalência no conjunto dos inteiros a ≡ b (mod n) se (a-b) é divisível por n
em um anel, se ab=0 com b ≠ 0
a e b são divisores de 0 neste anel
anel livre de torção
se não existe x∈G satisfazendo x^n=1
domínio
A é um anel comutativo e ab=0 (a=0 ou b=0)
idempotente
a²=a, 0 e 1 são idempotentes triviais
nilpotente
a^n=0 para algum n inteiro positivo, menor n é o índice de nilpotência
unidade (inversível)
x∈A, se ∃ y∈A | xy=1=yx
notação: A^x={a∈A|∃b∈A tq ab=ba=1}
anel de divisão
A se A^x=A-{0}
Corpo
A é um anel de divisão comutativo
todo corpo é domínio
seja K um corpo, corpo sempre é comutativo, a,b∈ K tal que ab=0 se a≠0, ∃a^-1∈K tq a^-1a=1 então b=0
todo domínio finito é corpo
domínio é comutativo e ab=0 (a=0 ou b=0) então é anel de divisão
Z/nZ é um corpo ⇔
⇔ n é primo
teorema de fermat
se p é primo e não divisível por a, então a^(p-1) ≡ 1 (mod p)