Showing 1–17 of 17 results for author: Guyot, L

The multivariate Serre conjecture ring

Authors: Luc Guyot, Ihsen Yengui

Abstract: It is well-known that for any commutative unitary ring $\mathbf{R}$, the Serre conjecture ring $\mathbf{R}\langle X \rangle$, i.e., the localization of the univariate polynomial ring $\mathbf{R}[X]$ at monic polynomials, is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. Consequently, defining by induction… ▽ More It is well-known that for any commutative unitary ring $\mathbf{R}$, the Serre conjecture ring $\mathbf{R}\langle X \rangle$, i.e., the localization of the univariate polynomial ring $\mathbf{R}[X]$ at monic polynomials, is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. Consequently, defining by induction $\mathbf{R}\langle X_1,\ldots,X_n \rangle:=(\mathbf{R}\langle X_1,\ldots,X_{n-1}\rangle)\langle X_n\rangle$, the ring $\mathbf{R}\langle X_1,\ldots,X_n \rangle$ is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. The fact that $\mathbf{R}\langle X_1,\ldots,X_n \rangle$ is a Bézout domain when $\mathbf{R}$ is a valuation domain of Krull dimension $\leq 1$ was the cornerstone of Brewer and Costa's theorem stating that if $\mathbf{R}$ is a one-dimensional arithmetical ring then finitely generated projective $\mathbf{R}[X_1,\dots,X_n]$-modules are extended. It is also the key of the proof of the Gröbner Ring Conjecture in the lexicographic order case, namely the fact that for any valuation domain $\mathbf{R}$ of Krull dimension $\leq 1$, any $n \in \mathbb{N}_{>0}$, and any finitely generated ideal $I$ of $\mathbf{R}[X_1, \dots, X_n]$, the ideal $\operatorname{LT}(I)$ generated by the leading terms of the elements of $I$ with respect to the lexicographic monomial order is finitely generated. Since the ring $\mathbf{R}\langle X_1,\ldots,X_n\rangle$ can also be defined directly as the localization of the multivariate polynomial ring $\mathbf{R}[X_1,\dots,X_n]$ at polynomials whose leading coefficients according to the lexicographic monomial order with $X_1<X_2<\cdots<X_n$ is $1$, we propose to generalize the fact that $\mathbf{R}\langle X_1,\ldots,X_n\rangle$ is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$ to any rational monomial order, bolstering the evidence for the Gröbner Ring Conjecture in the rational case. △ Less

Submitted 3 July, 2022; originally announced July 2022.

Comments: 12 pages, no figure

MSC Class: 13B25 (Primary) 13B30; 13F05 (Secondary)

The stable rank of $\mathbb{Z}[x]$ is $3$

Authors: Luc Guyot

Abstract: Grunewald, Mennicke and Vaserstein proved that the Bass stable rank of $\mathbb{Z}[x]$, the ring of the univariate polynomials over $\mathbb{Z}$, is $3$. This note addresses minor errors found in their proof. Using their method, we show in addition that the unimodular row $(3, x + 1, x^2 + 16)$ is not stable. Grunewald, Mennicke and Vaserstein proved that the Bass stable rank of $\mathbb{Z}[x]$, the ring of the univariate polynomials over $\mathbb{Z}$, is $3$. This note addresses minor errors found in their proof. Using their method, we show in addition that the unimodular row $(3, x + 1, x^2 + 16)$ is not stable. △ Less

Submitted 9 February, 2025; v1 submitted 4 November, 2021; originally announced November 2021.

Comments: 10 pages, no figure. Published in Math. Exp

Report number: EXMATH-D-24-00039R3 MSC Class: 13D15 (Primary); 13B25 (Secondary)

Journal ref: Expositiones Mathematicae 43 (2025) 125659

Equivalent generating vectors of finitely generated modules over commutative rings

Authors: Luc Guyot

