BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Ángel del Río appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that if $G$ is finite 2-generated $p$-group of nilpotence class at most 2 then the group algebra of $G$ with coefficients in the field with $p$ elements determines $G$ up to isomorphisms.
The problem of describing the group of units $\mathcal{U}(\mathbb{Z} G)$ of the integral group ring $\mathbb{Z} G$ of a finite group $G$ has attracted a lot of attention and providing presentations for such groups is a fundamental problem. Within the context of orders, a central problem is to describe a presentation of the unit group of an order $\mathcal{O}$ in the simple epimorphic images $A$ of the rational group algebra $\mathbb{Q} G$. Making use of the presentation part of Poincaré's Polyhedron Theorem, Pita, del Río and Ruiz proposed such a method for a large family of finite groups $G$ and consequently Jespers, Pita, del Río, Ruiz and Zalesskii described the structure of $\mathcal{U}(\mathbb{Z} G)$ for a large family of finite groups $G$. In order to handle many more groups, one would like to extend Poincaré's Method to discontinuous subgroups of the group of isometries of a direct product of hyperbolic spaces. If the algebra $A$ has degree 2 then via the Galois embeddings of the centre of the algebra $A$ one considers the group of reduced norm one elements of the order $Ø$ as such a group and thus one would obtain a solution to the mentioned problem. This would provide presentations of the unit group of orders in the simple components of degree 2 of $\mathbb{Q} G$ and in particular describe the unit group of $\mathbb{Z} G$ for every group $G$ with irreducible character degrees less than or equal to 2. The aim of this paper is to initiate this approach by executing this method on the Hilbert modular group, i.e. the projective linear group of degree two over the ring of integers in a real quadratic extension of the rationals. This group acts discontinuously on a direct product of two hyperbolic spaces of dimension two. The fundamental domain constructed is an analogue of the Ford domain of a Fuchsian or a Kleinian group.
We give a new self-contained proof of Poincaré's Polyhedron Theorem on presentations of discontinuous groups of isometries of a Riemann manifold of constant curvature. The proof is not based on the theory of covering spaces, but only makes use of basic geometric concepts. In a sense one hence obtains a proof that is of a more constructive nature than most known proofs.
We classify the polynomials with integral coefficients that, when evaluated on a group element of finite order $n$, define a unit in the integral group ring for infinitely many positive integers $n$. We show that this happens if and only if the polynomial defines generic units in the sense of Marciniak and Sehgal. We also classify the polynomials with integral coefficients which provides units when evaluated on $n$-roots of a fixed integer $a$ for infinitely many positive integers $n$.
Let $G$ be a finite group, $u$ a Bass unit based on an element $a$ of $G$ of prime order, and assume that $u$ has infinite order modulo the center of the units of the integral group ring $\Z G$. It was recently proved that if $G$ is solvable then there is a Bass unit or a bicyclic unit $v$ and a positive integer $n$ such that the group generated by $u^n$ and $v^n$ is a non-abelian free group. It has been conjectured that this holds for arbitrary groups $G$. To prove this conjecture it is enough to do it under the assumption that $G$ is simple and $a$ is a dihedral $p$-critical element in $G$. We first classify the simple groups with a dihedral $p$-critical element. They are all of the form $\PSL(2,q)$. We prove the conjecture for $p=5$; for $p>5$ and $q$ even; and for $p>5$ and $q+1=2p$. We also provide a sufficient condition for the conjecture to hold for $p>5$ and $q$ odd. With the help of computers we have verified the sufficient condition for all $q<10000$.
We compute the rank of the group of central units in the integral group ring $\Z G$ of a finite strongly monomial group $G$. The formula obtained is in terms of the strong Shoda pairs of $G$. Next we construct a virtual basis of the group of central units of $\Z G$ for a class of groups $G$ properly contained in the finite strongly monomial groups. Furthermore, for another class of groups $G$ inside the finite strongly monomial groups, we give an explicit construction of a complete set of orthogonal primitive idempotents of $\Q G$. Finally, we apply these results to describe finitely many generators of a subgroup of finite index in the group of units of $\Z G$, this for metacyclic groups $G$ of the form $G=C_{q^m}\rtimes C_{p^n}$ with $p$ and $q$ different primes and the cyclic group $C_{p^n}$ of order $p^n$ acting faithfully on the cyclic group $C_{q^m}$ of order $q^m$.
Let $R$ be a commutative ring of characteristic zero and $G$ an arbitrary group. In the present paper we classify the groups $G$ for which the set of symmetric elements with respect to the classical involution of the group ring $RG$ is Lie metabelian.
Let $G$ be a finite group, $\Z G$ the integral group ring of $G$ and $\U(\Z G)$ the group of units of $\Z G$. The Congruence Subgroup Problem for $\U(\Z G)$ is the problem of deciding if every subgroup of finite index of $\U(\Z G)$ contains a congruence subgroup, i.e. the kernel of the natural homomorphism $\U(\Z G) \rightarrow \U(\Z G/m\Z G)$ for some positive integer $m$. The congruence kernel of $\U(\Z G)$ is the kernel of the natural map from the completion of $\U(\Z G)$ with respect to the profinite topology to the completion with respect to the topology defined by the congruence subgroups. The Congruence Subgroup Problem has a positive solution if and only if the congruence kernel is trivial. We obtain an approximation to the problem of classifying the finite groups for which the congruence kernel of $\U(\Z G)$ is finite. More precisely, we obtain a list $L$ formed by three families of finite groups and 19 additional groups such that if the congruence kernel of $\U(\Z G)$ is infinite then $G$ has an epimorphic image isomorphic to one of the groups of $L$. About the converse of this statement we at least know that if one of the 19 additional groups in $L$ is isomorphic to an epimorphic image of $G$ then the congruence kernel of $\U(\Z G)$ is infinite. However, to decide for the finiteness of the congruence kernel in case $G$ has an epimorphic image isomorphic to one of the groups in the three families of $L$ one needs to know if the congruence kernel of the group of units of an order in some specific division algebras is finite and this seems a difficult problem.
We give an explicit description for a basis of a subgroup of finite index in the group of central units of the integral group ring $\Z G$ of a finite abelian-by-supersolvable group such that every cyclic subgroup of order not a divisor of 4 or 6 is subnormal in $G$. The basis elements turn out to be a natural product of conjugates of Bass units. This extends and generalizes a result of Jespers, Parmenter and Sehgal showing that the Bass units generate a subgroup of finite index in the center $\mathcal{Z} (\U (\Z G))$ of the unit group $\U (\Z G)$ in case $G$ is a finite nilpotent group. Next, we give a new construction of units that generate a subgroup of finite index in $\mathcal{Z}(\U(\Z G))$ for all finite strongly monomial groups $G$. We call these units generalized Bass units. Finally, we show that the commutator group $\U(\Z G)/\U(\Z G)'$ and $\mathcal{Z}(\U(\Z G))$ have the same rank if $G$ is a finite group such that $\Q G$ has no epimorphic image which is either a non-commutative division algebra other than a totally definite quaternion algebra, or a two-by-two matrix algebra over a division algebra with center either the rationals or a quadratic imaginary extension of $\Q$. This allows us to prove that in this case the natural images of the Bass units of $\Z G$ generate a subgroup of finite index in $\U(\Z G)/\U(\Z G)'$.
We give a constructive proof of the theorem of Bass and Milnor saying that if $G$ is a finite abelian group then the Bass units of the integral group ring $\Z G$ generate a subgroup of finite index in its units group $\U(\Z G)$. Our proof provides algorithms to represent some units that contribute to only one simple component of $\Q G$ and generate a subgroup of finite index in $\U(\Z G)$ as product of Bass units. We also obtain a basis $B$ formed by Bass units of a free abelian subgroup of finite index in $\U(\Z G)$ and give, for an arbitrary Bass unit $b$, an algorithm to express $b^{φ(|G|)}$ as a product of a trivial unit and powers of at most two units in this basis $B$.
Zassenhaus Conjecture for torsion units states that every augmentation one torsion unit of the integral group ring of a finite group G is conjugate to an element of G in the units of rational group algebra QG. This conjecture has been proved for nilpotent groups, metacyclic groups and some other families of groups. We prove the conjecture for cyclic-by-abelian groups.
We prove that any projective Schur algebra over a field $K$ is equivalent in $Br(K)$ to a radical abelian algebra. This was conjectured in 1995 by Sonn and the first author of this paper. As a consequence we obtain a characterization of the projective Schur group by means of Galois cohomology. The conjecture was known for algebras over fields of positive characteristic. In characteristic zero the conjecture was known for algebras over fields with an Henselian valuation over a local or global field of characteristic zero.