Showing 1–23 of 23 results for author: Chouraqui, F

On the Realization of quantum gates coming from the Tracy-Singh product

Authors: Fabienne Chouraqui

Abstract: The Tracy-Singh product of matrices permits to construct a new gate $c \boxtimes c'$ from two $2$-qudit gates $c$ and $c'$. If $c$ and $c'$ are both Yang-Baxter gates, then $c \boxtimes c'$ is also a Yang-Baxter gate, and if at least one of them is entangling, then $c \boxtimes c'$ is also entangling. A natural question arises about the realisation of these gates, $c \boxtimes c'$, in terms of loc… ▽ More The Tracy-Singh product of matrices permits to construct a new gate $c \boxtimes c'$ from two $2$-qudit gates $c$ and $c'$. If $c$ and $c'$ are both Yang-Baxter gates, then $c \boxtimes c'$ is also a Yang-Baxter gate, and if at least one of them is entangling, then $c \boxtimes c'$ is also entangling. A natural question arises about the realisation of these gates, $c \boxtimes c'$, in terms of local and universal gates. In this paper, we consider this question and describe this realisation. △ Less

Submitted 3 December, 2024; originally announced December 2024.

When the Tracy-Singh product of matrices represents a certain operation on linear operators

Authors: Fabienne Chouraqui

Abstract: Given two linear transformations, with representing matrices $A$ and $B$ with respect to some bases, it is not clear, in general, whether the Tracy-Singh product of the matrices $A$ and $B$ corresponds to a particular operation on the linear transformations. Nevertheless, it is not hard to show that in the particular case that each matrix is a square matrix of order of the form $n^2$, $n>1$, and i… ▽ More Given two linear transformations, with representing matrices $A$ and $B$ with respect to some bases, it is not clear, in general, whether the Tracy-Singh product of the matrices $A$ and $B$ corresponds to a particular operation on the linear transformations. Nevertheless, it is not hard to show that in the particular case that each matrix is a square matrix of order of the form $n^2$, $n>1$, and is partitioned into $n^2$ square blocks of order $n$, then their Tracy-Singh product, $A \boxtimes B$, is similar to $A \otimes B$, and the change of basis matrix is a permutation matrix. In this note, we prove that in the special case of linear operators induced from set-theoretic solutions of the Yang-Baxter equation, the Tracy-Singh product of their representing matrices is the representing matrix of the linear operator obtained from the direct product of the set-theoretic solutions. △ Less

Submitted 18 January, 2024; v1 submitted 2 May, 2023; originally announced May 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2303.02964

Journal ref: Communications in Algebra (2024)

The Yang-Baxter equation, Quantum computing and Quantum entanglement

Authors: Fabienne Chouraqui

Abstract: We present a method to construct infinite families of entangling $2$-qudit gates, and amongst them entangling $2$-qudit gates which satisfy the Yang-Baxter equation. We show that, given $2$-qudit gates $c$ and $d$, if $c$ or $d$ is entangling, then their Tracy-Singh product $c \boxtimes d$ is also entangling and we can provide non-entangled states which become entangled after the application of… ▽ More We present a method to construct infinite families of entangling $2$-qudit gates, and amongst them entangling $2$-qudit gates which satisfy the Yang-Baxter equation. We show that, given $2$-qudit gates $c$ and $d$, if $c$ or $d$ is entangling, then their Tracy-Singh product $c \boxtimes d$ is also entangling and we can provide non-entangled states which become entangled after the application of $c \boxtimes d$. △ Less

Submitted 25 August, 2024; v1 submitted 6 March, 2023; originally announced March 2023.

Comments: changes and some additions have been made

Journal ref: Physics Scripta, volume 99, number 11 (2024)

Yang-Baxter equation and cryptography

Authors: Fabienne Chouraqui

Abstract: We find a method to construct iteratively from a non-degenerate involutive set-theoretic solution of the Yang-Baxter equation an infinite family of very large non-degenerate involutive set-theoretic solutions. In case the initial solution is irretractable, all the induced solutions are also irretractable. In case the initial solution is indecomposable, we give a criterion to decide whether all the… ▽ More We find a method to construct iteratively from a non-degenerate involutive set-theoretic solution of the Yang-Baxter equation an infinite family of very large non-degenerate involutive set-theoretic solutions. In case the initial solution is irretractable, all the induced solutions are also irretractable. In case the initial solution is indecomposable, we give a criterion to decide whether all the induced solutions are also indecomposable. Besides the interest in the construction of large (indecomposable) solutions of the Yang-Baxter equation, this construction may have some applications in cryptography. Indeed, we suggest a public key encryption method and a signature method based on our construction, and examine their strengths and weaknesses. △ Less

