Computing Generators of Free Modules over Orders in Group Algebras

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition E[G] \cong \oplus_xM_x is explicitly computable and each M_x is in fact a matrix ring over a field, this leads to an algorithm that either gives elements \alpha_1,...,\alpha_d \in X such that X = A\alpha_1 \oplus ... \oplusA\alpha_d or determines that no such elements exist. Let L/K be a finite Galois extension of number fields with Galois group G such that E is a subfield of K and put d = [K : E]. The algorithm can be applied to certain Galois modules that arise naturally in this situation. For example, one can take X to be O_L, the ring of algebraic integers of L, and A to be the associated order A(E[G];O_L) \subseteq E[G]. The application of the algorithm to this special situation is implemented in Magma under certain extra hypotheses when K = E = \IQ.

Elimination in Operator Algebras

A large class of special functions are solutions of systems of linear difference and differential equations with polynomial coefficients. For a given function, these equations considered as operator polynomials generate a left ideal in a noncommutative algebra called Ore algebra. This ideal with finitely many conditions characterizes the function uniquely so that Gröbner basis techniques can be applied. Many problems related to special functions which can be described by such ideals can be solved by performing elimination of appropriate noncommutative variables in these ideals. In this work, we mainly achieve the following: 1. We give an overview of the theoretical algebraic background as well as the algorithmic aspects of different methods using noncommutative Gröbner elimination techniques in Ore algebras in order to solve problems related to special functions. 2. We describe in detail algorithms which are based on Gröbner elimination techniques and perform the creative telescoping method for sums and integrals of special functions. 3. We investigate and compare these algorithms by illustrative examples which are performed by the computer algebra system Maple. This investigation has the objective to test how far noncommutative Gröbner elimination techniques may be efficiently applied to perform creative telescoping.

How Death Guides Human Behavior - The Role of Cultural Norms and Values in Terror Management Theory

Die Dissertation besteht im Wesentlichen aus zwei Teilen: der Synopse und einem empirischen Teil. In der Synopse werden die Befunde aus dem empirischen Teil zusammengefasst und mit der bisherigen Forschungsliteratur in Zusammenhang gesetzt. Im empirischen Teil werden alle Studien, die für diese Dissertation durchgeführt wurden, in Paper-Format berichtet. Im ersten Teil der Synopse werden grundlegende Annahmen der Terror Management Theorie (TMT) dargelegt—mit besonderem Schwerpunkt auf die Mortalitätssalienz (MS)-Hypothese, die besagt, dass die Konfrontation mit der eigenen Sterblichkeit die Motivation erhöht das eigene Weltbild zu verteidigen und nach Selbstwert zu streben. In diesem Kontext wird auch die zentrale Rolle von Gruppen erklärt. Basierend auf diesen beiden Reaktionen, wird TMT Literatur angeführt, die sich auf bestimmte kulturelle Werte und soziale Normen bezieht (wie prosoziale und pro-Umwelt Normen, materialistische und religiöse Werte, dem Wert der Ehrlichkeit, die Norm der Reziprozität und deskriptive Normen). Darüber hinaus werden Randbedingungen, wie Gruppenmitgliedschaft und Norm-Salienz, diskutiert. Zuletzt folgt eine Diskussion über die Rolle von Gruppen, der Funktion des Selbstwerts und über Perspektiven einer friedlichen Koexistenz. Der empirische Teil enthält elf Studien, die in acht Papern berichtet werden. Das erste Paper behandelt die Rolle von Gruppenmitgliedschaft unter MS, wenn es um die Bewertung von anderen geht. Das zweite Manuskript geht der Idee nach, dass Dominanz über andere für Sadisten eine mögliche Quelle für Selbstwert ist und daher unter MS verstärkt ausgeübt wird. Das dritte Paper untersucht prosoziales Verhalten in einer Face-to-Face Interaktion. Im vierten Paper wird gezeigt, dass Personen (z.B. Edward Snowden), die im Namen der Wahrheit handeln, unter MS positiver bewertet werden. Im fünften Paper zeigen zwei Studien, dass MS dazu führt, dass mögliche gelogene Aussagen kritischer beurteilt werden. Das sechste Paper zeigt, dass der Norm der Reziprozität unter MS stärker zugestimmt wird. Das siebte Paper geht der Frage nach, inwiefern MS das Einhalten dieser Norm beeinflusst. Und schließlich wird im achten Paper gezeigt, dass MS die Effektivität der Door-in-the-Face Technik erhöht—eine Technik, die auf der Norm der Reziprozität basiert.