Showing 1–9 of 9 results for author: Foniqi, I

Droms Theorems for twisted right-angled Artin groups

Authors: Simone Blumer, Islam Foniqi, Claudio Quadrelli

Abstract: We characterize twisted right-angled Artin groups whose finitely generated subgroups are also twisted right-angled Artin groups. Additionally, we give a classification of coherence within this class of groups in terms of the defining graph. Furthermore, we provide a solution to the isomorphism problem for a notable subclass of these groups. We characterize twisted right-angled Artin groups whose finitely generated subgroups are also twisted right-angled Artin groups. Additionally, we give a classification of coherence within this class of groups in terms of the defining graph. Furthermore, we provide a solution to the isomorphism problem for a notable subclass of these groups. △ Less

Submitted 29 April, 2025; originally announced April 2025.

MSC Class: 20E26; 20F36; 20F65

On Subgroup Separability and Membership Problems in Twisted Right-Angled Artin Groups

Authors: Islam Foniqi

Abstract: We characterize twisted right-angled Artin groups (T-RAAGs) that are subgroup separable using only their defining mixed graphs: such a group is subgroup separable if and only if the underlying simplicial graph contains neither induced paths nor squares on four vertices. This generalizes the results of Metaftsis-Raptis on classical right-angled Artin groups. Additionally, we show that the subgroup… ▽ More We characterize twisted right-angled Artin groups (T-RAAGs) that are subgroup separable using only their defining mixed graphs: such a group is subgroup separable if and only if the underlying simplicial graph contains neither induced paths nor squares on four vertices. This generalizes the results of Metaftsis-Raptis on classical right-angled Artin groups. Additionally, we show that the subgroup membership problem is decidable when the group is coherent, which occurs precisely when the defining mixed graph is chordal. We also address the rational and submonoid membership problems by exhibiting a cone-family of graphs for which the corresponding T-RAAGs have decidable rational and submonoid membership problems. △ Less

Submitted 27 April, 2025; v1 submitted 9 October, 2024; originally announced October 2024.

Comments: The new version contains an additional section regarding membership problems

MSC Class: 20E26; 20F36; 20F65

The submonoid and rational subset membership problems for Artin groups

Authors: Islam Foniqi

Abstract: We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both these problem are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize the ones by… ▽ More We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both these problem are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize the ones by Lohrey - Steinberg for right-angled Artin groups. Moreover, both these decision problems are decidable for a given Artin group if and only if the group is subgroup separable. This equivalence for right-angled Artin groups is provided by Lohrey - Steinberg and Metaftsis - Raptis. The equivalence for general Artin groups comes from some observations here and the characterization of separable Artin groups by Almeida - Lima. △ Less

Submitted 25 September, 2024; originally announced September 2024.

MSC Class: 20F10; 20F36; 20F65

On Artin groups admitting retractions to parabolic subgroups

Authors: Bruno Aaron Cisneros de la Cruz, María Cumplido, Islam Foniqi

Abstract: We generalize the retractions to standard parabolic subgroups for even Artin groups to FC-type Artin groups and other more general families. We prove that these retractions uniquely extend to any parabolic subgroup. We use retractions to generalize the results of Antolín and Foniqi that reduce the problem of intersection of parabolic subgroups to weaker conditions. As a corollary, we characterize… ▽ More We generalize the retractions to standard parabolic subgroups for even Artin groups to FC-type Artin groups and other more general families. We prove that these retractions uniquely extend to any parabolic subgroup. We use retractions to generalize the results of Antolín and Foniqi that reduce the problem of intersection of parabolic subgroups to weaker conditions. As a corollary, we characterize coherence for the FC case. △ Less

Submitted 22 August, 2024; originally announced August 2024.

Comments: 21 pages. Comments are welcome

MSC Class: 20F36; 20F65 (Primary)

Twisted right-angled Artin groups

Authors: Islam Foniqi

Abstract: We present a complete rewriting system for twisted right-angled Artin groups. Utilizing the normal form coming from the rewriting system, we provide applications that illustrate differences and similarities with right-angled Artin groups, both at the geometric and algebraic levels. We present a complete rewriting system for twisted right-angled Artin groups. Utilizing the normal form coming from the rewriting system, we provide applications that illustrate differences and similarities with right-angled Artin groups, both at the geometric and algebraic levels. △ Less

