Maximally transitive semigroups of \(n\times n\) matrices (Q1947467)

For all \(n\geq 1\), the author proves that there exists a pair of \(n\times n\) matrices \((A, B)\) which generates a topologically \(n\)-transitive semigroup action on \(\mathbb K^n\), where \( \mathbb K\) is the real or complex field, namely, \[ \langle A, B\rangle :=\{A^{m_1}B^{n_1} \cdots A^{m_k}B^{n_k}: k\geq 1,\, m_i, n_i\geq 0 \text{ for all } i\} \] is dense in the set of all \(n\times n\) matrices with entries in \(\mathbb K\). This is equivalent to saying that there exists a \(2\)-generator dense subsemigroup of the general linear group \(\mathrm{GL}(n,\mathbb K)\) for all \(n\geq 1\). Similar results are obtained for \(\mathrm{GL}^+(n,\mathbb R)\), \(n\geq 1\) and \(\mathrm{SL}(n,\mathbb R)\), \(n>1\). The main motivation of the study is the one-dimensional (commutative) result that: \[ \langle a, b\rangle = \{a^mb^n: m,n\in \mathbb N \} \] is dense in \(\mathbb R\) if \(\ln (-a)/\ln b\) is an irrational negative number, and the result can be obtained from the one-dimensional Kronecker approximation theorem.