 In his thesis he proved the Cohen structure theorem for complete Noetherian local rings.In 1946 he proved the unmixedness theorem for power series rings.As a result, Cohen–Macaulay rings are named after him and Francis Sowerby Macaulay.