Submitted 28 December, 2022; originally announced December 2022.

Garsideness properties of structure groups of set-theoretic solutions of the Yang-Baxter equation

Authors: Fabienne Chouraqui

Abstract: There exists a multiplicative homomorphism from the braid group B to the Temperley-Lieb algebra TL. Moreover, the homomorphic images in TL of the simple elements form a basis for the vector space underlying TL. In analogy with the case of B, there exists a multiplicative homomorphism from the structure group G of a non-degenerate, involutive set-theoretic solution to an algebra, which extends to a… ▽ More There exists a multiplicative homomorphism from the braid group B to the Temperley-Lieb algebra TL. Moreover, the homomorphic images in TL of the simple elements form a basis for the vector space underlying TL. In analogy with the case of B, there exists a multiplicative homomorphism from the structure group G of a non-degenerate, involutive set-theoretic solution to an algebra, which extends to a homomorphism of algebras. We construct a finite basis of the underlying vector space of the image of G using the Garsideness properties of the solution. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Comments: 15 PAGES

MSC Class: 20F05; 20F65; 20C07

A note on Garside monoids and Braces

Authors: Fabienne Chouraqui

Abstract: A left brace is a triple $(\mathcal{B},+,\cdot)$, where $(\mathcal{B},+)$ is an abelian group, $(\mathcal{B},\cdot)$ is a group, and there is a left-distributivity-like axiom that relates between the two operations in $\mathcal{B}$. In analogy with a left brace, we define a left $\mathscr{M}$-brace to be a triple $(\mathcal{B},+,\cdot)$, where $(\mathcal{B},+)$ is a commutative monoid,… ▽ More A left brace is a triple $(\mathcal{B},+,\cdot)$, where $(\mathcal{B},+)$ is an abelian group, $(\mathcal{B},\cdot)$ is a group, and there is a left-distributivity-like axiom that relates between the two operations in $\mathcal{B}$. In analogy with a left brace, we define a left $\mathscr{M}$-brace to be a triple $(\mathcal{B},+,\cdot)$, where $(\mathcal{B},+)$ is a commutative monoid, $(\mathcal{B},\cdot)$ is a monoid, and the axiom of left distributivity holds. A lcm-monoid $M$ is a left-cancellative monoid such that $1$ is the unique invertible element in $M$, and every pair of elements in $M$ admit a lcm with respect to left-divisibility. The class of lcm-monoids contains the Gaussian, quasi-Garside and Garside monoids. We show that every lcm-monoid induces a left $\mathscr{M}$-brace. Furthermore, we show that every Gaussian group induces a partial left brace. △ Less

Submitted 18 July, 2022; v1 submitted 22 June, 2021; originally announced June 2021.

Comments: 12 pages, 5 figures- updated version with added assumption in Theorem 2 and changes in its proof. arXiv admin note: text overlap with arXiv:2105.12445

Journal ref: Semigroup Forum(2023), 106, 553-568

The Yang-Baxter equation and Thompson's group $F$

Authors: Fabienne Chouraqui

Abstract: In analogy with non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation and braces, we define non-degenerate involutive partial set-theoretic solutions and partial braces. We define the structure group and the structure inverse monoid of such a solution and prove that if the partial solution is square-free, then its structure inverse monoid embeds into the restricted product… ▽ More In analogy with non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation and braces, we define non-degenerate involutive partial set-theoretic solutions and partial braces. We define the structure group and the structure inverse monoid of such a solution and prove that if the partial solution is square-free, then its structure inverse monoid embeds into the restricted product of a commutative inverse monoid and an inverse symmetric monoid. Furthermore, we show that there exists a square-free, non-degenerate involutive partial solution with structure group isomorphic to Thompson's group $F$. △ Less

Submitted 21 July, 2022; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: many figures- added some changes and a correction to theorem 2, changes in its proof also. margin comments are added to point the changes from the previous version

Journal ref: International Journal of Algebra and Computation (2023), vol33, n.03, 547-584

Herzog-Schonheim conjecture, vanishing sums of roots of unity and convex polygons

Authors: Fabienne Chouraqui

