Seção 27

Estruturas algébricas

avançado

(G, *) con clausura, asociatividad, identidad e inversos

Estrutura algébrica com operação invertível de grupo.

avançado

a * b = b * a

Grupo cuja operação também é comutativa.

avançado

a, b \in H \Rightarrow a b^{- 1} \in H

Critério compacto para verificação de subgrupos não vazios.

avançado

a (b + c) = ab + a c; (a + b) c = a c + b c

Estrutura com adição de grupo abeliano e multiplicação distributiva.

avançado

a \neq = 0 \Rightarrow a^{- 1} existe

Anel comutativo em que todo elemento diferente de zero é invertível.

avançadoviz

F_{p} = Z / p Z (p primo)

Campo finito fundamental em criptografia e teoria da codificação.

avançado

φ (ab) = φ (a) φ (b)

Mapa que preserva a operação algébrica.

avançado

A ≅ B

Homomorfismo bijetivo; indica equivalência estrutural.