Submitted 9 July, 2024; originally announced July 2024.

MSC Class: 05A15; 05C25; 20F36

Subgroups of even Artin groups of FC-type

Authors: Yago Antolín, Islam Foniqi

Abstract: We prove a Tits alternative theorem for subgroups of finitely generated even Artin groups of FC type (EAFC groups), stating that there exists a finite index subgroup such that every subgroup of it is either finitely generated abelian, or maps onto a non-abelian free group. Parabolic subgroups play a key role, and we show that parabolic subgroups of EAFC groups are closed under taking roots. We prove a Tits alternative theorem for subgroups of finitely generated even Artin groups of FC type (EAFC groups), stating that there exists a finite index subgroup such that every subgroup of it is either finitely generated abelian, or maps onto a non-abelian free group. Parabolic subgroups play a key role, and we show that parabolic subgroups of EAFC groups are closed under taking roots. △ Less

Submitted 26 May, 2023; originally announced May 2023.

MSC Class: 20E06; 20F36; 20F65

Membership problems for positive one-relator groups and one-relation monoids

Authors: Islam Foniqi, Robert D. Gray, Carl-Fredrik Nyberg-Brodda

Abstract: Motivated by approaches to the word problem for one-relation monoids arising from work of Adian and Oganesian (1987), Guba (1997), and Ivanov, Margolis and Meakin (2001), we study the submonoid and rational subset membership problems in one-relation monoids and in positive one-relator groups. We give the first known examples of positive one-relator groups with undecidable submonoid membership prob… ▽ More Motivated by approaches to the word problem for one-relation monoids arising from work of Adian and Oganesian (1987), Guba (1997), and Ivanov, Margolis and Meakin (2001), we study the submonoid and rational subset membership problems in one-relation monoids and in positive one-relator groups. We give the first known examples of positive one-relator groups with undecidable submonoid membership problem, and apply this to give the first known examples of one-relation monoids with undecidable submonoid membership problem. We construct several infinite families of one-relation monoids with undecidable submonoid membership problem, including examples that are defined by relations of the form $w=1$ but which are not groups, and examples defined by relations of the form $u=v$ where both of $u$ and $v$ are non-empty. As a consequence we obtain a classification of the right-angled Artin groups that can arise as subgroups of one-relation monoids. We also give examples of monoids with a single defining relation of the form $aUb = a$, and examples of the form $aUb=aVa$, with undecidable rational subset membership problem. We give a one-relator group defined by a freely reduced word of the form $uv^{-1}$ with $u, v$ positive words, in which the prefix membership problem is undecidable. Finally, we prove the existence of a special two-relator inverse monoid with undecidable word problem, and in which both the relators are positive words. As a corollary, we also find a positive two-relator group with undecidable prefix membership problem. In proving these results, we introduce new methods for proving undecidability of the rational subset membership problem in monoids and groups, including by finding suitable embeddings of certain trace monoids. △ Less

Submitted 12 July, 2024; v1 submitted 24 May, 2023; originally announced May 2023.

Comments: 33 pages, 1 figure; incorporates referee's suggestions

MSC Class: 20F05; 20F10; 20F36; 20M05; 20M18

Intersection of parabolic subgroups in even Artin groups of FC-type

Authors: Yago Antolín, Islam Foniqi

Abstract: We show that the intersection of parabolic subgroups of an even finitely generated FC-type Artin group is again a parabolic subgroup. We show that the intersection of parabolic subgroups of an even finitely generated FC-type Artin group is again a parabolic subgroup. △ Less

Submitted 29 April, 2022; originally announced April 2022.

MSC Class: 20F36; 20F65

Geodesic Growth of some 3-dimensional RACGs

Authors: Yago Antolín, Islam Foniqi

Abstract: We give explicit formulas for the geodesic growth series of a Right Angled Coxeter Group (RACG) based on a link-regular graph that is 4-clique free, i.e. without tetrahedrons We give explicit formulas for the geodesic growth series of a Right Angled Coxeter Group (RACG) based on a link-regular graph that is 4-clique free, i.e. without tetrahedrons △ Less

Submitted 21 December, 2021; v1 submitted 20 May, 2021; originally announced May 2021.

Comments: v2 improved exposition

MSC Class: 05A15; 20F55