Zlil Sela

Zlil Sela (2010)

Zlil Sela ({{#invoke:Vorlage:lang|full|CODE=he |SCRIPTING=Hebr |SERVICE={{#if: {{#invoke:TemplUtl|faculty| }} | {{#if: {{#invoke:TemplUtl|faculty| 0}} | Ivrit | {{#if: {{#invoke:TemplUtl|faculty| 0}} | neuhebräisch | {{#if: {{#invoke:TemplUtl|faculty| 0}} | hebräisch}}}}}} | hebräisch}} |SUITABLE=iv modern prefix neu}}; * 3. Mai 1962) ist ein israelischer Gruppentheoretiker, der sich mit geometrischer Gruppentheorie (hyperbolische Gruppen, elementare Theorie freier Gruppen) und Modelltheorie sowie deren Verbindungen beschäftigt.

Sela promovierte 1991 an der Hebrew University bei Eliyahu Rips.<ref>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 118496 | {{#ifeq: {{#property:P549}} | 118496 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}</ref> Er war (als Sloan Research Fellow) Associate Professor an der Columbia University. Zurzeit ist er Professor am Albert Einstein Institut für Mathematik der Hebrew University. Mit seinem Lehrer Rips löste er in den 1990er Jahren das Isomorphismus-Problem<ref>Es besteht darin zu zeigen, wann zwei Darstellungen zu isomorphen Gruppen gehören. Sela in: Annals of Mathematics. Band 141, 1995, S. 217.</ref> für torsionsfreie hyperbolische<ref>Nach Michail Gromow</ref> Gruppen. Dabei führte er mit Rips die JSJ-Zerlegung dieser Gruppen ein (über die Fundamentalgruppe eines Graphen der Gruppe), später von beiden erweitert auf endlich präsentierte torsionsfreie Gruppen.

Mit Rips bewies er mit denselben Techniken die algorithmische Lösbarkeit eines endlichen Systems von Gleichungen in torsionsfreien hyperbolischen Gruppen.<ref> Rips, Sela: Canonical representatives and equations in hyperbolic groups. In: Inventiones Mathematicae. Band 120, 1995, S. 489–512.</ref>

Anfang der 2000er Jahre löste er das Tarski-Problem (1945),<ref>Sela: Diophantine Geometry over Groups. Teil 1–6. In: Pub. Math. IHES. Band 93, 2001, S. 31; Israel J. Math. Band 134, 2003, S. 173; Band 143, 2004, S. 1; Band 147, 2005, S. 1; Band 150, 2005, S. 1; Geometry and Functional Analysis. Band 16, 2006, S. 537, 707.</ref> indem er zeigte, dass zwei endlich erzeugte nichtabelsche freie Gruppen dieselbe Theorie erster Ordnung haben („elementar äquivalent“ im Sinn der Modelltheorie). Für den Rest der Vermutung (Entscheidbarkeit der Theorie) publizierten Olga Kharlampovich und Alexei Myasnikov 2006 einen Beweis, den Sela aber für fehlerhaft hält.<ref>Sela A report on Tarski's decidability problem. Preprint 2014.</ref>

2008 erhielt er für seine Arbeiten den Karp-Preis, speziell für seine Lösung des Isomorphismus-Problems und des Tarski-Problems.<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20080513151024

      | {{#ifeq: 20080513151024 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Laudatio | {{#invoke:WLink|getEscapedTitle|Laudatio}} | {{#invoke:Webarchiv|getdomain|http://www.aslonline.org/Karp_recipients.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20080513151024}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Laudatio | {{#invoke:WLink|getEscapedTitle|Laudatio}} | {{#invoke:Webarchiv|getdomain|http://www.aslonline.org/Karp_recipients.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20080513151024}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Laudatio | {{#invoke:WLink|getEscapedTitle|Laudatio}} | {{#invoke:Webarchiv|getdomain|http://www.aslonline.org/Karp_recipients.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Laudatio | {{#invoke:WLink|getEscapedTitle|Laudatio}} | {{#invoke:Webarchiv|getdomain|http://www.aslonline.org/Karp_recipients.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Laudatio | {{#invoke:WLink|getEscapedTitle|Laudatio}} | {{#invoke:Webarchiv|getdomain|http://www.aslonline.org/Karp_recipients.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Laudatio | {{#invoke:WLink|getEscapedTitle|Laudatio}} | {{#invoke:Webarchiv|getdomain|http://www.aslonline.org/Karp_recipients.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20080513151024|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.aslonline.org/Karp_recipients.html}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Laudatio
    | {{#if: {{#invoke:WLink|isBracketedLink|Laudatio}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.aslonline.org/Karp_recipients.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.aslonline.org/Karp_recipients.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.aslonline.org/Karp_recipients.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref>

2003 erhielt er den Erdős-Preis der israelischen mathematischen Gesellschaft. 2005 hielt er die Tarski Lectures in Berkeley. Er war 2002 Invited Speaker auf dem ICM in Peking (Diophantine geometry over groups and the elementary theory of free and hyperbolic groups).

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Zlil Sela}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if:

   | {{#ifeq: {{#invoke:Str|left||9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Zlil Sela auf der Website des Einstein Instituts für Mathematik
Zlil Sela in der Datenbank zbMATH

Einzelnachweise und Anmerkungen

{{#ifeq: p | p | | {{#if: 2567153289955132770000 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 2567153289955132770000 | |

}} }}{{#ifeq:||{{#if: 2025-05-03 | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|2025-05-03|7}}]] }}{{#if: ja | {{#if: 2025-05-03 | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 2567153289955132770000 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 2567153289955132770000 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Sela, Zlil | {{#if: | {{#if: israelischer Logiker | {{#if: 3. Mai 1962 | {{#if: | {{#if: | {{#if: |

Personendaten
NAME	Sela, Zlil }}
ALTERNATIVNAMEN	}}
KURZBESCHREIBUNG	israelischer Logiker }}
GEBURTSDATUM	3. Mai 1962 }}
GEBURTSORT	}}
STERBEDATUM	}}
STERBEORT	}}

Vorlage:Wikidata-Registrierung