O lema da serpente é uma ferramenta utilizada na matemática, particularmente na álgebra homológica, para construir sequências exatas longas. O lema da serpente é válido em toda categoria abeliana e é uma ferramenta crucial na álgebra homológica e em suas aplicações, por exemplo, na topologia algébrica. Homomorfismos construídos com a sua ajuda são geralmente chamados de homomorfismos de conexão.
Enunciado Numa categoria abeliana (como a categoria de grupos abelianos ou a categoria de espaços vetoriais sobre um determinado corpo), considere um diagrama comutativo: center
onde as linhas são sequências exatas e 0 é o objeto nulo.
Então, existe uma sequência exata relacionando os núcleos e os conúcleos de , , e :
onde é um homomorfismo, conhecido como homomorfismo de conexão.
Além disso, se o morfismo é um monomorfismo, então também o é o morfismo , e se é um epimorfismo, então também o é .
Os conúcleos aqui são: , , .
Explicação do nome Para ver de onde o lema da serpente tira seu nome, expanda o diagrama acima da seguinte maneira: center
e então a sequência exata, que é a conclusão do lema, pode ser desenhada neste diagrama expandido no formato de um "S" invertido de uma serpente rastejante.
Construção das aplicações alt=Uma animação da perseguição no diagrama para construir a aplicação d, encontrando d(x) dado um x em ker c|thumb|361x361px|Uma animação da construção da aplicação d As aplicações entre os núcleos e as aplicações entre os conúcleos são induzidas de maneira natural pelas aplicações (horizontais) dadas, devido à comutatividade do diagrama. A exatidão das duas sequências induzidas segue de maneira direta a partir da exatidão das linhas do diagrama original. A afirmação mais importante do lema é a de que existe um homomorfismo de conexão que completa a sequência exata.
No caso de grupos abelianos ou módulos sobre algum anel, a aplicação pode ser construída da seguinte forma:
Escolha um elemento em e encare-o como um elemento de . Como é sobrejetivo, existe um em com . Pela comutatividade do diagrama, temos (já que está no núcleo de ), e, portanto, está no núcleo de . Como a linha inferior é exata, encontramos um elemento em com . Pela injetividade de , é único. Definimos então . Agora deve-se verificar que está bem definido (ou seja, depende apenas de e não da escolha de ), que é um homomorfismo, e que a sequência longa resultante é de fato exata. Pode-se verificar rotineiramente a exatidão através da perseguição no diagrama (veja a demonstração do Lema 9.1 em).
Uma vez feito isso, o teorema estará provado para grupos abelianos ou módulos sobre um anel. Para o caso geral, o argumento pode ser reformulado em termos de propriedades de setas e de cancelamento, em vez de elementos. Alternativamente, pode-se invocar o Teorema da imersão de Mitchell.
Naturalidade Nas aplicações, frequentemente é necessário mostrar que as sequências exatas longas são "naturais" (no sentido das transformações naturais). Isso decorre da naturalidade da sequência produzida pelo lema da serpente.
Se diagrama comutativo com linhas exatas
é um diagrama comutativo com linhas exatas, então o lema da serpente pode ser aplicado duas vezes, na "frente" e "atrás", produzindo duas sequências exatas longas; estas estão relacionadas por um diagrama comutativo da forma: diagrama comutativo com linhas exatas
Exemplo
Seja um corpo e um -espaço vetorial. é um -módulo através de sendo uma transformação -linear, logo, podemos aplicar o produto tensorial em e sobre .
Dada uma sequência exata curta de -espaços vetoriais , podemos induzir uma sequência exata pela exatidão à direita do produto tensorial. Porém, a sequência não é exata em geral. Consequentemente, surge uma pergunta natural. Por que esta sequência não é exata?
430x430px|center
De acordo com o diagrama acima, podemos induzir uma sequência exata aplicando o lema da serpente. Assim, o lema da serpente reflete a falha do produto tensorial em ser exato.
Na categoria dos grupos A sustentação do lema da serpente na categoria dos grupos depende da definição de conúcleo. Se é um homomorfismo de grupos, a propriedade universal do conúcleo é satisfeita pela aplicação natural , onde é o fecho normal da imagem de . O lema da serpente falha com esta definição de conúcleo: O homomorfismo de conexão ainda pode ser definido, e pode-se escrever uma sequência como no enunciado do lema da serpente. Este será sempre um complexo de cadeias, mas pode falhar em ser exato.
Se alguém simplesmente substituir os conúcleos no enunciado do lema da serpente pelas classes laterais (à direita) , o lema continua válido. Os quocientes, no entanto, não são grupos, mas sim conjuntos pontuados (uma sequência curta de conjuntos pontuados com aplicações e é chamada exata se ).
Contraexemplo para o lema da serpente com conúcleo categórico Considere o grupo alternante : este contém um subgrupo isomorfo ao grupo simétrico , que por sua vez pode ser escrito como um produto semidireto de grupos cíclicos: . Isso dá origem ao seguinte diagrama com linhas exatas:
Note que a coluna do meio não é exata: não é um subgrupo normal no produto semidireto.
Como é simples, a seta vertical à direita tem conúcleo trivial. Enquanto isso, o grupo quociente é isomorfo a . A sequência no enunciado do lema da serpente é, portanto: , que de fato falha em ser exata.
Na cultura popular A demonstração do lema da serpente é ensinada pela personagem de Jill Clayburgh bem no início do filme de 1980 It's My Turn.
Ver também Lema do zig-zag
Referências
Bibliografia
Ligações externas
Snake Lemma no nLab Demonstração do Lema da Serpente no filme It's My Turn
Categoria:Álgebra homológica Categoria:Lemas na teoria das categorias