Univ., Diss.--Wien, 2006.

The thesis is concerned with group theoretical properties of unitary groups, mainly of II_1 factors. The author gives a new and elementary proof of an result on extreme amenability, defines the bounded normal generation property and invariant automatic continuity property and proves these for various unitary groups of functional analytic types.

Für die makroskopischen Eigenschaften und Funktionen biologisch relevanter Materie spielen schwache, intra- und intermolekulare Wechselwirkungen dispersiver und elektrostatischer Natur auf molekularem Niveau eine große Rolle. Um diese schwachen Wechselwirkungen zu untersuchen, können Modellsysteme, isoliert in der Gasphase, herangezogen werden. Benzoldimer, ein schwach gebundener Van der Waals Komplex, kann beispielsweise als Modellsystem für dispersive Wechselwirkungen dienen. In der vorliegenden Arbeit werden die strukturellen Eigenschaften und die (interne) Dynamik des Benzoldimers mit Hilfe spektroskopischer Methoden in den Energiebereichen der Rotationen, Vibrationen und elektronischen Übergänge untersucht und im Kontext der Symmetrie diskutiert. Die in dieser Arbeit vorgestellten Experimente tragen zu einem tieferen Verständnis des Benzoldimers bei, jedoch zeigt das Experiment zur internen Dynamik auch, dass eine ausreichende theoretische Beschreibung des Benzoldimers nach wie vor eine Herausforderung darstellt. Schwingungsübergänge hochsymmetrischer Moleküle sind oft optisch inaktiv, können jedoch mit der hier vorgestellten Methode der Symmetrieerniedrigung durch Komplexierung zugänglich gemacht werden, wie am Beispiel des Benzols demonstriert wird. Außerdem wird ein Mechanismus vorgstellt, der kollisionsinduzierte Konformationsänderungen in einem Molekularstrahl beschreibt. Dieses Modell kann generell für Molekularstrahlexperimente an flexiblen Molekülen hilfreich sein, einerseits um die beobachtete Konformationsverteilung zu verstehen, andererseits um die experimentellen Parameter gezielt zu verändern und somit Konformerpopulationen zu manipulieren. Die in dieser Dissertation vorgestellten spektroskopischen Experimente liefern einerseits molekülspezifische Informationen und ermöglichen andererseits, Modelle, die von allgemeiner Bedeutung sind, zu entwickeln. / The macroscopically observable properties and functionalities of biological matter are often determined by weak intra- and intermolecular interactions on the microscopic level. Such weak interactions are for example hydrogen bonding and van der Waals interactions and can be investigated best on isolated model systems in the gas phase. The benzene dimer, for example, is a prototype system to investgate dispersive interactions. The spectroscopic experiments, covering the energy ranges of rotations, vibrations and electronic transitions, presented in this thesis, contribute to a deeper understanding of the benzene dimer. However, from the experiments investigating the internal dynamics it becomes clear that an appropriate theoretical description of the benzene dimer is still a challenge. Vibrational transitions of highly symmetric molecules, as for example of the benzene, are often optically inactive. Here, a method is presented, which exploits symmetry reduction upon complexation and thus allows one to access such modes. Furthermore, a model is proposed describing collision induced conformational interconversion in a molecular beam. This model can be helpful for molecular beam experiments of flexible molecules to understand the observed relative conformational population and to adapt the experimental conditions allowing for the manipulation of the relative conformer abundances. In this thesis, results are presented that allow one on the one hand to deduce molecular specific information and that on the other hand also give a broader insight into phenomena of general importance.

