An associative Latin square is a group. A very short proof

Abstract

A Latin square of order $n$ with symbols $a_1,\dots ,a_n$ can be considered as a multiplication table for binary operation in the set $A=\{a_1,\dots ,a_n\}$. We prove that, if this operation is associative, then $A$ is a group.

2 pages