Abstract:In this article, we study the combinatorics of congruence subgroups of the modular group. More precisely, we consider the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing in the study of Coxeter friezes), modulo an integer $N$, whose components are identical and minimal for this property. The objective here is to characterize the solutions of this type verifying a property of irreducibility modulo a prime power.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the classification problem of the smallest irreducible unitary solutions in $SL_2(\mathbb{Z}/p^n\mathbb{Z})$ under specific conditions, that is, when $N$ is equal to a prime number to the power. Specifically, the author focuses on the solutions of the matrix equation $M_n(a_1, \ldots, a_n)=\pm I$ modulo $N$, where $M_n$ is defined by the product of matrices in a given form, and all components are the same and minimal. The goal is to describe the solutions with the irreducible property among these solutions, especially when $N$ is a prime number to the power. In the paper, the author first reviews the combinatorial background related to the congruence subgroups modulo $N$, especially the generators of the $SL_2(\mathbb{Z})$ modular group and their properties. Then, the concept of the smallest unitary solutions is explored in detail. These solutions are characterized by having all components the same and being minimal for this property. Then, the main contribution of the paper lies in classifying the irreducible solutions among these solutions, especially in the case where $N$ is a prime number to the power, providing a complete classification result. The key results of the paper include: 1. When $N$ is a prime number, all non - zero smallest unitary solutions are irreducible. 2. For $N = p^n$ ($p$ is a prime number, $n$ is a natural number), the paper gives specific conditions for whether a $k$-unitary solution is irreducible, which depends on the relationship between $k$ and $p$ and the value of $n$. Through these studies, the paper provides new perspectives and tools for understanding the solutions of specific types of matrix equations in $SL_2(\mathbb{Z}/p^n\mathbb{Z})$, especially in terms of the irreducibility of unitary solutions.

Solutions monomiales minimales irréductibles dans $SL_{2}(\mathbb{Z}/p^{n}\mathbb{Z})$

Étude des liens entre la taille et l'irréductibilité des solutions monomiales minimales dans $SL_{2}(\mathbb{Z}/N\mathbb{Z})$

Classification des entiers monomialement irr{é}ductibles et g{é}n{é}ralisations

The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Small Solutions of generic ternary quadratic congruences

Short Solutions To Homogenous Linear congruences

The abelianization of $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{m}])$

Certain squarefree levels of reducible modular mod$\,\ell$ Galois representations

Minimal Subgroups of ${\rm GL}_2(\mathbb{Z}_{S})$

Small solutions of generic ternary quadratic congruences to general moduli

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups

Small solutions to inhomogeneous and homogeneous quadratic congruences modulo prime powers

The conjugation representation of the binary modular congruence group

On $p$-nonsingular systems of equations over solvable groups

Déterminant d'une matrice carrée

Compter (rapidement) le nombre de solutions d'équations dans les corps finis

Non-optimal levels of some reducible mod $p$ modular representations

Modularity of admissible-level $\mathfrak{sl}_{3}$ minimal models with denominator $2$

Monogenity of iterates of irreducible binomials

Monomial ideals of minimal depth and trivial modifications