Olga Kharlampovich
Olga Kharlampovich (1958) é uma matemática russo-canadense que trabalha na área de teoria dos grupos. Ela é professora da CUNY Graduate Center e do Hunter College. Antes disso, lecionou matemática na Universidade McGill, em Montreal, no Canadá, onde trabalha desde 1990. É conhecida principalmente por seu exemplo de uma finitude apresentada em 3-passos de grupo solucionáveis com o problema da palavra (soluçãodo problema de Novikov–Adian) [1] e pela solução, juntamente com A. Myasnikov da conjectura de Tarski (a partir de 1945) sobre a equivalência de primeira ordem de finitude não abeliana de grupos livres[2] (também resolvidos por Zlil Sela[3]) e decidabilidade desta teoria comum.
| Olga Kharlampovich | |
|---|---|
| Nascimento | 25 de março de 1960 Ecaterimburgo |
| Cidadania | Canadá, União Soviética, Rússia |
| Alma mater |
|
| Ocupação | matemática, professora universitária |
| Prêmios |
|
| Empregador(a) | Universidade McGill, Universidade Estatal do Ural, Hunter College |
Ela recebeu seu Ph. D. da Leningrado State University (seu orientador de doutorado foi Lev Shevrin) e o "Doutor em Ciências", em 1990, a partir do Instituto Steklov de Moscou. Antes de seu compromisso atual, ela teve uma posição na Universidade do Estado de Ural, Ekaterinburg, na Rússia. Por seu trabalho de graduação no problema Novikov–Adian ela foi premiada, em 1981, com uma Medalha da Academia Soviética de Ciências. Ela deu uma resposta negativa a uma pergunta, colocada em 1965 por Kargapolov e Mal'cev sobre a decidabilidade algorítmica da teoria universal da classe de todos os finitos de grupos nilpotentes. Kharlampovich foi premiada em 1996 com o Krieger–Nelson Prêmio[4]. A Geometria algébrica para grupos que foi introduzida por Baumslag, Myasnikov, Remeslennikov [5] e Kharlampovich [6][6] tornaram-se uma das novas orientações de investigação em teoria combinatória dos grupos. Ela foi premiada em 2015 com o Prêmio Mal'cev por uma série de obras fundamentais do modelo teórico de problemas em álgebra.
Referências
- ↑ O. Kharlampovich, "A finitely presented solvable group with unsolvable word problem", Izvest.
- ↑ O. Kharlampovich, and A. Myasnikov.
- ↑ Z. Sela, "Diophantine geometry over groups.
- ↑ O. Kharlampovich and M. Sapir, Algorithmic problems in varieties, a survey, International Journal of Algebra and Computation, (1995), # 12, 379–602.
- ↑ G. Baumslag, A. Miasnikov, V. N. Remeslennikov.
- ↑ a b O. Kharlampovich, A. Myasnikov , Irreducible affine varieties over a free group.