Abstract: Let $G$ be a group and $H_1$,\ldots,$H_s$ be subgroups of $G$ of indices $d_1,\ldots,d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1,\ldots,d_s$ cannot be distinct. In this paper, we present the conjecture as a problem on vanishing sum of roots of unity and convex polygons and prove some results… ▽ More Let $G$ be a group and $H_1$,\ldots,$H_s$ be subgroups of $G$ of indices $d_1,\ldots,d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1,\ldots,d_s$ cannot be distinct. In this paper, we present the conjecture as a problem on vanishing sum of roots of unity and convex polygons and prove some results using this approach. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:2001.03882, arXiv:1901.09898

Journal ref: Communications in Algebra (2021), 49(11), 4600-4615

An approach to the Herzog-Schönheim conjecture using automata

Authors: Fabienne Chouraqui

Abstract: Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. In this paper, we present a new approach to the Herzog-Schönheim conjecture based on automata and present a translation of the conjecture… ▽ More Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. In this paper, we present a new approach to the Herzog-Schönheim conjecture based on automata and present a translation of the conjecture as a problem on automata. △ Less

Submitted 12 January, 2020; originally announced January 2020.

Comments: 12-13 pages (without bibliography). arXiv admin note: substantial text overlap with arXiv:1901.09898, arXiv:1803.08301

Journal ref: Lecture notes in Computer Science, 13257. International Conference on Developments in Language Theory (2022), 55-68

About an extension of the Davenport-Rado result to the Herzog-Schonheim conjecture for free groups

Authors: Fabienne Chouraqui

Abstract: Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank and propose a new approach, based on an extension of the Daven… ▽ More Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank and propose a new approach, based on an extension of the Davenport-Rado result for $G=\mathbb{Z}$. △ Less

Submitted 27 January, 2019; originally announced January 2019.

Comments: arXiv admin note: text overlap with arXiv:1803.08301

Journal ref: Advances in Group theory and applications 2021

The space of coset partitions of $F_n$ and Herzog-Schönheim conjecture

Authors: Fabienne Chouraqui

Abstract: Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank. We define $Y$ the space of coset partitions of $F_n$ and show… ▽ More Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank. We define $Y$ the space of coset partitions of $F_n$ and show $Y$ is a metric space with interesting properties. In a previous paper, we gave some sufficient conditions on the coset partition of $F_n$ that ensure the conjecture is satisfied. Here, we show that each coset partition of $F_n$, which satisfies one of these conditions, has a neighborhood $U$ in $Y$ such that all the partitions in $U$ satisfy also the conjecture. △ Less

Submitted 30 April, 2018; originally announced April 2018.

Comments: 8 pages; It contains the extension of some results in arXiv:1803.08301

The Herzog-Schonheim conjecture for finitely generated groups

Authors: Fabienne Chouraqui

Abstract: Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank and develop a new combinatorial approach, using covering space… ▽ More Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank and develop a new combinatorial approach, using covering spaces. We define $Y$ the space of coset partitions of $F_n$ and show $Y$ is a metric space with interesting properties. We give some sufficient conditions on the coset partition that ensure the conjecture is satisfied and moreover has a neighborhood $U$ in $Y$ such that all the partitions in $U$ satisfy also the conjecture. △ Less

Submitted 5 August, 2018; v1 submitted 22 March, 2018; originally announced March 2018.

Comments: Updated version

Journal ref: International Journal of Algebra and Computation (2019), vol.29, n.6, p. 1083-1112

About left orders in Garside groups

Authors: Fabienne Chouraqui

Abstract: We consider the structure group of a non-degenerate symmetric (non-trivial) set-theoretical solution of the quantum Yang-Baxter equation. This is a Bieberbach group and also a Garside group. We show this group is not bi-orderable, that is it does not admit a total order which is invariant under left and right multiplication. Regarding the existence of a left invariant total ordering, there is a gr… ▽ More We consider the structure group of a non-degenerate symmetric (non-trivial) set-theoretical solution of the quantum Yang-Baxter equation. This is a Bieberbach group and also a Garside group. We show this group is not bi-orderable, that is it does not admit a total order which is invariant under left and right multiplication. Regarding the existence of a left invariant total ordering, there is a great diversity. There exist structure groups with space of left orders homeomorphic to the Cantor set and all left orders Conradian, while there exist others that are even not unique product groups. △ Less

Submitted 29 June, 2016; v1 submitted 29 July, 2015; originally announced July 2015.

Comments: updated version

MSC Class: 20F60; 16T25

Journal ref: International Journal of Algebra and Computation (2016), vol.26, n.7, p. 1349-1359

The Zappa-Szep product of left-orderable groups