Abstract: Let $R$ be a commutative ring with identity and let $M$ be an $R$-module which is generated by $μ$ elements but not fewer. We denote by $\operatorname{SL}_n(R)$ the group of the $n \times n$ matrices over $R$ with determinant $1$. We denote by $\operatorname{E}_n(R)$ the subgroup of $\operatorname{SL}_n(R)$ generated by the the matrices which differ from the identity by a single off-diagonal coeff… ▽ More Let $R$ be a commutative ring with identity and let $M$ be an $R$-module which is generated by $μ$ elements but not fewer. We denote by $\operatorname{SL}_n(R)$ the group of the $n \times n$ matrices over $R$ with determinant $1$. We denote by $\operatorname{E}_n(R)$ the subgroup of $\operatorname{SL}_n(R)$ generated by the the matrices which differ from the identity by a single off-diagonal coefficient. Given $n \ge μ$ and $G \in \left\{\operatorname{SL}_n(R),\operatorname{E}_n(R)\right\}$, we study the action of $G$ by matrix right-multiplication on $\operatorname{V}_n(M)$, the set of elements of $M^n$ whose components generate $M$. Assuming that $M$ is finitely presented and that $R$ is an elementary divisor ring or an almost local-global coherent Prüfer ring, we obtain a description of $\operatorname{V}_n(M)/G$ which extends the author's earlier result on finitely generated modules over quasi-Euclidean rings. △ Less

Submitted 9 December, 2020; v1 submitted 5 December, 2020; originally announced December 2020.

Comments: 33 pages, no figure. Minor changes: fix a couple of embarrassing typos

MSC Class: 13E15 (Primary) 13F05; 13F05; 19B10 (Secondary)

Equivalent generating pairs of an ideal of a commutative ring

Authors: Luc Guyot

Abstract: Let $R$ be a commutative ring with identity and let $I$ be a two-generated ideal of $R$. We denote by $\operatorname{SL}_2(R)$ the group of $2 \times 2$ matrices over $R$ with determinant $1$. We study the action of $\operatorname{SL}_2(R)$ by matrix right-multiplication on $\operatorname{V}_2(I)$, the set of generating pairs of $I$. Let $\operatorname{Fitt}_1(I)$ be the second Fitting ideal of… ▽ More Let $R$ be a commutative ring with identity and let $I$ be a two-generated ideal of $R$. We denote by $\operatorname{SL}_2(R)$ the group of $2 \times 2$ matrices over $R$ with determinant $1$. We study the action of $\operatorname{SL}_2(R)$ by matrix right-multiplication on $\operatorname{V}_2(I)$, the set of generating pairs of $I$. Let $\operatorname{Fitt}_1(I)$ be the second Fitting ideal of $I$. Our main result asserts that $\operatorname{V}_2(I)/\operatorname{SL}_2(R)$ identifies with a group of units of $R/\operatorname{Fitt}_1(I)$ via a natural generalization of the determinant if $I$ can be generated by two regular elements. This result is illustrated in several Bass rings for which we also show that $\operatorname{SL}_n(R)$ acts transitively on $\operatorname{V}_n(I)$ for every $n > 2$. As an application, we derive a formula for the number of cusps of a modular group over a quadratic order. △ Less

Submitted 9 December, 2020; v1 submitted 5 December, 2020; originally announced December 2020.

Comments: 26 pages, no figure. Minor changes: fix a couple of embarrassing typos

MSC Class: 13E15 (Primary) 13F05 (Secondary)

On Andrews-Curtis conjectures for soluble groups

Authors: Luc Guyot

Abstract: The Andrews-Curtis conjecture claims that every normally generating $n$-tuple of a free group $F_n$ of rank $n \ge 2$ can be reduced to a basis by means of Nielsen transformations and arbitrary conjugations. Replacing $F_n$ by an arbitrary finitely generated group yields natural generalizations whose study may help disprove the original and unsettled conjecture. We prove that every finitely genera… ▽ More The Andrews-Curtis conjecture claims that every normally generating $n$-tuple of a free group $F_n$ of rank $n \ge 2$ can be reduced to a basis by means of Nielsen transformations and arbitrary conjugations. Replacing $F_n$ by an arbitrary finitely generated group yields natural generalizations whose study may help disprove the original and unsettled conjecture. We prove that every finitely generated soluble group satisfies the generalized Andrews-Curtis conjecture in the sense of Borovik, Lubotzky and Myasnikov. In contrast, we show that some soluble Baumslag-Solitar groups do not satisfy the generalized Andrews-Curtis conjecture in the sense of Burns and Macedońska. △ Less

Submitted 29 November, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 18 pages, minor changes: fixes several typos

MSC Class: Primary 20F05; Secondary 20F16

Generators of split extensions of Abelian groups by cyclic groups

Authors: Luc Guyot

