Olga Kharlampovich
Olga Kharlampovich , russa Ольга Харлампович , Transkription Olga Charlampowitsch, (* 1958 ) é uma matemática russa-canadense que lida com teoria geométrica e combinatória de grupos, especialmente sob aspectos algorítmicos.
Kharlampovich recebeu seu PhD em 1984 de Lev Shevrin na Urals State University ( Algorítmico e outros problemas combinatórios para grupos e álgebras de Lie ). Em 1990, ela completou sua habilitação (doutorado em russo) no Instituto Steklow em Moscou. Ela é professora da Universidade McGill desde 1999 . Desde 2011, ela é professora do Hunter College, da City University of New York .
Em 2006, junto com Alexei Myasnikov, independentemente de Zlil Sela , ela resolveu o problema de Tarski (1945) da equivalência de teorias de primeira ordem de grupos livres não abelianos finalmente gerados .
Como estudante em 1980, ela resolveu um problema de Pyotr Sergeyevich Novikov e Sergei Ivanovich Adjan . Nowikow e Boone mostraram a insolubilidade da palavra problema para grupos finalmente apresentados. Em 1973, Novikow e Adjan propuseram o problema correspondente para grupos finalmente apresentados que cumprem uma identidade não trivial. Kharlampovich construiu um grupo que pode ser resolvido em três etapas (finalmente apresentado) com um problema de palavras insolúvel. Um ano antes, ela havia mostrado que o problema de decisão era insolúvel para grupos nilpotentes finitos (um problema de Kargapolov e Malzew ). Por este trabalho, ela recebeu uma medalha de ouro da Academia Soviética de Ciências .
Mais tarde, ela examinou a conexão entre propriedades algébricas e algorítmicas em variedades por meio de grupos e grupos de Lie , especialmente no que diz respeito à decidibilidade do problema da palavra.
Junto com outros matemáticos russos, ela fundou o campo de pesquisa da geometria algébrica usando grupos.
Em 1996 ela recebeu o Prêmio Krieger Nelson . Em 2014, ela é palestrante convidada no ICM em Seul com Alexei Miasnikov (Teoria dos modelos e geometria algébrica em grupos, ações não padronizadas e problemas algorítmicos).
Fontes
- com Mark Sapir Algorithmic Problems in Varieties, uma pesquisa , International Journal of Algebra and Computation, Volume 12, 1995, pp. 379-602
Links da web
Evidência individual
- ^ Projeto de genealogia da matemática
- ↑ Kharlampovich, Myasnikov Elementary theory of free non-abelian groups , Journal of Algebra, Volume 302, 2006, pp. 451-552
- ↑ Kharlampovich Um grupo solucionável finitamente apresentado com problema de palavra insolúvel , Izvest. Ak. Nauk, Ser. Mat., 45, 1981, 852-873
- ↑ G. Baumslag, A. Miasnikov, VN Remeslennikov Algebraic geometry over groups I. Conjuntos algébricos e teoria ideal , J. Algebra, Volume 219, 1999, pp. 16-79.
- ↑ O. Kharlampovich, A. Myasnikov Variedades afins irredutíveis sobre um grupo livre. I: Irredutibilidade de equações quadráticas e zeroset , J. Algebra, volume. 200, 1998, pp. 492-516, Parte 2 Sistemas em forma de escalão de linha e descrição de grupos residualmente livres , J. Algebra, Volume 200, 1998, pp. 517-570
| dados pessoais | |
|---|---|
| SOBRENOME | Kharlampovich, Olga |
| NOMES ALTERNATIVOS | Харлампович, Ольга; Charlampovich, Olga |
| DESCRIÇÃO BREVE | Matemático canadense-russo |
| DATA DE NASCIMENTO | 1958 |