On pairs of matrices generating matrix rings and their presentations

Simple item page
dc.creatorPetrenko, B. V.
dc.creatorSidki, S. N.
dc.date2005-12-09
dc.date2005-12-19
dc.date.accessioned2026-07-07T08:20:47Z
dc.date.available2026-07-07T08:20:47Z
dc.descriptionLet $M_n(\mathbb{Z})$ the ring of $n$-by-$n$ matrices with integral entries, and $n \geq 2$. This paper studies the set $G_n(\mathbb{Z})$ of pairs $(A,B) \in M_n(\mathbb{Z})^2$ generating $M_n(\mathbb{Z})$ as a ring. We use several presentations of $M_{n}(\mathbb{Z})$ with generators $X=\sum_{i=1}^n E_{i+1,i}$ and $Y=E_{11}$ to obtain the following consequences. \begin{enumerate} \item Let $k \geq 1$. Then the rings $M_n(\mathbb{Q})^k$ and $\bigoplus_{j=1}^{k} M_{n_j} (\mathbb{Z})$, where $n_1, ..., n_k \geq 2$ are pairwise relatively prime, have presentations with 2 generators and finitely many relations. \item Let $D$ be a commutative domain of sufficiently large characteristic over which every finitely generated projective module is free. We use 4 relations for $X$ and $Y$ to describe all representations of the ring $M_{n}(D)$ into $M_{m}(D)$ for $m \geq n$. \item We obtain information about the asymptotic density of $G_n(F)$ in $M_n(F)^2$ over different fields, and over the integers. \end{enumerate}
dc.description33 pages. One typo has been corrected: in the first line of the proof of Theorem 2.19 on p. 16, $G_n(\mathbb{F}_q)$ was replaced with $M_n(\mathbb{F}_q)^2-G_n(\mathbb{F}_q)$. No other changes have been made
dc.identifierhttps://arxiv.org/abs/math/0512186
dc.identifierhttp://arxiv.org/abs/math/0512186
dc.identifierJournal of Algebra, 310 (2007), no. 1, 15--40
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/135170
dc.subjectRings and Algebras
dc.subjectRepresentation Theory
dc.subject16S15; 16S50; 15A36; 15A33
dc.titleOn pairs of matrices generating matrix rings and their presentations
dc.typetext

Files

Collections

arXiv