Satz von Cauchy-Davenport

Der Satz von Cauchy-Davenport, englisch Cauchy–Davenport theorem, benannt nach den Mathematikern Augustin-Louis Cauchy und Harold Davenport, ist ein mathematischer Lehrsatz, der dem Übergangsfeld zwischen Additiver Zahlentheorie, Ramseytheorie und Gruppentheorie angehört und Anlass zu einer Anzahl weiterführender Untersuchungen gab. Der Satz behandelt Mächtigkeitsfragen zu Teilmengen von zyklischen Gruppen primer Gruppenordnung.

Formulierung des Satzes

Der Satz lässt sich folgendermaßen angeben:

Zugehörige Sätze

Zum Umfeld des Satzes von Cauchy-Davenport gehören zahlreiche Resultate und nicht zuletzt vier Sätze, die mit den Namen der Mathematiker Martin Kneser, Henry B. Mann, Paul Erdős, Abraham Ginzburg, Abraham Ziv und Noga Alon verbunden sind.

Knesers Satz

Dieser Satz von Martin Kneser (englisch Kneser's theorem) aus dem Jahre 1955 hat zahlreiche Anwendungen in der Additiven Zahlentheorie und schließt insbesondere den Satz von Cauchy-Davenport in sich ein. Er lässt sich folgendermaßen angeben:

gelten.

Dann gibt es eine echte Untergruppe mit

Manns Satz

Dieser Satz, den man (etwa) in Henry B. Manns Monographie Addition theorems: The Addition Theorems of Group Theory and Number Theory aus dem Jahre 1965 findet, behandelt Mächtigkeitsfragen zu Teilmengen beliebiger Gruppen und beinhaltet ebenfalls eine grundlegende Abschätzung:

Beweis des Satzes von Mann

Manns Satz beruht auf einem einfachen Gedankengang:

Im Falle existiert ein Element . Damit bildet man die Teilmenge

und schließt, dass

gelten muss, da nämlich bei Vorliegen eines mit unmittelbar folgte, was jedoch unmöglich ist.

Mit dieser Disjunktheit ergibt sich dann sogleich

Kombinatorischer Nullstellensatz

Der kombinatorische Nullstellensatz, englisch Combinatorial Nullstellensatz [sic!], den Noga Alon im Jahre 1999 veröffentlichte, ist – wie der Name bereits vermuten lässt – eng verbunden mit dem hilbertschen Nullstellensatz und aus diesem direkt ableitbar. Er zieht in der Kombinatorik und angrenzenden Gebieten eine Anzahl von Folgesätzen nach sich – insbesondere den Satz von Cauchy-Davenport – und lässt sich folgendermaßen darstellen:

Satz von Erdős-Ginzburg-Ziv

Dieser Satz (englisch Erdős-Ginzburg-Ziv theorem), den Erdős, Ginzburg und Ziv im Jahre 1961 vorlegten und mit Hilfe des Satzes von Cauchy-Davenport bewiesen, besagt Folgendes:

Siehe auch

• Liste einer Auswahl von Arbeiten zum Satz von Cauchy-Davenport

Literatur

• Noga Alon: Combinatorial Nullstellensatz. In: Combinatorics, Probability and Computing. Band 8, 1999, S. 7–29 (MR1684621). 
• P. Erdős, A. Ginzburg, A. Ziv: Theorem in the additive number theory. In: Bulletin of the Research Council of Israel. Section F. 10F, 1961, S. 41–43 (englisch, MR3618568). 
• Stasys Jukna: Extremal Combinatorics (= Texts in Theoretical Computer Science). 2. Auflage. Springer Verlag, Heidelberg, Dordrecht, London, New York 2011, ISBN 978-3-642-17363-9 (englisch, MR2865719). 
• Martin Kneser: Abschätzung der asymptotischen Dichte von Summenmengen. In: Mathematische Zeitschrift. Band 58, 1953, S. 459–484 (MR0056632). 
• Martin Kneser: Ein Satz über abelsche Gruppen mit Anwendungen auf die Geometrie der Zahlen. In: Mathematische Zeitschrift. Band 61, 1955, S. 429–434 (MR0068536). 
• Henry B. Mann: Addition theorems: The Addition Theorems of Group Theory and Number Theory (= Interscience Publishers Tracts. Band 18). Interscience Publishers John Wiley & Sons , New York, London, Sydney 1965 (englisch, MR0181626). 
• Harald Niederreiter, Arne Winterhof: Applied Number Theory. Springer Verlag, Cham 1976, ISBN 3-319-22320-8, doi:10.1007/978-3-319-22320-6 (englisch, MR3364863). 
• Hans Schwerdtfeger: Introduction to Group Theory. Noordhoff International Publishing, Leyden 1976, ISBN 90-286-0495-2 (englisch, MR0435190). 

Anmerkungen

1. Man nennt eine solche in einer abelschen Gruppe enthaltenen Teilmengen auch Summenmenge (englisch sumset). Summenmengen in abelschen Gruppen bilden einen wesentlichen Gegenstand der Additiven Zahlentheorie.
2. Mit bezeichnet man die Mächtigkeit einer Menge . Ist eine endliche Menge, so ist die Anzahl der in enthaltenen Elemente.
3. Abraham Ziv, früher Abraham Zubkowski, geboren am 6. März 1940, gestorben am 5. März 2013, war ein israelischer Mathematiker; vgl. Artikel über Ziv in der englischsprachigen Wikipedia!
4. Der hier vorgetragene Satz ist die abgeschwächte Version eine stärkeren Satzes, den Martin Kneser in einer früheren Arbeit im Jahre 1953 lieferte.
5. Schwerdtfeger zufolge hat Mann diese Abschätzung bereits 1952 vorgetragen. Angesichts der Einfachheit des dahinter liegenden Grundgedankens ist es naheliegend zu vermuten, dass diese Abschätzung auch schon vorher von anderen Mathematikern gefunden und benutzt wurde.
6. In einer Gruppe sind Inversion und Linkstranslation stets Bijektionen.
7. Alon stellte seinen „Combinatorial Nullstellensatz“ bereits 1995 vor, und zwar auf der Tagung über Diskrete Mathematik in Mátraháza, die vom 22. bis 28. Oktober 1995 dort stattfand.
8. Gemeint ist hier das neutrale Element der abelschen Gruppe .

Einzelnachweise

1. Stasys Jukna: Extremal Combinatorics. 2011, S. 232 ff., S. 363 ff.
2. Henry B. Mann: Addition theorems: The Addition Theorems of Group Theory and Number Theory. 1965, S. 1 ff.
3. Niederreiter/Winterhof: Applied Number Theory. 2015, S. 383 ff.
4. Niederreiter/Winterhof, op. cit., S. 384
5. Jukna, op. cit., S. 363–364
6. Mann, op. cit., S. 1
7. Hans Schwerdtfeger: Introduction to Group Theory. 1976, S. 58
8. Noga Alon: Combinatorial Nullstellensatz, Combin. Probab. Comput. 8 (1999), S. 7–29
9. Jukna, op. cit., S. 228 ff., S. 229
10. Jukna, op. cit., S. 233