|
== Definição ==
Sejam A e B duas estruturas de "MESMA ASSINATURA L". Uma função entre os domínios de A e B, isto é, h : dom(A) → dom(B) , “preserva os papéis” se:
domínios de A e B, isto é, h : dom(A) → dom(B) , “preserva os papéis” se:
1. Para todo símbolo de constante c de L:
* h(m^a(x1,x2,...,xn)) = m^b(h(x1),h(x2),...,h(xn))
As definições acima definem um "Homomorfismo". Para que haja um "Homomorfismo imersor", a função h deve ser "Injetiva" e no lugar de "se" temos "sse"(se somente se). Já para o caso de "Isomorfismo", além de ser "imersor", a função deve ser "Bijetiva" ("Imersão sobrejetora").
"Homomorfismo imersor", a função h deve ser "Injetiva" e no lugar de "se" temos
Sejam A e B duas estruturas, dizemos que A ⊆ B sse há um "HOMOMORFISMO IMERSOR" de A para B e dom(A) ⊆ dom(B) . Nesse caso dizemos que A é "SUBESTRUTURA" de B ou que B é "EXTENSÃO" de A
"sse"(se somente se). Já para o caso de "Isomorfismo", além de ser "imersor", a função deve ser
"Bijetiva" ("Imersão sobrejetora").
Sejam A e B duas estruturas, dizemos que A ⊆ B sse há um "HOMOMORFISMO
IMERSOR" de A para B e dom(A) ⊆ dom(B) . Nesse caso dizemos que A é
"SUBESTRUTURA" de B ou que B é "EXTENSÃO" de A
== Exemplo ==
| 