Related papers: A conductor formula for completed group algebras
We give a streamlined and effective proof of Ozaki's theorem that any finite $p$-group $\Gamma$ is the Galois group of the $p$-Hilbert class field tower of some number field $\rm F$. Our work is inspired by Ozaki's and applies in broader…
Let $p$ be a prime and $G$ a subgroup of $GL_d(p)$. We define $G$ to be $p$-exceptional if it has order divisible by $p$, but all its orbits on vectors have size coprime to $p$. We obtain a classification of $p$-exceptional linear groups.…
Given a finite-dimensional, complex simple Lie algebra we exhibit an integral form for the universal enveloping algebra of its map algebra, and an explicit integral basis for this integral form. We also produce explicit commutation formulas…
The main result of the paper is the following theorem. Let $q$ be a prime, $n$ a positive integer and $A$ an elementary abelian group of order $q^2$. Suppose that $A$ acts coprimely on a finite group $G$ and assume that for each $a\in…
Let $G$ be a finite $p$-group. We construct a $G$-extension $K/k$ of number fields such that the $p$-adic completion of the unit group of $K$ has a prescribed $\mathbb{Z}_p[G]$-module structure, up to free direct summands.
We describe an algorithm for obtaining generators of the unit group of the integral group ring ZG of a finite abelian group G. We used our implementation in Magma of this algorithm to compute the unit groups of ZG for G of order up to 110.…
We introduce the notion of commuting probability, $p(G)$, for an algebraic group $G$. This notion is inspired by the corresponding notions in finite groups and compact groups. The computation of $p(G)$ for reductive groups is readily done…
Let $(K,\mathcal O,k)$ be a $p$-modular system and assume $k$ is algebraically closed. We show that if $\Lambda$ is an $\mathcal O$-order in a separable $K$-algebra, then $\textrm{Pic}_{\mathcal O}(\Lambda)$ carries the structure of an…
Let $G$ be a group. The subsets $A_1,\ldots,A_k$ of $G$ form a complete factorization of group $G$ if if they are pairwise disjoint and each element $g\in G$ is uniquely represented as $g=a_1\ldots a_k$, with $a_i\in A_i$. We prove the…
Suppose that $Q$ is a finite quiver and $G\subseteq \Aut(Q)$ is a finite group, $k$ is an algebraic closed field whose characteristic does not divide the order of $G$. For any algebra $\Lambda=kQ/{\mathcal {I}}$, $\mathcal {I}$ is an…
Let R be a unitary ring of finite cardinality P^k, where p is a prime number and $p\nmid k$. We show that if the group of units of $R$ has at most one subgroup of order $p$, then $R\cong A\bigoplus B,$ where $B$ is a finite ring of order…
For any positive integer $k$, let $\mathcal{G}_k$ denote the set of finite groups $G$ such that all Cayley graphs ${\rm Cay}(G,S)$ are integral whenever $|S|\le k$. Est${\rm \acute{e}}$lyi and Kov${\rm \acute{a}}$cs \cite{EK14} classified…
For $n\geq 3,$ let $\Gamma=SL_n(\mathbb Z).$ We prove the following superridigity result for $\Gamma$ in the context of operator algebras. Let $L(\Gamma)$ be the von Neumann algebra generated by the left regular representation of $\Gamma.$…
Let $k$ be a number field, $\Omega$ be a finite symmetric subset of $\mathbb{GL}_{n_0}(k)$, and $\Gamma=\langle \Omega\rangle$. Let \[ C(\Gamma):=\{\mathfrak{p}\in V_f(k)|\hspace{1mm} \Gamma \text{is a bounded subgroup of}…
This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is…
The class of finitely presented algebras over a field K with a set of generators a_1,...,a_n and defined by homogeneous relations of the form a_1a_2...a_n = a_{sigma(1)}a_{sigma(2)}...a_{sigma(n)}, where sigma runs through an abelian…
Let $\mathcal{Z}(\mathcal{U}(\mathbb{Z}[G]))$ denote the group of central units in the integral group ring $\mathbb{Z}[G]$ of a finite group $G$. A bound on the index of the subgroup generated by a virtual basis in…
We construct a functor from the category of admissible finitely presented o-representations of GL(2,F) to the category of finite length o-representations of Gal_{Q_p}, for any finite extension F of Q_p and the ring of integers o of a finite…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite group. Given a $G$-Galois $K$-algebra $K_h$, let $\mathcal{O}_h$ denote its ring of integers. If $K_h/K$ is tame, then a classical theorem of E. Noether…
For any finite cyclic $p$-group $G$, we will show that every $\mathbb{Z}_p$-torsion free finitely generated $\mathbb{Z}_p[G]$-module appears as $\mathcal{O}_K^\times\otimes_{\mathbb{Z}}\mathbb{Z}_p$ up to $\mathbb{Z}_p[G]$-free direct…