# I want to axiomatize sudoku

by TylerH
Tags: axiomatize, sudoku
 Mentor P: 18,331 With a sudoku puzzle, we can associate a operation * as: $$*:\{1,...,n\}\times\{1,...,n\}\rightarrow \{1,...,n\}$$ such that k*l is the number in row k, column l. Thus the Cayley multiplication table of this operation is our Sudoku puzzle. An interesting thing to find out is what properties our * satisfies. For example, you can show that * is cancelative, that is: $$a*b=a*c~\Rightarrow~b=c$$ That's a theorem you can prove. Maybe you can search some other things that hold for our *...