h1

000756464 001__ 756464
000756464 005__ 20251127161855.0
000756464 0247_ $$2HBZ$$aHT020007795
000756464 0247_ $$2Laufende Nummer$$a38014
000756464 0247_ $$2datacite_doi$$a10.18154/RWTH-2019-02474
000756464 037__ $$aRWTH-2019-02474
000756464 041__ $$aEnglish
000756464 082__ $$a510
000756464 1001_ $$0P:(DE-588)1181461227$$aHoffmann, Johannes$$b0$$urwth
000756464 245__ $$aLeft saturation closure : Theory and algorithms$$cvorgelegt von Johannes Hoffmann, M.Sc.$$honline
000756464 246_3 $$aLinkssaturationsabschluss : Theorie und Algorithmen$$yGerman
000756464 260__ $$aAachen$$c2019
000756464 300__ $$a1 Online-Ressource (206 Seiten) : Illustrationen
000756464 3367_ $$02$$2EndNote$$aThesis
000756464 3367_ $$0PUB:(DE-HGF)11$$2PUB:(DE-HGF)$$aDissertation / PhD Thesis$$bphd$$mphd
000756464 3367_ $$2BibTeX$$aPHDTHESIS
000756464 3367_ $$2DRIVER$$adoctoralThesis
000756464 3367_ $$2DataCite$$aOutput Types/Dissertation
000756464 3367_ $$2ORCID$$aDISSERTATION
000756464 500__ $$aVeröffentlicht auf dem Publikationsserver der RWTH Aachen University
000756464 502__ $$aDissertation, RWTH Aachen University, 2019$$bDissertation$$cRWTH Aachen University$$d2019$$gFak01$$o2019-01-22
000756464 5203_ $$aDie Theorie der Ore-Lokalisierung von Ringen und Moduln findet Verwendung in vielen Bereichen der nicht-kommutativen Algebra, zum Beispiel Ringtheorie, Dimensionstheorie, nicht-kommutative Geometrie und viele andere. In dieser Dissertation verfolgen wir mehrere Ziele. Wir beginnen mit einer gründlichen Einführung zum Thema Ore-Lokalisierung, aufbauend auf einer axiomatischen Definition und der klassischen Konstruktion, die von Ores Arbeiten inspiriert ist. Ore-Lokalisierung ist problemlos mit der Ringaddition verträglich, allerdings ist deren Existenz für die Konstruktion überhaupt nicht notwendig. Aus diesem Grund untersuchen wir, wie sich die Theorie verändert, wenn wir statt Ringen Monoide betrachten. Der Hauptbeitrag dieser Dissertation ist das Konzept des Linkssaturationsabschlusses oder kurz LSat und die sich daraus ergebenden Anwendungen: Für eine Linksnennermenge S in einem beliebigen Ring R stellt LSat(S) eine kanonische Form von S bezüglich R-fixierender Homomorphismen von Lokalisierungen von R dar. Weiterhin spielt LSat(S) eine bedeutende Rolle in Charakterisierungen von links-invertierbaren Elementen und Linksidealen sowie weiterer struktureller Eigenschaften der Lokalisierung S^(-1)R. Wir beweisen, dass LSat(S) genau dann eine Linksnennermenge in R ist, wenn S^(-1)R Dedekind-endlich ist. In diesem Fall ist S^(-1)R auf kanonische Art und Weise isomorph zu LSat(S)^(-1)R und zusätzlich liefert LSat(S) eine vollständige Beschreibung der Einheitengruppe von S^(-1)R. Wir untersuchen Klassen von Ringen, die diese Eigenschaft erfüllen: In Ore-Bereichen charakterisieren wir maximale und prämaximale Linksnennermengen und in Faktorisierungsbereichen beweisen wir, dass jede saturierte Linksnennermenge eindeutig durch die darin enthaltenen irreduziblen Elemente bestimmt ist. Wir betrachten beispielhaft mehrere Linksnennermengen in Weyl-Algebren und die dazugehörigen Lokalisierungen. Im Anschluss erweitern wir unsere strukturellen Untersuchungen auf Ore-lokalisierte Moduln. Insbesondere zeigen wir, dass das etablierte Konzept des lokalen Abschlusses von Untermoduln ein weiterer Spezialfall des Linkssaturationsabschlusses ist. Als Spezialfall des lokalen Abschlusses betrachten wir lokale Torsion, was wiederum eine Verallgemeinerung des klassischen Torsionsbegriffs ist, und zeigen weitere Verbindungen zwischen den zwei Konzepten auf. Im letzten Teil dieser Dissertation geben wir algorithmische Lösungen für diverse Fragestellungen im Rahmen von Ore-Lokalisierungen von G-Algebren, kurz OLGAs. Wir beschreiben unser Konzept für grundlegende Arithmetik in OLGAs und deren Implementierung im Computeralgebra-System Singular:Plural. Abschließend entwickeln wir mehrere Algorithmen, um den lokalen Abschluss in wichtigen Spezialfällen zu berechnen.$$lger
000756464 520__ $$aOre localization of rings and modules is a technique that is widely used throughout non-commutative algebra with applications in ring theory, dimension theory, non-commutative geometry, and many other areas. In this thesis, we pursue several goals. First of all, we give a thorough introduction to Ore localization, starting from its axiomatic definition and working our way through the classical construction inspired by Ore's original work. While Ore localization is perfectly compatible with the addition operation of the ring, the presence of an additive structure is in no way required for the construction. With this in mind, we explore how the theory of Ore localization changes when we consider monoids instead of rings. The main contribution of this thesis is the notion of left saturation closure or LSat and the applications thereof: for a left denominator set S in an arbitrary ring R, LSat(S) represents a canonical form of S with respect to R-fixing isomorphisms of localizations of R. Furthermore, LSat(S) is involved in many characterizations of left invertible elements, left ideals, and other structural properties of the localization S^(-1)R. We show that LSat(S) is a left denominator set in R if and only if S^(-1)R is Dedekind-finite, in which case S^(-1)R is canonically isomorphic to LSat(S)^(-1)R and LSat(S) characterizes the unit group of S^(-1)R. We study classes of rings that satisfy this condition: for Ore domains we characterize maximal and pre-maximal left denominator set, and for factorization domains we prove that any saturated left denominator set is uniquely determined by the set of irreducible elements it contains. As an illustration we discuss several left denominator sets in Weyl algebras and their corresponding localizations. Afterwards, we expand our structural investigations to Ore-localized modules, where we recognize the well-known concept of local closure of a submodule as another special case of left saturation closure. We identify local torsion, which is a generalization of the classical notion of torsion, as a special case of local closure and show further connections between the two concepts. In the last part of this thesis, we give algorithmic solutions to several problems related to Ore localizations of G-algebras, or OLGAs for short. We describe our framework to perform basic arithmetic in OLGAs as well as our implementation in the computer algebra system Singular:Plural. Lastly, we develop multiple algorithms to compute local closure in important special cases.$$leng
000756464 588__ $$aDataset connected to Lobid/HBZ
000756464 591__ $$aGermany
000756464 653_7 $$aalgorithms
000756464 653_7 $$anon-commutative
000756464 653_7 $$aore localization
000756464 7001_ $$0P:(DE-82)IDM01662$$aLevandovskyy, Viktor$$b1$$eThesis advisor$$urwth
000756464 7001_ $$0P:(DE-82)IDM00028$$aZerz, Eva$$b2$$eThesis advisor$$urwth
000756464 8564_ $$uhttps://publications.rwth-aachen.de/record/756464/files/756464.pdf$$yOpenAccess
000756464 8564_ $$uhttps://publications.rwth-aachen.de/record/756464/files/756464_source.zip$$yRestricted
000756464 8564_ $$uhttps://publications.rwth-aachen.de/record/756464/files/756464.gif?subformat=icon$$xicon$$yOpenAccess
000756464 8564_ $$uhttps://publications.rwth-aachen.de/record/756464/files/756464.jpg?subformat=icon-1440$$xicon-1440$$yOpenAccess
000756464 8564_ $$uhttps://publications.rwth-aachen.de/record/756464/files/756464.jpg?subformat=icon-180$$xicon-180$$yOpenAccess
000756464 8564_ $$uhttps://publications.rwth-aachen.de/record/756464/files/756464.jpg?subformat=icon-640$$xicon-640$$yOpenAccess
000756464 8564_ $$uhttps://publications.rwth-aachen.de/record/756464/files/756464.jpg?subformat=icon-700$$xicon-700$$yOpenAccess
000756464 909CO $$ooai:publications.rwth-aachen.de:756464$$pdnbdelivery$$pdriver$$pVDB$$popen_access$$popenaire
000756464 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-588)1181461227$$aRWTH Aachen$$b0$$kRWTH
000756464 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01662$$aRWTH Aachen$$b1$$kRWTH
000756464 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00028$$aRWTH Aachen$$b2$$kRWTH
000756464 9141_ $$y2019
000756464 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000756464 9201_ $$0I:(DE-82)114920_20140620$$k114920$$lLehr- und Forschungsgebiet Mathematik (Algebra)$$x0
000756464 9201_ $$0I:(DE-82)110000_20140620$$k110000$$lFachgruppe Mathematik$$x1
000756464 961__ $$c2019-03-29T11:19:32.286602$$x2019-03-12T13:04:50.406236$$z2019-03-29T11:19:32.286602
000756464 9801_ $$aFullTexts
000756464 980__ $$aI:(DE-82)110000_20140620
000756464 980__ $$aI:(DE-82)114920_20140620
000756464 980__ $$aUNRESTRICTED
000756464 980__ $$aVDB
000756464 980__ $$aphd