Searcharxiv⌕ Search

arXiv subjects

Eric Jespers

Publications and source records attributed to Eric Jespers.

At least 37 records · Page 2Linked to original sources
arXiv2017

Asymmetric product of left braces and simplicity; new solutions of the Yang-Baxter equation

The problem of constructing all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation recently has been reduced to the problem of describing all the left braces. In particular, the classification of all finite left braces is fundamental in order to describe all finite such solutions of the Yang-Baxter equation. In this paper we continue the study of finite simple left braces with the emphasis on the application of the asymmetric product of left braces in order to construct new classes of simple left braces. We do not only construct new classes but also we interpret all previously known constructions as asymmetric products. Moreover, a construction is given of finite simple left braces with a multiplicative group that is solvable of arbitrary derived length.

math.QA↗
arXiv2017

Semigroup graded algebras and graded PI-exponent

Let $S$ be a finite semigroup and let $A$ be a finite dimensional $S$-graded algebra. We investigate the exponential rate of growth of the sequence of graded codimensions $c_n^S(A)$ of $A$, i.e $\lim\limits_{n \rightarrow \infty} \sqrt[n]{c_n^S(A)}$. For group gradings this is always an integer. Recently in [20] the first example of an algebra with a non-integer growth rate was found. We present a large class of algebras for which we prove that their growth rate can be equal to arbitrarily large non-integers. An explicit formula is given. Surprisingly, this class consists of an infinite family of algebras simple as an $S$-graded algebra. This is in strong contrast to the group graded case for which the growth rate of such algebras always equals $\dim (A)$. In light of the previous, we also handle the problem of classification of all $S$-graded simple algebras, which is of independent interest. We achieve this goal for an important class of semigroups that is crucial for a solution of the general problem.

math.RA↗
arXiv2016

A family of irretractable square-free solutions of the Yang-Baxter equation

A new family of non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation is constructed. All these solutions are strong twisted unions of multipermutation solutions of multipermutation level at most two. A large subfamily consists of irretractable and square-free solutions. This subfamily includes a recent example of Vendramin, who first gave a counterexample to Gateva-Ivanova's Strong Conjecture. All the solutions in this subfamily are new counterexamples to Gateva-Ivanova's Strong Conjecture and also they answer a question of Cameron and Gateva-Ivanova. It is proved that the natural left brace structure on the permutation group of the solutions in this family has trivial socle. Properties of the permutation group and of the structure group associated to these solutions are also investigated. In particular, it is proved that the structure groups of finite solutions in this subfamily are not poly-(infinite cyclic) groups.

math.GR↗
arXiv2016

Free products in the unit group of the integral group ring of a finite group

Let $G$ be a finite group and let $p$ be a prime. We continue the search for generic constructions of free products and free monoids in the unit group $\mathcal{U}(\mathbb{Z}G)$ of the integral group ring $\mathbb{Z}G$. For a nilpotent group $G$ with a non-central element $g$ of order $p$, explicit generic constructions are given of two periodic units $b_1$ and $b_2$ in $\mathcal{U}(\mathbb{Z}G)$ such that $\langle b_1 , b_2\rangle =\langle b_1\rangle \star \langle b_2 \rangle \cong \mathbb{Z}_p \star \mathbb{Z}_{p}$, a free product of two cyclic groups of prime order. Moreover, if $G$ is nilpotent of class $2$ and $g$ has order $p^n$, then also concrete generators for free products $\mathbb{Z}_{p^k} \star \mathbb{Z}_{p^m}$ are constructed (with $1\leq k,m\leq n $). As an application, for finite nilpotent groups, we obtain earlier results of Marciniak-Sehgal and Gon{ç}alves-Passman. Further, for an arbitrary finite group $G$ we give generic constructions of free monoids in $\mathcal{U}(\mathbb{Z}G)$ that generate an infinite solvable subgroup.

math.RA↗
arXiv2016

Dirichlet-Ford domains and Double Dirichlet domains

We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$- and $3$-space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for the bisectors defining the Dirichlet domain of center $i \in \HQ^2$ or center $j \in \HQ^3$, we obtain a simple condition on the matrix entries of the side-pairing transformations of the fundamental domain of a Fuchsian or Kleinian group to be a DF-domain. Using the same methods, we also complement a result of Lakeland stating that a cofinite Fuchsian group has a DF domain (or a Dirichlet domain with multiple centers) if and only if it is an index $2$ subgroup of the discrete group G of reflections in a hyperbolic polygon.

math.GR↗
arXiv2015

Presentations of Groups Acting Discontinuously on Direct Products of Hyperbolic Spaces

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.

math.GR↗
arXiv2014

Construction of a two unique product semigroup defined by permutation relations of quaternion type

For a regular representation $H \subseteq \text{Sym}_n$ of the generalized quaternion group of order $n=4k$, with $k\geq 2$, the monoid $S_n(H)$ presented with generators $a_1,a_2,\dots ,a_n$ and with relations $a_1a_2\cdots a_n=a_{σ(1)}a_{σ(2)}\cdots a_{σ(n)}$, for all $σ\in H$, is investigated. It is shown that $S_n(H)$ has the two unique product property. As a consequence, for any field $K$, the monoid algebra $K[S_n(H)]$ is a domain with trivial units which is semiprimitive.