Abstract: Let $G \simeq M \rtimes C$ be an $n$-generator group with $M$ Abelian and $C$ cyclic. We study the Nielsen equivalence classes and T-systems of generating $n$-tuples of $G$. The subgroup $M$ can be turned into a finitely generated faithful module over a suitable quotient $R$ of the integral group ring of $C$. When $C$ is infinite, we show that the Nielsen equivalence classes of the generating $n$-… ▽ More Let $G \simeq M \rtimes C$ be an $n$-generator group with $M$ Abelian and $C$ cyclic. We study the Nielsen equivalence classes and T-systems of generating $n$-tuples of $G$. The subgroup $M$ can be turned into a finitely generated faithful module over a suitable quotient $R$ of the integral group ring of $C$. When $C$ is infinite, we show that the Nielsen equivalence classes of the generating $n$-tuples of $G$ correspond bijectively to the orbits of unimodular rows in $M^{n -1}$ under the action of a subgroup of $GL_{n - 1}(R)$. Making no assumption on the cardinality of $C$, we exhibit a complete invariant of Nielsen equivalence in the case $M \simeq R$. As an application, we classify Nielsen equivalence classes and T-systems of soluble Baumslag-Solitar groups, lamplighter groups and split metacyclic groups. △ Less

Submitted 22 June, 2018; v1 submitted 29 April, 2016; originally announced April 2016.

Comments: 36 pages, The former Theorem F.ii has been retracted because the proof was wrong and couldn't be repaired. To appear in Groups, Geometry and Dynamics

MSC Class: 20F05 (Primary); 20F16; 20F28 (Secondary)

On quotients of generalized Euclidean group rings

Authors: Luc Guyot

Abstract: Let $R = Z[C]$ be the integral group ring of a finite cyclic group $C$. Dennis and al. proved that $R$ is a generalized Euclidean ring in the sense of P. M. Cohn, i.e., $SL_n(R)$ is generated by the elementary matrices for all $n$. We prove that every proper quotient of $R$ is also a generalized Euclidean ring. Let $R = Z[C]$ be the integral group ring of a finite cyclic group $C$. Dennis and al. proved that $R$ is a generalized Euclidean ring in the sense of P. M. Cohn, i.e., $SL_n(R)$ is generated by the elementary matrices for all $n$. We prove that every proper quotient of $R$ is also a generalized Euclidean ring. △ Less

Submitted 6 November, 2016; v1 submitted 28 April, 2016; originally announced April 2016.

Comments: 6 pages, no figure. Modification: fixed typo in assertion (iii) of Lemma 1 (thanks to Emom)

MSC Class: 13F07 (Primary); 16S34 (Secondary)

Finitely generated modules over quasi-Euclidean rings

Authors: Luc Guyot

Abstract: Let R be a unital commutative ring and let $M$ be an $R$-module that is generated by $k$ elements but not less. Let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by the elementary matrices. In this paper we study the action of $E_n(R)$ by matrix multiplication on the set $Um_n(M)$ of unimodular rows of $M$ of length $n \ge k$. Assuming $R$ is moreover Noetherian and quasi-Euclidean, e.g., $R$ is… ▽ More Let R be a unital commutative ring and let $M$ be an $R$-module that is generated by $k$ elements but not less. Let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by the elementary matrices. In this paper we study the action of $E_n(R)$ by matrix multiplication on the set $Um_n(M)$ of unimodular rows of $M$ of length $n \ge k$. Assuming $R$ is moreover Noetherian and quasi-Euclidean, e.g., $R$ is a direct sum of finitely many Euclidean rings, we show that this action is transitive if $n > k$. We also prove that $Um_k(M) /E_k(R)$ is equipotent with the unit group of $R/(a_1)$ where $(a_1)$ is the first invariant factor of $M$. These results encompass the well-known classification of Nielsen non-equivalent generating tuples in finitely generated Abelian groups. △ Less

Submitted 3 May, 2016; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: 7 pages, no figure. Results and proofs are unchanged. The modifications are the following: - one new reference - correction of a very confusing typo in Corollary C (the author thanks W. van der Kallen) - correction of two typos on page 6 (the author thanks D. Oancea)

MSC Class: 13F39 (Primary); 20K21; 20E05 (Secondary)

Infinite presentability of groups and condensation

Authors: Robert Bieri, Yves de Cornulier, Luc Guyot, Ralph Strebel

Abstract: We describe various classes of infinitely presented groups that are condensation points in the space of marked groups. A well-known class of such groups consists of finitely generated groups admitting an infinite minimal presentation. We introduce here a larger class of condensation groups, called infinitely independently presentable groups, and establish criteria which allow one to infer that a g… ▽ More We describe various classes of infinitely presented groups that are condensation points in the space of marked groups. A well-known class of such groups consists of finitely generated groups admitting an infinite minimal presentation. We introduce here a larger class of condensation groups, called infinitely independently presentable groups, and establish criteria which allow one to infer that a group is infinitely independently presentable. In addition, we construct examples of finitely generated groups with no minimal presentation, among them infinitely presented groups with Cantor-Bendixson rank 1, and we prove that every infinitely presented metabelian group is a condensation group. △ Less