Wir beschäftigen uns mit Problemen der algorithmischen Gruppentheorie und untersuchen dabei die Komplexität von komprimierten Versionen des Wortproblems und des Konjugationsproblems für endlich erzeugte Gruppen. Das Wortproblem fragt für eine feste, endlich erzeugte Gruppe ob ein gegebenes Wort über der Erzeugermenge das neutrale Element der Gruppe repräsentiert. Wir betrachten das gegebene Wort jedoch in einer komprimierten Form, als Straight-line Program (SLP) und untersuchen die Komplexität dieses Problems, das wir \'komprimiertes Wortproblem\' nennen. SLPs sind kontextfreie Grammatiken, die genau einen String erzeugen. Die Eingabegröße ist dabei stets die Größe des gegebenen SLPs. Eine Hauptmotivation ist dabei, dass für eine feste endlich erzeugte Gruppe das Wortproblem ihrer Automorphismengruppe durch eine Turingmaschine in Polynomialzeit auf das komprimierte Wortproblem der Gruppe selbst reduzierbar ist. Wir untersuchen das komprimierte Wortproblem für die verbreiteten Gruppenerweiterungen HNN-Erweiterungen (amalgamierte Produkte und Graphprodukte) und können zeigen, dass sich Instanzen des komprimierten Wortproblems von einer Turingmaschine in Polynomialzeit auf Instanzen des komprimierten Wortproblems der Basisgruppe (respektive Basisgruppen und Knotengruppen) reduzieren lassen. Weiterhin zeigen wir, dass das komprimierte Wortproblem für endlich erzeugte nilpotente Gruppen von einer Turingmaschine in Polynomialzeit entscheidbar ist. Wir betrachten außerdem eine komprimierte Variante des Konjugationsproblems. Das unkomprimierte Konjugationsproblem fragt für zwei gegebene Wörter über den Erzeugern einer festen endlich erzeugten Gruppe, ob sie in dieser Gruppe konjugiert sind. Beim komprimierten Konjugationsproblem besteht die Eingabe aus zwei SLPs und es wird gefragt, ob die beiden Wörter die von den SLPs erzeugt werden in der Gruppe konjugierte Elemente präsentieren. Wir konnten zeigen, dass sich das komprimierte Konjugationsproblem für Graphgruppen in Polynomialzeit entscheiden lässt. Weiterhin haben wir das Wortproblem der äußeren Automorphismengruppen von Graphprodukten endlich erzeugter Gruppen untersucht. Durch den engen Zusammenhang des komprimierten Konjugationsproblems einer Gruppe mit dem Wortproblem der äußeren Automorphismengruppe konnten wir zeigen, dass sich das Wortproblem der äußeren Automorphismengruppe eines Graphprodukts von endlich erzeugten Gruppen durch eine Turingmaschine in Polynomialzeit auf Instanzen von simultanen komprimierten Konjugationsproblemen der Knotengruppen und Instanzen von komprimierten Wortproblemen der Knotengruppen reduzieren lässt. Als Anwendung gelten obige Resultate auch für right-angled Coxetergruppen und Graphgruppen, da beide spezielle Graphprodukte sind. So folgt beispielsweise, dass das komprimierte Wortproblem einer right-angled Coxetergruppe in Polynomialzeit entscheidbar ist.

Let C be the class of finite nilpotent, solvable, symmetric, simple or semi-simple groups and n be a positive integer. We discuss the following question on group laws: What is the length of the shortest non-trivial law holding for all finite groups from the class C of order less than or equal to n?:Introduction 0 Essentials from group theory 1 The two main tools 1.1 The commutator lemma 1.2 The extension lemma 2 Nilpotent and solvable groups 2.1 Definitions and basic properties 2.2 Short non-trivial words in the derived series of F_2 2.3 Short non-trivial words in the lower central series of F_2 2.4 Laws for finite nilpotent groups 2.5 Laws for finite solvable groups 3 Semi-simple groups 3.1 Definitions and basic facts 3.2 Laws for the symmetric group S_n 3.3 Laws for simple groups 3.4 Laws for finite linear groups 3.5 Returning to semi-simple groups 4 The final conclusion Index Bibliography / Sei C die Klasse der endlichen nilpotenten, auflösbaren, symmetrischen oder halbeinfachen Gruppen und n eine positive ganze Zahl. We diskutieren die folgende Frage über Gruppengesetze: Was ist die Länge des kürzesten nicht-trivialen Gesetzes, das für alle endlichen Gruppen der Klasse C gilt, welche die Ordnung höchstens n haben?:Introduction 0 Essentials from group theory 1 The two main tools 1.1 The commutator lemma 1.2 The extension lemma 2 Nilpotent and solvable groups 2.1 Definitions and basic properties 2.2 Short non-trivial words in the derived series of F_2 2.3 Short non-trivial words in the lower central series of F_2 2.4 Laws for finite nilpotent groups 2.5 Laws for finite solvable groups 3 Semi-simple groups 3.1 Definitions and basic facts 3.2 Laws for the symmetric group S_n 3.3 Laws for simple groups 3.4 Laws for finite linear groups 3.5 Returning to semi-simple groups 4 The final conclusion Index Bibliography

