He was the first to define the concept of a group in the modern way—as a set with a binary operation satisfying certain laws.
Он был первым, кто сформулировал определение группы в том виде, как она определяется сегодня — множество с бинарной операцией, удовлетворяющей определённым законам.