Submitted 16 October, 2013; v1 submitted 1 October, 2010; originally announced October 2010.

Comments: 32 pages, no figure. 1->2 Major changes (the 13-page first version, authored by Y.C. and L.G., was entitled "On infinitely presented soluble groups") 2->3 some changes including cuts in Section 4

MSC Class: Primary 20F16; Secondary 20E18; 20F05; 20E05; 20E06; 20J06

Journal ref: J. Inst. Math. Jussieu 13 (2014) 811-848

Limits of metabelian groups

Authors: Luc Guyot

Abstract: We describe the two-generated limits of abelian-by-(infinite cyclic) groups in the space of marked groups using number theoretic methods. We also discuss universal equivalence of these limits. We describe the two-generated limits of abelian-by-(infinite cyclic) groups in the space of marked groups using number theoretic methods. We also discuss universal equivalence of these limits. △ Less

Submitted 8 July, 2010; originally announced July 2010.

Comments: 24 pages, no figures

MSC Class: 2000 Mathematical Subject Classification : Primary 20E18; 20F70; 13F20; 11R04

Limits of Baumslag-Solitar groups and dimension estimates in the space of marked groups

Authors: Luc Guyot, Yves Stalder

Abstract: We prove that the limits of Baumslag-Solitar groups which we previously studied are non-linear hopfian C*-simple groups with infinitely many twisted conjugacy classes. We exhibit infinite presentations for these groups, classify them up to group isomorphism, describe their automorphisms and discuss the word and conjugacy problems. Finally, we prove that the set of these groups has non-zero Hausf… ▽ More We prove that the limits of Baumslag-Solitar groups which we previously studied are non-linear hopfian C*-simple groups with infinitely many twisted conjugacy classes. We exhibit infinite presentations for these groups, classify them up to group isomorphism, describe their automorphisms and discuss the word and conjugacy problems. Finally, we prove that the set of these groups has non-zero Hausforff dimension in the space of marked groups on two generators. △ Less

Submitted 30 January, 2010; v1 submitted 29 January, 2010; originally announced January 2010.

Comments: 30 pages, no figures, english

MSC Class: Primary 20E05; 20E08; 20F10; 20F05

The space of subgroups of an abelian group

Authors: Yves de Cornulier, Luc Guyot, Wolfgang Pitsch

Abstract: We carry out the Cantor-Bendixson analysis of the space of all subgroups of any countable abelian group and we deduce a complete classification of such spaces up to homeomorphism. We carry out the Cantor-Bendixson analysis of the space of all subgroups of any countable abelian group and we deduce a complete classification of such spaces up to homeomorphism. △ Less

Submitted 4 September, 2010; v1 submitted 10 November, 2008; originally announced November 2008.

Comments: 22 pages, no figure

MSC Class: 20K27 (Primary); 20K15 (Secondary); 20K45; 06E15

Journal ref: J. London Math. Soc. 81(3) (2010) 727-746

Limits of dihedral groups

Authors: Luc Guyot

Abstract: We give a characterization of limits of dihedral groups in the space of finitely generated marked groups. We also describe the topological closure of dihedral groups in the space of marked groups on a fixed number of generators. We give a characterization of limits of dihedral groups in the space of finitely generated marked groups. We also describe the topological closure of dihedral groups in the space of marked groups on a fixed number of generators. △ Less

Submitted 9 October, 2007; v1 submitted 8 October, 2007; originally announced October 2007.

Comments: 16 pages, 1 figure

MSC Class: 20F05; 54G12; 11U09

Estimations de dimensions de Minkowski dans l'espace des groupes marqués

Authors: Luc Guyot

