Searcharxiv⌕ Search

arXiv subjects

Marcin Mazur

Publications and source records attributed to Marcin Mazur.

39 records · Page 3Linked to original sources

On the smallest number of generators and the probability of generating an algebra

In this paper we study algebraic and asymptotic properties of generating sets of algebras over orders in number fields. Let $A$ be an associative algebra over an order $R$ in an algebraic number field. We assume that $A$ is a free $R$-module of finite rank. We develop a technique to compute the smallest number of generators of $A$. For example, we prove that the ring $M_3(\mathbb{Z})^{k}$ admits two generators if and only if $k\leq 768$. For a given positive integer $m$, we define the density of the set of all ordered $m$-tuples of elements of $A$ which generate it as an $R$-algebra. We express this density as a certain infinite product over the maximal ideals of $R$, and we interpret the resulting formula probabilistically. For example, we show that the probability that 2 random $3\times 3$ matrices generate the ring $M_3(\mathbb{Z})$ is equal to $(ζ(2)^2 ζ(3))^{-1}$, where $ζ$ is the Riemann zeta-function.

math.RA↗

Finite arithmetic subgroups of GL_n

We discuss the following conjecture of Kitaoka: if a finite subgroup $G$ of $GL_{n}(O_{K})$ is invariant under the action of $Gal(K/\Bbb Q)$ then it is contained in $GL_{n}(K^{ab})$. Here $O_{K}$ is the ring of integers in a finite, Galois extension $K$ of $\Bbb Q$ and $K^{ab}$ is the maximal, abelian subextension of $K$. Our main result reduces this conjecture to a special case of elementary abelian $p-$groups $G$. Also, we construct some new examples which negatively answer a question of Kitaoka.

math.NT↗

Remarks on normal bases

We prove that any Galois extension of commutative rings with normal basis and abelian Galois group of odd order has a self dual normal basis. Also we show that if S/R is an unramified extension of number rings with Galois group of odd order and $R$ is totally real then the normal basis does not exist for S/R.

math.NT↗