Tuple regularity and 𝑘-ultrahomogeneity for finite groups

For k , ℓ ∈ N k,\ell\in\mathbb{N} , we introduce the concepts of 𝑘-ultrahomogeneity and ℓ-tuple regularity for finite groups. Inspired by analogous concepts in graph theory, these form a natural generalization of homogeneity, which was studied by Cherlin and Felgner as well as Li, and automorphism transitivity, which was investigated by Zhang. Additionally, these groups have an interesting algorithmic interpretation. We classify the 𝑘-ultrahomogeneous and ℓ-tuple regular finite groups for k , ℓ ≥ 2 k,\ell\geq 2 . In particular, we show that every 2-tuple regular finite group is ultrahomogeneous.