Zerlegung und Komposition algebraischer Strukturen - eine relationale Strukturtheorie

关系结构理论是一种代数的原理和构成理论，它把最终的结构放在一个小的包斯坦原理中，并从这个小的包斯坦韦尔登理论中重新构造出来。这是一个丛林，只有一个基本原理理论。一个系统的基础设施和基础设施的建设将首先与该项目的实施相结合。Ein Vorläufer der Scholist die驯服Congruence Theory（TCT）- eine moderne und erfolgreiche Strukturtheorie zur Analyse endlicher algebraischer Strukturen.在所有不变量都是韦尔登的基础上，一个Galoisverbindung zwischen Operationen and dedicen，是一个非常重要的零规范理论，也是结构综合的一个重要理论。理论设计，即一个Beispielklassen代数结构和konkrete Anwendungen（z。B。für Constraint Satisfaction Problems und Klone）sind Ziele des Projekts.该项目将成为沙芬的基础，因为该项目将成为一项非常重要的研究，因此可以找到新的项目。

Die relationale Strukturtheorie (RST) ist eine Theorie über die Zerlegung und Komposition von Algebren, mit der endliche Strukturen in eindeutiger Weise in kleinere Bausteine zerlegt und aus diesen wieder rekonstruiert werden können. Es ist eine junge, nur in einigen Grundzügen ausgearbeitete Theorie. Eine systematische Bearbeitung von Grundlagen und Anwendungen wird erstmalig mit dem hier beantragten Projekt erfolgen. Ein Vorläufer der RST ist die Tame Congruence Theory (TCT) - eine moderne und erfolgreiche Strukturtheorie zur Analyse endlicher algebraischer Strukturen. Auf der Grundlage einer Galoisverbindung zwischen Operationen und Relationen, bei der alle Invarianten berücksichtigt werden, ist die RST eine bedeutend leistungsstärkere Zerlegungstheorie, die auch die Synthese von Strukturen ermöglicht. Theorieentwicklung, deren Erprobung an Beispielklassen algebraischer Strukturen und konkrete Anwendungen (z. B. für Constraint Satisfaction Problems und Klone) sind Ziele des Projekts. Das Projekt will die Grundlage dafür schaffen, dass die RST zu einem richtungsweisenden Forschungsgebiet wird, das breite Anwendung finden kann.