On Socratica, I saw a video demonstrating writing groups by writing the Cayley's table satisfying three conditions of the desired order. (1) Neutral element row and column are copies of the row and column headers. (2) Every row and column has neutral element once (3) All the elements of the set are present in each row and column.
My question is does this always lead to a group? I think the conditions are necessary but insufficient because they do not test the associativity.