Searcharxiv⌕ Search

arXiv subjects

B. V. Petrenko

Publications and source records attributed to B. V. Petrenko.

3 recordsLinked to original sources

Some formulas for the smallest number of generators for finite direct sums of matrix algebras

We obtain an asymptotic upper bound for the smallest number of generators for a finite direct sum of matrix algebras with entries in a finite field. This produces an upper bound for a similar quantity for integer matrix rings. We also obtain an exact formula for the smallest number of generators for a finite direct sum of 2-by-2 matrix algebras with entries in a finite field and as a consequence obtain a formula for a similar quantity for a finite direct sum of 2-by-2 integer matrix rings. We remark that a generating set the ring $\bigoplus_{i=1}^k M_{n_i}(\mathbb{Z})^{n_i}$ may be used as a generating set of any matrix algebra $\bigoplus_{i=1}^k M_{n_i}(R)^{n_i}$ where $R$ is an associative ring with a two-sided 1.

math.RA↗

On pairs of matrices generating matrix rings and their presentations

Let $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}

math.RA↗

On a Theorem of Lenstra and Schoof

We give a detailed proof of Theorem 1.15 from a well-known paper "Primitive normal bases for finite fields" by H.W. Lenstra Jr. and R.J. Schoof. We are not aware of any other proofs. Let $L/K$ be a finite-dimensional Galois field extension and $B$ the set of all normal bases of this extension. Theorem 1.15 describes the group of all $γ$ in the multiplicative group of $L$ such that $γB = B$.

math.NT↗