Joint distribution of the cokernels of random \(p\)-adic matrices (Q6133255)

Let \(P_1(t),\dots,P_\ell(t)\in\mathbb Z_p[t]\) be monic polynomials such that their reductions modulo \(p\) in \(\mathbb F_p[t]\) are distinct and irreducible. Let \(H_j\) be a finite module over \(R_j:=\mathbb Z_p[t]/(P_j(t))\) for each \(1\le j\le \ell\). In the first main theorem of this article, the author proves that \[ \lim_{n\to\infty}\operatorname*{Prob}_{A\in M_n(\mathbb Z_p)} (\mathrm{cok}(P_j(A))\cong H_j \text{ for }1\le j\le \ell) =\prod_{j=1}^\ell\left(\frac1{|\mathrm{Aut}_{R_j}(H_j)|} \prod_{i=1}^\infty(1-p^{-i\mathrm{deg}(P_j)})\right). \] This is a generalization of the theorem of \textit{G. Cheong} and \textit{N. Kaplan} [J. Algebra 604, 636--663 (2022; Zbl 1490.15051)] who proved the case of \(\mathrm{deg}(P_j)\le 2\) for each \(j\). Let \(\{B_n\}\) be any sequence of matrices such that \(B_n\in M_n(\mathbb Z_p)\) and that \[ \lim_{n\to\infty}(n-\log_p n-r_p(\mathrm{cok}(B_n)))=\infty \] with \(r_p(M):=\mathrm{rank}_{\mathbb F_p}(M/pM)\). In the second main theorem the author proves that for any finite abelian \(p\)-groups \(H_1\) and \(H_2\), there holds \[ \lim_{n\to\infty}\operatorname*{Prob}_{A\in M_n(\mathbb Z_p)}(\mathrm{cok}(A)\cong H_1 \text{ and }\mathrm{cok}(A+B_n)\cong H_2) =\prod_{j=1}^2\left(\frac1{|\mathrm{Aut_{\mathbb Z_p}(H_j)}|} \prod_{i=1}^\infty(1-p^{-i})\right). \]