Auf dieser Seite finden sich einige MuPAD-Dateien, die ich für Berechnungen in meiner Dissertation verwendet habe. Insbesondere die Beispiele aus Teil II der Dissertation sind hier zu finden.
Hinweis: Um MuPAD verwenden zu können, muss das Programm Matlab installiert sein. Dann kann man in der Matlab-Kommandozeile eingeben, um MuPAD zu starten.
Berechnungen zu den Beweisen in Kapitel 6
Beispiele zu Teil II der Dissertation
Signatur (4,4) Heisenberg-Gruppe operiert auf mit nicht-abelscher linearer Holonomiegruppe. Der Zentralisator hat eine offene Bahn, operiert aber nicht transitiv.
Signatur (7,7) (a) Heisenberg-Gruppe operiert auf mit nicht-abelscher linearer Holonomiegruppe. Der Zentralisator operiert transitiv.
Zusätzliche Beispiele
Signatur (7,7) (b) Heisenberg-Gruppe operiert auf mit nicht-abelscher linearer Holonomiegruppe. Dieses Beispiel wird in der Dissertation nicht vorgestellt. Es unterscheidet sich von Signatur (7,7) (a) dadurch, dass der total isotrope Unterraum
hier von Dimension 3 ist. Der Zentralisator ist recht kompliziert; mir ist noch nicht ganz klar, ob er transitiv operiert oder nicht.