Wir beschäftigen uns mit Problemen der algorithmischen Gruppentheorie und untersuchen dabei die Komplexität von komprimierten Versionen des Wortproblems und des Konjugationsproblems für endlich erzeugte Gruppen. Das Wortproblem fragt für eine feste, endlich erzeugte Gruppe ob ein gegebenes Wort über der Erzeugermenge das neutrale Element der Gruppe repräsentiert. Wir betrachten das gegebene Wort jedoch in einer komprimierten Form, als Straight-line Program (SLP) und untersuchen die Komplexität dieses Problems, das wir \''komprimiertes Wortproblem\'' nennen. SLPs sind kontextfreie Grammatiken, die genau einen String erzeugen. Die Eingabegröße ist dabei stets die Größe des gegebenen SLPs. Eine Hauptmotivation ist dabei, dass für eine feste endlich erzeugte Gruppe das Wortproblem ihrer Automorphismengruppe durch eine Turingmaschine in Polynomialzeit auf das komprimierte Wortproblem der Gruppe selbst reduzierbar ist. Wir untersuchen das komprimierte Wortproblem für die verbreiteten Gruppenerweiterungen HNN-Erweiterungen (amalgamierte Produkte und Graphprodukte) und können zeigen, dass sich Instanzen des komprimierten Wortproblems von einer Turingmaschine in Polynomialzeit auf Instanzen des komprimierten Wortproblems der Basisgruppe (respektive Basisgruppen und Knotengruppen) reduzieren lassen. Weiterhin zeigen wir, dass das komprimierte Wortproblem für endlich erzeugte nilpotente Gruppen von einer Turingmaschine in Polynomialzeit entscheidbar ist. Wir betrachten außerdem eine komprimierte Variante des Konjugationsproblems. Das unkomprimierte Konjugationsproblem fragt für zwei gegebene Wörter über den Erzeugern einer festen endlich erzeugten Gruppe, ob sie in dieser Gruppe konjugiert sind. Beim komprimierten Konjugationsproblem besteht die Eingabe aus zwei SLPs und es wird gefragt, ob die beiden Wörter die von den SLPs erzeugt werden in der Gruppe konjugierte Elemente präsentieren. Wir konnten zeigen, dass sich das komprimierte Konjugationsproblem für Graphgruppen in Polynomialzeit entscheiden lässt. Weiterhin haben wir das Wortproblem der äußeren Automorphismengruppen von Graphprodukten endlich erzeugter Gruppen untersucht. Durch den engen Zusammenhang des komprimierten Konjugationsproblems einer Gruppe mit dem Wortproblem der äußeren Automorphismengruppe konnten wir zeigen, dass sich das Wortproblem der äußeren Automorphismengruppe eines Graphprodukts von endlich erzeugten Gruppen durch eine Turingmaschine in Polynomialzeit auf Instanzen von simultanen komprimierten Konjugationsproblemen der Knotengruppen und Instanzen von komprimierten Wortproblemen der Knotengruppen reduzieren lässt. Als Anwendung gelten obige Resultate auch für right-angled Coxetergruppen und Graphgruppen, da beide spezielle Graphprodukte sind. So folgt beispielsweise, dass das komprimierte Wortproblem einer right-angled Coxetergruppe in Polynomialzeit entscheidbar ist.