The Modular Isomorphism Problem for two generated groups of class two
We prove that if is finite 2-generated -group of nilpotence class at most 2 then the group algebra of with coefficients in the field with elements determines up to isomorphisms.
Source author record
Ángel del Río
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
12works
5topics
4close collaborators
Published work
12 publications
preprint2015arXiv
Presentations of Groups Acting Discontinuously on Direct Products of Hyperbolic Spaces
The problem of describing the group of units U(ZG) of the integral group ring ZG 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 O in the simple epimorphic images A of the rational group algebra QG. 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 U(ZG) 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 QG and in particular describe the unit group of ZG 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.
Open access
preprint2015arXiv
Revisiting Poincaré's Theorem on presentations of discontinuous groups via fundamental polyhedra
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.
Open access
preprint2014arXiv
Polynomials defining many units
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.
Open access
preprint2013arXiv
Bass units as free factors in integral group rings of simple groups
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 ZG. 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 un and vn 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.
Open access
preprint2013arXiv
Group rings of finite strongly monomial groups: central units and primitive idempotents
We compute the rank of the group of central units in the integral group ring ZG 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 ZG 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 ZG, this for metacyclic groups G of the form G=Cqm⋊Cpn with p and q different primes and the cyclic group Cpn of order pn acting faithfully on the cyclic group Cqm of order qm.
Open access
preprint2013arXiv
Group rings with Lie metabelian set of symmetric elements
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.
Open access
preprint2013arXiv
On the Congruence Subgroup Problem for integral group rings
Let G be a finite group, ZG the integral group ring of G and $\U(\Z G)$ the group of units of ZG. 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.
Open access
preprint2012arXiv
Central units of integral group rings
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 ZG 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 ZG generate a subgroup of finite index in $\U(\Z G)/\U(\Z G)'$.
Open access
preprint2012arXiv
Writing units of integral group rings of finite abelian groups as a product of Bass units
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 ZG 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.
Open access
preprint2012arXiv
Zassenhaus conjecture for cyclic-by-abelian groups
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.
Open access
preprint2006arXiv
Every projective Schur algebra is Brauer equivalent to a radical abelian algebra
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.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.