math.RA↗
arXiv2014

Finitely presented algebras defined by permutation relations of dihedral type

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{σ(1)} a_{σ(2)} \cdots a_{σ(n)}$, where $σ$ runs through a subset $H$ of the symmetric group $\text{Sym}_{n}$ of degree $n$, is investigated. Groups $H$ in which the cyclic group $\langle (1,2, \ldots ,n) \rangle$ is a normal subgroup of index $2$ are considered. Certain representations by permutations of the dihedral and semidihedral groups belong to this class of groups. A normal form for the elements of the underlying monoid $S_n(H)$ with the same presentation as the algebra is obtained. Properties of the algebra are derived, it follows that it is an automaton algebra in the sense of Ufnarovski\uı. The universal group $G_n$ of $S_n(H)$ is a unique product group, and it is the central localization of a cancellative subsemigroup of $S_n(H)$. This, together with previously obtained results on such semigroups and algebras, is used to show that the algebra $K[S_n(H)]$ is semiprimitive.

math.RA↗
arXiv2014

Group algebras and semigroup algebras defined by permutation relations of fixed length

Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{σ(i_1)} x_{σ(i_2)} \cdots x_{σ(i_l)}$, where $σ$ runs through $H$, is considered. It is shown that $G$ has a free subgroup of finite index. For a field $K$, properties of the algebra $K[G]$ are derived. In particular, the Jacobson radical $\mathcal{J}(K[G])$ is always nilpotent, and in many cases the algebra $K[G]$ is semiprimitive. Results on the growth and the Gelfand-Kirillov dimension of $K[G]$ are given. Further properties of the semigroup $S$ and the semigroup algebra $K[S]$ with the same presentation are obtained, in case $S$ is cancellative. The Jacobson radical is nilpotent in this case as well, and sufficient conditions for the algebra to be semiprimitive are given.

math.RA↗
arXiv2014

Poincaré Bisectors in Hyperbolic Spaces

We determine explicit formulas for the bisectors used in constructing a Dirichlet fundamental domain in hyperbolic two and three space. They are compared with the isometric spheres employed in the construction of a Ford domain and used to find a finite set of generators for discrete groups of finite covolume. Applications are given to Fuchsian groups, Kleinian groups, including the Bianchi groups, and for the construction of a finite set of generators of the unit group of the integral group ring of a finite nilpotent group. An easy implementable algorithm, DAFC, is also given and used in the search for generators of discrete groups.

math.GR↗
arXiv2013

Finitely Presented Monoids and Algebras defined by Permutation Relations of Abelian Type, II

The class of finitely presented algebras A over a field K with a set of generators x_{1},...,x_{n} and defined by homogeneous relations of the form x_{i_1}x_{i_2}...x_{i_l}=x_{sigma(i_1)}x_{sigma(i_2)}...x_{sigma(i_l)}, where l geq 2 is a given integer and sigma runs through a subgroup H of Sym_n, is considered. It is shown that the underlying monoid S_{n,l}(H)= is cancellative if and only if H is semiregular and abelian. In this case S_{n,l}(H) is a submonoid of its universal group G. If, furthermore, H is transitive then the periodic elements T(G) of G form a finite abelian subgroup, G is periodic-by-cyclic and it is a central localization of S_{n,l}(H), and the Jacobson radical of the algebra A is determined by the Jacobson radical of the group algebra K[T(G)]. Finally, it is shown that if H is an arbitrary group that is transitive then K[S_{n,l}(H)] is a Noetherian PI-algebra of Gelfand-Kirillov dimension one; if furthermore H is abelian then often K[G] is a principal ideal ring. In case H is not transitive then K[S_{n,l}(H)] is of exponential growth.

math.RA↗
arXiv2013

From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups

We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre $\mathbb{Q}$. The main difficulty is to deal with orders in quaternion algebras over the rationals or a quadratic imaginary extension of the rationals. In order to deal with these we give a finite and easy implementable algorithm to compute a fundamental domain in the hyperbolic three space $\mathbb{H}^3$ (respectively hyperbolic two space $\mathbb{H}^2$) for a discrete subgroup of ${\rm PSL}_2(\mathbb{C})$ (respectively ${\rm PSL}_2(\mathbb{R})$) of finite covolume. Our results on group rings are a continuation of earlier work of Ritter and Sehgal, Jespers and Leal.

math.GR↗
arXiv2013

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 $\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$.

math.RA↗
arXiv2012

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 $\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)'$.

math.RA↗
arXiv2012

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 $\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$.

math.RA↗
arXiv2012

Braces and the Yang-Baxter equation

Several aspects of relations between braces and non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation are discussed and many consequences are derived. In particular, for each positive integer $n$ a finite square-free multipermutation solution of the Yang-Baxter equation with multipermutation level $n$ and an abelian involutive Yang-Baxter group is constructed. This answers a problem of Gateva-Ivanova and Cameron. It is also proved that finite non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation whose associated involutive Yang-Baxter group is abelian are retractable in the sense of Etingof, Schedler and Soloviev. Earlier the authors proved this with the additional square-free hypothesis on the solutions. Retractability of solutions is also proved for finite square-free non-degenerate involutive set-theoretic solutions associated to a left brace.

math.RA↗