Henri Cohen (Mathematiker)

Henri Cohen (* 8. Juni 1947) ist ein französischer Mathematiker, der sich mit algorithmischer Zahlentheorie beschäftigt.

Cohen studierte 1966 bis 1970 an der École normale supérieure, unter anderem bei Jean-Louis Verdier und Jean-Pierre Serre. 1976 habilitierte er sich (Doctorat d’Etat) an der Universität Bordeaux bei Jacques Martinet (Formes modulaires à une ou deux variables). 1978 wurde er Professor an der Universität Grenoble und war ab 1981 Professor an der Universität Bordeaux, wo er eine französische Schule der algorithmischen Zahlentheorie aufbaute. Inzwischen ist er dort Professor Emeritus.

Cohen befasste sich schon seit Ende der 1960er Jahre mit Computeranwendungen in der Zahlentheorie. Er verbesserte und implementierte 1981 mit Hendrik Lenstra den APRCL-Primzahltest (nach den Anfangsbuchstaben der Entwickler) von Leonard Adleman, Carl Pomerance und Robert Rumely von 1980, einer Erweiterung des Fermatschen Primzahltests, der noch heute viel benutzt wird und der erste Test war, der auch auf die in der Public-Key-Kryptographie (RSA) verwendeten Primzahlen von hundert und mehr Stellen (verwendet werden heute 1000 bzw. 2000 Stellen) effizient anwendbar war.

Cohen entwickelte auch in der algebraischen Zahlentheorie Algorithmen zum Beispiel zur Bestimmung von Klassenkörpern, wobei er in den 1990er Jahren teilweise mit Francisco Diaz y Diaz und Michel Olivier zusammenarbeitete (zum Beispiel über quartäre Zahlkörper). Mit H. Lenstra stellte er 1982 heuristische Vermutungen über die Struktur der Klassengruppen quadratischer Zahlkörper auf, die ein wichtiges ungelöstes Problem der algebraischen Zahlentheorie wurden. Heuristiken von Klassengruppen höherer Zahlkörper untersuchte er auch mit seinem Lehrer in Bordeaux Jacques Martinet (Cohen-Martinet-Heuristiken). Cohen ist nicht zuletzt durch einige Lehrbücher zur algorithmischen Zahlentheorie bekannt. Für zahlentheoretische Anwendungen entwickelte er um 1985 das freie, in C geschriebene Computeralgebra-Softwarepaket PARI/GP, heute unterhalten von Karim Belabas von der Universität Toulouse. Es gehört zu den meistgenutzten Computeralgebra-Systemen in der Zahlentheorie.

2000 erhielt er den F.L.-Bauer-Preis der TU München. 2002 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Peking (Constructing and counting number fields).