Abstract: Dans cet article, on montre que l'espace des groupes marqués est un sous-espace fermé d'un ensemble de Cantor dont la dimension de Hausdorff est infinie. On prouve que la dimension de Minkowski de cet espace est infinie en exhibant des sous-ensembles de groupes marqués à petite simplification dont les dimensions de Minkowski sont arbitrairement grandes. On donne une estimation des dimensions… ▽ More Dans cet article, on montre que l'espace des groupes marqués est un sous-espace fermé d'un ensemble de Cantor dont la dimension de Hausdorff est infinie. On prouve que la dimension de Minkowski de cet espace est infinie en exhibant des sous-ensembles de groupes marqués à petite simplification dont les dimensions de Minkowski sont arbitrairement grandes. On donne une estimation des dimensions de Minkowski de sous-espaces de groupes à un relateur. On démontre enfin que les dimensions de Minkowski du sous-espace des groupes commutatifs marqués et d'un ensemble de Cantor défini par Grigorchuk sont nulles. // // // In this article we show that the space of marked groups is a closed subspace of a Cantor space with infinite Hausdorff dimension. We prove that the Minkowski dimension of this space is infinite by exhibiting subsets of marked groups with small cancellation the dimensions of which are arbitrarly large. We give estimates of the Minkowski dimensions of of subsets of marked groups with one relator. Eventually, we prove that the Minkowski dimensions of the subspace of abelian marked groups and a Cantor space defined by Grigorchuk are zero. △ Less

Submitted 1 June, 2006; originally announced June 2006.

Comments: 15 pages

MSC Class: 20F10; 28A78

On the isolated points in the space of groups

Authors: Yves de Cornulier, Luc Guyot, Wolfgang Pitsch

Abstract: We investigate the isolated points in the space of finitely generated groups. We give a workable characterization of isolated groups and study their hereditary properties. Various examples of groups are shown to yield isolated groups. We also discuss a connection between isolated groups and solvability of the word problem. We investigate the isolated points in the space of finitely generated groups. We give a workable characterization of isolated groups and study their hereditary properties. Various examples of groups are shown to yield isolated groups. We also discuss a connection between isolated groups and solvability of the word problem. △ Less

Submitted 10 June, 2009; v1 submitted 29 November, 2005; originally announced November 2005.

Comments: 30 pages, no figure. v2: minor changes, published version from March 2006

MSC Class: Primary 20E15; Secondary 20E05; 20E22; 20E34; 20F05; 20F10; 57M07

Journal ref: J. Algebra 307(1) (2007), 254-277

Limits of Baumslag-Solitar groups

Authors: Luc Guyot, Yves Stalder

Abstract: We give a parametrization by $m$-adic integers of the limits of Baumslag-Solitar groups (marked with a canonical set of generators). It is shown to be continuous and injective on the invertible $m$-adic integers. We show that all such limits are extensions of a free group by a lamplighter group and all but possibly one are not finitely presented. Finally, we give presentations related to natural… ▽ More We give a parametrization by $m$-adic integers of the limits of Baumslag-Solitar groups (marked with a canonical set of generators). It is shown to be continuous and injective on the invertible $m$-adic integers. We show that all such limits are extensions of a free group by a lamplighter group and all but possibly one are not finitely presented. Finally, we give presentations related to natural actions on trees. △ Less

Submitted 10 February, 2010; v1 submitted 12 July, 2005; originally announced July 2005.

Comments: 24 pages; essentially equivalent to the version submitted to the editors after acceptance for publication; numerotation of statements is now coherent with the published version

Journal ref: Groups Geom. Dyn. 2 (2008), 353--381

Growth rates of amenable groups

Authors: Goulnara Arzhantseva, Victor Guba, Luc Guyot

Abstract: Let $F_m$ be a free group with $m$ generators and let $R$ be its normal subgroup such that $F_m/R$ projects onto $\zz$. We give a lower bound for the growth rate of the group $F_m/R'$ (where $R'$ is the derived subgroup of $R$) in terms of the length $ρ=ρ(R)$ of the shortest nontrivial relation in $R$. It follows that the growth rate of $F_m/R'$ approaches $2m-1$ as $ρ$ approaches infinity. This… ▽ More Let $F_m$ be a free group with $m$ generators and let $R$ be its normal subgroup such that $F_m/R$ projects onto $\zz$. We give a lower bound for the growth rate of the group $F_m/R'$ (where $R'$ is the derived subgroup of $R$) in terms of the length $ρ=ρ(R)$ of the shortest nontrivial relation in $R$. It follows that the growth rate of $F_m/R'$ approaches $2m-1$ as $ρ$ approaches infinity. This implies that the growth rate of an $m$-generated amenable group can be arbitrarily close to the maximum value $2m-1$. This answers an open question by P. de la Harpe. In fact we prove that such groups can be found already in the class of abelian-by-nilpotent groups as well as in the class of finite extensions of metabelian groups. △ Less

Submitted 15 June, 2004; v1 submitted 1 June, 2004; originally announced June 2004.

Comments: 6 pages

MSC Class: 20F65; 05C25