Hale F. Trotter

Hale Freeman Trotter (30 May 1931 – 17 January 2022) was a Canadian-American mathematician, known for the Lie–Trotter product formula, the Steinhaus–Johnson–Trotter algorithm, and the Lang–Trotter conjecture. He was born in Kingston, Ontario. Trotter was from 1956 to 1958 at Princeton University the Fine Instructor for mathematics and from 1958 to 1960 an assistant professor at Queen's University. He was from 1962 to 1963 a visiting associate professor, from 1963 to 1969 an associate professor, and from 1969 until his retirement a full professor at Princeton University. From 1962 to 1986 he was an associate director for Princeton University's data center.

Trotter's research dealt with, among other topics, probability theory, group theory computations, number theory, and knot theory. In 1963, he solved an open problem in knot theory by proving that there are non-invertible knots. At the time of his proof, all knots with up to 7 crossings were known to be invertible. Trotter described an infinite number of pretzel knots that are not invertible.

Selected publications Articles

Books