Rechnergestützte Gruppenkohomologie

计算群上同调

• 批准号: 34405717
• 负责人: Professor Dr. David J. Green
• 金额: --
• 依托单位: Fakultät für Mathematik und Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/34405717?language=en
• 关键词: Rechnergest; tzte; Gruppenkohomologie

Die Kohomologie endlicher Gruppen ist ein Forschungsthema, das Teile der Modularen Darstellungstheorie, der Gruppentheorie und der Algebraischen Topologie zu einer Einheit verbindet. Viele strukturelle Beziehungen lassen sich als gruppentheoretische Beschreibungen der Kommutativen Algebra des Kohomologierings ausdrücken. Fortschritte in der Theorie und bessere Methoden für Computerberechnungen treiben sich hier gegenseitig voran. In der ersten Förderphase wurde die zweite Hälfte unseres Programms zur Kohomologieberechnung stark verbessert. D. Bensons Regularität-Vermutung bestand den ersten Härtetest, und die Kohomologieringe aller 2328 Gruppen der Ordnung 128 wurden berechnet. In der Fortsetzung wird die Berechnung der minimalen Auflösung in der ersten Hälfte des Programms verbessert und beschleunigt. So werden viele große Berechnungen durchgeführt, und weitere Fälle von Bensons Vermutung werden geprüft. Das Programm wird der Öffentlichkeit als Paket im Computeralgebrasystem SAGE zur Verfügung gestellt; und die Ergebnisse werden in einer SAGE-lesbaren Datenbank veröffentlicht.

Die Kohomolicher gruppen ein forschungsthema，das darstellungs Theorie Topologie Zu Einheit des kohomologieringsausdrücken。 ERT。 ，die kohomolologierings Aller 2328 Gruppen der Ordnung 128 Wurden berechnet。 t。