Authors: Fabienne Chouraqui

Abstract: It is well-known that the direct product of left-orderable groups is left-orderable and that, under a certain condition, the semi-direct product of left-orderable groups is left-orderable. We extend this result and show that, under a similar condition, the Zappa-Szep product of left-orderable groups is left-orderable. Moreover, we find conditions that ensure the existence of a partial left and rig… ▽ More It is well-known that the direct product of left-orderable groups is left-orderable and that, under a certain condition, the semi-direct product of left-orderable groups is left-orderable. We extend this result and show that, under a similar condition, the Zappa-Szep product of left-orderable groups is left-orderable. Moreover, we find conditions that ensure the existence of a partial left and right invariant ordering (bi-order) in the Zappa-Szep product of bi-orderable groups and prove some properties. △ Less

Submitted 10 May, 2016; v1 submitted 15 July, 2015; originally announced July 2015.

Comments: This is a final version after some changes

Journal ref: Chapter 3, in Infinite Group: From the Past to the Future, World scientific publisher 2016. pp 43-49

Construction of a group of automorphisms for an infinite family of Garside groups

Authors: Fabienne Chouraqui

Abstract: The structure groups of non-degenerate symmetric set-theoretical solutions of the quantum Yang-Baxter equation provide an infinite family of Garside groups with many interesting properties. Given a non-degenerate symmetric solution, we construct for its structure group a group of automorphisms. Moreover, we show this group of automorphisms admits a subgroup that preserves the Garside properties of… ▽ More The structure groups of non-degenerate symmetric set-theoretical solutions of the quantum Yang-Baxter equation provide an infinite family of Garside groups with many interesting properties. Given a non-degenerate symmetric solution, we construct for its structure group a group of automorphisms. Moreover, we show this group of automorphisms admits a subgroup that preserves the Garside properties of the structure group. In some cases, we could also prove the group of automorphisms obtained is an outer automorphism group. △ Less

Submitted 5 November, 2014; originally announced November 2014.

Journal ref: Communications in Algebra (2018), vol. 46 (11), 4710-4723

Finite quotients of groups of I-type

Authors: Fabienne Chouraqui, Eddy Godelle

Abstract: To every group of $I$-type, we associate a finite quotient group that plays the role that Coxeter groups play for Artin-Tits groups. Since groups of I-type are examples of Garside groups, this answers a question of D. Bessis in the particular case of groups of I-type. Groups of $I$-type are related to finite set theoretical solutions of the Yang-Baxter equation. To every group of $I$-type, we associate a finite quotient group that plays the role that Coxeter groups play for Artin-Tits groups. Since groups of I-type are examples of Garside groups, this answers a question of D. Bessis in the particular case of groups of I-type. Groups of $I$-type are related to finite set theoretical solutions of the Yang-Baxter equation. △ Less

Submitted 16 January, 2013; originally announced January 2013.

MSC Class: 16T25; 20F26

Journal ref: Advances in Mathematics (2014), vol. 258, p. 46-68

Knuth-Bendix algorithm and the conjugacy problems in monoids

Authors: Fabienne Chouraqui

Abstract: We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates. We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: This is a new version of the paper 'The conjugacy problems in monoids and semigroups'. This version will appear in the journal 'Semigroup forum'

Journal ref: Semigroup Forum: Volume 82, Issue 1 (2011), Page 181-196

Folding of set-theoretical solutions of the Yang-Baxter equation

Authors: Fabienne Chouraqui, Eddy Godelle

Abstract: We establish a correspondence between the invariant subsets of a non-degenerate symmetric set-theoretical solution of the quantum Yang-Baxter equation and the parabolic subgroups of its structure group, equipped with its canonical Garside structure. Moreover, we introduce the notion of a foldable solution, which extends the one of a decomposable solution. We establish a correspondence between the invariant subsets of a non-degenerate symmetric set-theoretical solution of the quantum Yang-Baxter equation and the parabolic subgroups of its structure group, equipped with its canonical Garside structure. Moreover, we introduce the notion of a foldable solution, which extends the one of a decomposable solution. △ Less

Submitted 17 September, 2010; originally announced September 2010.

Garside groups and Yang-Baxter equation

Authors: Fabienne Chouraqui

