2017-04-25 16:37 GMT+02:00 Walter Carnielli: > Xavier Caicedo provou em ''The subdirect decomposition theorem for > classes of structures closed under direct limits'' (J. Austral. Math. > Soc. Series 4, 30 (1980), 171-179) uma generalização de um teorema de > Birkhoff, mostrando que toda álgebra (numa classe K de álgebras > definidas por meio de equações) é um produto subdireto de álgebras > subdiretamente irredutíveis em K.
Por falar em generalizações de Birkhoff, ocorreu-me postar aqui uma pergunta que fiz recentemente no StackExchange: https://math.stackexchange.com/questions/2230920/examples-of-algebraic-structures-that-live-at-the-intersection-of-varieties-and Se algum dos colegas tiver exemplos a contribuir, seria ótimo! Abraços, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjC3dg7ONgXwGjJf8YVdAEKrRwx9u0Mv8J5eNHKVsF8Vw%40mail.gmail.com.
