Groups and FieldsHardGroups and the Group Axioms
Groups and the Group Axioms · Hard problem
Consider every way to fill in a table with entries from so that row and column read in order, and every row and every column still contains each of exactly once (the Latin square property). There are exactly such tables. Of these candidate tables, how many are ALSO associative, i.e. could actually be the Cayley table of a group?