SOBRE PARES DE FUNÇÕES DE GALOIS: UMA ADJUNÇÃO MOTIVADA PELAS TRADUÇÕES ENTRE LÓGICAS

Hercules de Araujo Feitosa, Mauri Cunha do Nascimento, Cristiane Alexandra Lázaro

Resumo


Apresentamos conceitos algébricos básicos e fundamentais para o desenvolvimento teórico dos pares de Galois. Então enunciamos as definições de pares de Galois e fazemos breves comparações entre os conceitos. Destacamos as adjunções, que caracterizam um caso de par de Galois e mostramos algumas de suas propriedades essenciais. Como resultado original, introduzimos uma conexão de Galois que envolve conceito abstrato e universal de tradução entre lógicas.

 

Palavras Chave: Pares de Galois, adjunções, conexões de Galois


Texto completo:

PDF

Apontamentos

  • Não há apontamentos.