Olga Kharlampovich

Olga Kharlampovich, {{#invoke:Vorlage:lang|full|CODE=ru|SCRIPTING=Cyrl|SERVICE=russisch}}, Transkription Olga Charlampowitsch, (* 1958) ist eine russisch-kanadische Mathematikerin, die sich mit geometrischer und kombinatorischer Gruppentheorie befasst speziell unter algorithmischen Aspekten.

Leben

Kharlampovich wurde 1984 bei Lev Shevrin an der Staatlichen Universität des Urals promoviert (Algorithmische und andere kombinatorische Probleme für Gruppen und Lie-Algebren).<ref>Mathematics Genealogy Project</ref> 1990 habilitierte sie sich (russischer Doktortitel) am Steklow-Institut in Moskau. Sie war seit 1999 Professorin an der McGill University. Seit 2011 ist sie Professorin am Hunter College der City University of New York.

2006 löste sie mit Alexei Myasnikov unabhängig von Zlil Sela das Tarski-Problem (1945) der Äquivalenz der Theorien erster Ordnung endlich erzeugter nichtabelscher freier Gruppen.<ref>Kharlampovich, Myasnikov Elementary theory of free non-abelian groups, Journal of Algebra, Band 302, 2006, S. 451–552</ref>

Als Studentin löste sie 1980 ein Problem von Pjotr Sergejewitsch Nowikow und Sergei Iwanowitsch Adjan. Nowikow und Boone hatten die Unlösbarkeit des Wortproblems für endlich präsentierte Gruppen gezeigt. Nowikow und Adjan schlugen 1973 das entsprechende Problem für endlich präsentierte Gruppen, die eine nichttriviale Identität erfüllen vor. Kharlampovich konstruierte eine in drei Schritten auflösbare Gruppe (endlich präsentiert) mit unlösbarem Wortproblem.<ref>Kharlampovich A finitely presented solvable group with unsolvable word problem, Izvest. Ak. Nauk, Ser. Mat., 45, 1981, 852–873</ref> Ein Jahr vorher hatte sie die Unlösbarkeit des Entscheidungsproblems für endliche nilpotente Gruppen gezeigt (ein Problem von Kargapolov und Malzew). Für diese Arbeiten erhielt sie eine Goldmedaille der Sowjetischen Akademie der Wissenschaften.

Sie untersuchte später den Zusammenhang zwischen algebraischen und algorithmischen Eigenschaften in Varietäten über Gruppen und Liegruppen, insbesondere in Bezug auf die Entscheidbarkeit des Wortproblems.

Mit weiteren russischen Mathematikern begründete sie das Forschungsgebiet der Algebraischen Geometrie über Gruppen.<ref>G. Baumslag, A. Miasnikov, V. N. Remeslennikov Algebraic geometry over groups I. Algebraic sets and ideal theory, J. Algebra, Band 219, 1999, S. 16–79.</ref><ref>O. Kharlampovich, A. Myasnikov Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and nullstellensatz, J. Algebra, Band. 200, 1998, S. 492–516, Teil 2 Systems in row-echelon form and description of residually free groups, J. Algebra, Band 200, 1998, S. 517–570</ref>

1996 erhielt sie den Krieger-Nelson-Preis. 2014 war sie eingeladene Sprecherin (Invited Speaker) auf dem ICM in Seoul mit Alexei Miasnikov (Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems).

Schriften

• mit Mark Sapir Algorithmic Problems in Varieties, a survey, International Journal of Algebra and Computation, Band 12, 1995, S. 379–602

Weblinks

• Homepage am Hunter College
• Homepage an der McGill University
• Olga G. Kharlampovich in der Datenbank zbMATH
• Vorlage:Mathnet

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 1235832643n98068631105123222 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 1235832643 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1235832643 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n98068631 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n98068631 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 105123222 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 105123222 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Kharlampovich, Olga | {{#if: Харлампович, Ольга Георгиевна (russisch) | {{#if: russisch-kanadische Mathematikerin | {{#if: 1958 | {{#if: | {{#if: | {{#if: |