Abstract:A division sudoku is a latin square whose all six conjugates are sudoku squares. We enumerate division sudokus up to a suitable equivalence, introduce powerful invariants of division sudokus, and also study latin squares that are division sudokus with respect to multiple partitions at the same time. We use nearfields and affine geometry to construct division sudokus of prime power rank that are rich in sudoku partitions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the research on **division sudokus**. Specifically, the authors focus on those special types of sudokus in Latin squares whose six conjugate forms are all sudoku squares. The main objectives of the paper include:
1. **Definition and Classification**: Clearly define what division sudokus are and propose multiple ways to represent this type of sudokus.
2. **Introduction of Invariants**: Introduce two powerful invariants - the intercalate structure invariant and the minisquare structure invariant, which are used to distinguish different division sudokus.
3. **Counting and Classification**: Count the division sudokus of rank 3 and classify them according to appropriate equivalence relations.
4. **Multi - partition Research**: Research Latin squares that belong to multiple partitions simultaneously, that is, division sudokus with multiple sudoku partitions.
5. **Construction Methods**: Use methods of near - fields and affine geometries to construct division sudokus of prime power rank with rich sudoku partitions.
### Specific Problem Analysis
1. **Definition and Representation**:
- The paper defines division sudokus and gives equivalent conditions through Proposition 2.2, stating that a Latin square is a division sudoku if and only if all of its conjugate forms are sudoku squares.
- For example, conditions (i) and (ii) are equivalent to condition (iii), that is, all conjugate forms are sudoku squares.
2. **Introduction of Invariants**:
- **Intercalate Structure Invariant**: It is defined by recording the band, stack, and pile where each 2x2 sub - square (intercalate) is located.
- **Minisquare Structure Invariant**: A tripartite directed graph is constructed to represent the relationships between different bands, stacks, and piles.
3. **Counting and Classification**:
- Using computer - aided calculation, it is determined that the number of division sudokus of rank 3 is 10,401,525,9648.
- These division sudokus can be divided into 186 ds - isotopism classes, 45 main ds - classes, and 183 quasigroup isotopism classes.
4. **Multi - partition Research**:
- The division sudokus with multiple sudoku partitions are studied, especially the division sudokus of rank 3.
- It is found that there are only 3 essentially different division sudokus with multiple sudoku partitions, which have 3, 4, and 4 partitions respectively.
5. **Construction Methods**:
- Using methods of near - fields and affine geometries, division sudokus of prime power rank with at least \( m + 1 \) sudoku partitions are constructed.
- For example, for division sudokus of rank 4, an instance with 20 sudoku partitions can be constructed.
### Formula Examples
- **Intercalate Structure Invariant**:
\[
\iota_L(B_i, S_j, P_k) = 1 \quad \text{if and only if} \quad \exists \text{ an intercalate } I \text{ of } L \text{ such that } (B_i, S_j, P_k) = (band_L(I), stack_L(I), pile_L(I)).
\]
- **Minisquare Structure Invariant**:
\[
B \rightarrow S \quad \text{if and only if} \quad \{C_{