Abstract: We establish a one-to-one correspondence between a class of Garside groups admitting a certain presentation and the structure groups of non-degenerate, involutive and braided set-theoretical solutions of the quantum Yang-Baxter equation. We also characterize indecomposable solutions in terms of $Δ$-pure Garside groups. We establish a one-to-one correspondence between a class of Garside groups admitting a certain presentation and the structure groups of non-degenerate, involutive and braided set-theoretical solutions of the quantum Yang-Baxter equation. We also characterize indecomposable solutions in terms of $Δ$-pure Garside groups. △ Less

Submitted 23 January, 2011; v1 submitted 24 December, 2009; originally announced December 2009.

Comments: This is the last version of the paper, as it appears in Communications in Algebra, Volume 38 Issue 12, December 2010

Journal ref: Communications in Algebra, Volume 38 n.12 (December2010)

The conjugacy problem in semigroups and monoids

Authors: Fabienne Chouraqui

Abstract: We present an algorithmic approach to the conjugacy problems in monoids and semigroups, using rewriting systems. There is a class of monoids and semigroups that satisfy the condition that the transposi- tion problem and the left and right conjugacy problem are equivalent. The free monoid and the completely simple semigroups belong to this class. We give a solution to the conjugacy problem for mo… ▽ More We present an algorithmic approach to the conjugacy problems in monoids and semigroups, using rewriting systems. There is a class of monoids and semigroups that satisfy the condition that the transposi- tion problem and the left and right conjugacy problem are equivalent. The free monoid and the completely simple semigroups belong to this class. We give a solution to the conjugacy problem for monoids and semigroups in this class that are presented by a complete rewriting system that satisfies some additional conditions. △ Less

Submitted 3 November, 2009; originally announced November 2009.

"Set-theoretical" solutions of the quantum Yang-Baxter equation and a class of Garside groups

Authors: Fabienne Chouraqui

Abstract: We establish a one-to-one correspondence between structure groups of non-degenerate, involutive and braided "set-theoretical" solutions of the quantum Yang-Baxter equation and Garside groups with a certain presentation. Moreover, we show that the solution is indecomposable if and only if its structure group is a $Δ-$pure Garside group. We establish a one-to-one correspondence between structure groups of non-degenerate, involutive and braided "set-theoretical" solutions of the quantum Yang-Baxter equation and Garside groups with a certain presentation. Moreover, we show that the solution is indecomposable if and only if its structure group is a $Δ-$pure Garside group. △ Less

Submitted 26 November, 2008; v1 submitted 25 November, 2008; originally announced November 2008.

Rewriting Systems and Embedding of monoids in groups

Authors: Fabienne Chouraqui

Abstract: In this paper, a connection between rewriting systems and embedding of monoids in groups is found. We show that if a group with a positive presentation has a complete rewriting system $\Re$ that satisfies the condition that each rule in $\Re$ with positive left-hand side has a positive right-hand side, then the monoid presented by the subset of positive rules from $\Re$ embeds in the group. As a… ▽ More In this paper, a connection between rewriting systems and embedding of monoids in groups is found. We show that if a group with a positive presentation has a complete rewriting system $\Re$ that satisfies the condition that each rule in $\Re$ with positive left-hand side has a positive right-hand side, then the monoid presented by the subset of positive rules from $\Re$ embeds in the group. As an example, we give a simple proof that right angled Artin monoids embed in the corresponding right angled Artin groups. This is a special case of the well-known result of Paris \cite{paris} that Artin monoids embed in their groups. △ Less

Submitted 27 October, 2008; v1 submitted 8 April, 2008; originally announced April 2008.

MSC Class: 20M05; 68Q42

Journal ref: Groups Complex. Cryptol. 1 (2009), no. 1, 131-140

Rewriting Systems in Alternating Knot groups with the Dehn presentation

Authors: Fabienne Chouraqui

Abstract: Every tame, prime and alternating knot is equivalent to a tame, prime and alternating knot in regular position, with a common projection. In this work, we show that the Dehn presentation of the knot group of a tame, prime, alternating knot, with a regular and common projection has a finite and complete rewriting system. Although there are rules in the rewriting system with left-hand side a gener… ▽ More Every tame, prime and alternating knot is equivalent to a tame, prime and alternating knot in regular position, with a common projection. In this work, we show that the Dehn presentation of the knot group of a tame, prime, alternating knot, with a regular and common projection has a finite and complete rewriting system. Although there are rules in the rewriting system with left-hand side a generator and which increase the length of the words we show that the system is terminating. △ Less

Submitted 8 April, 2008; originally announced April 2008.

MSC Class: 57Mxx; 16Sxx; 68Qxx

Journal ref: Geom. Dedicata 138 (2009), 173-192