Am Freitag, 29.6.2007 um 10:15(!)
hält 
                 Martin Goldstern

einen Vortrag mit dem Titel 
            
               Angewandte Algebra 1:
        Oligomorphe Strukturen und HSP_fin 
 
    

Ort: "Kleiner Seminarraum" des 
      Instituts für Diskrete Mathematik und Geometrie,
      1040 Wien, Wiedner Hauptstrasse 8-10, Turm A, 5.Stock
Abstract: Eine Struktur A heißt "oligomorph", wenn für jede natürliche Zahl k die Menge Ak durch die Äquivalenzrelation "es gibt einen Automorphismus von A, der x in y überführt" in nur endliche viele Klassen partitioniert wird.

(Beispiele für oligomorphe Strukturen sind alle endlichen Strukturen, die Menge der rationalen oder reellen Zahlen mit der <-Relation, oder jeder unendliche Vektorraum über einem endlichen Körper.)

Für eine universelle Algebra A sei HSP(A) die Menge aller homomorphen Bilder von Unteralgebren von Potenzen von A; nach dem Satz von Birkhoff ist das die kleinste gleichungsdefinierte Klasse, die A enthält. HSPfin(A) sei die Menge aller homomorphen Bilder von Unteralgebren von endlichen Potenzen von A.

Es gibt Beispiele, die zeigen, dass nicht jede endliche Algebra in HSP(A) bereits in HSPfin(A) liegen muss.

Bei der Konferenz in Nashville ist (motiviert durch das "Constraint satisfaction problem" CSP) die Frage aufgetaucht, ob so ein Beispiel auf Basis einer oligomorphen Struktur konstruiert werden kann. In meinem Vortrag werde ich mehrere Antworten (alle von Keith Kearnes) auf diese Frage geben.

(Hinweis: Weitere Vorträge über das CSP gibt es im Herbst.)

Back to Algebra Research Group or our seminar schedule