Decomposition of Polynomials

Abstract

This diploma thesis is concerned with functional decomposition f = g • h of polynomials. First an algorithm is described which computes decompositions in polynomial time. This algorithm was originally proposed by Zippel (1991). A bound for the number of minimal collisions is derived. Finally a proof of a conjecture in von zur Gathen, Giesbrecht & Ziegler (2010) is given, which states a classification for a special class of decomposable polynomials.Note. This is a modified version of the author's diploma thesis. The main changes concern notation and rephrasing of some results. DanksagungIch möchte mich an dieser Stelle bei den Personen bedanken, die mir bei der Erarbeitung dieser Diplomarbeit geholfen haben.Mein Dank gilt Herrn Prof. Dr. Joachim von zur Gathen für die Betreuung dieser Diplomarbeit. Besonders zu schätzen weiß ich seine kritischen Anmerkungen und die anregenden Gespräche mit ihm. Außerdem bedanke ich mich bei Herrn Konstantin Ziegler für seine Betreuung und für die zahlreichen fachlichen Diskussionen, Ratschläge und Hilfestellungen. Bei Herrn Prof. Dr. Nitin Saxena bedanke ich mich für die Übernahme der Zweitkorrektur.Für die sprachliche Durchsicht bedanke ich mich bei David Steimle und Jens Humrich.Nicht zuletzt möchte ich mich bei meiner Familie bedanken. Bei meinen Eltern und Großeltern bedanke ich mich für die Unterstützung während des Studiums. Ganz besonders bedanke ich mich bei meiner Freundin Ellen für ihre Geduld und ihren Beistand.Thus, we can easily compute all minimal blocks that are contained in B α . Note that if there is no nontrivial Block of G Bα , then B α is a minimal block of G.