Finitely Presented Subgroups of Automatic Groups and their Isoperimetric Functions

We describe a general technique for embedding certain amalgamatedproducts into direct products. This technique provides us witha way of constructing a host of finitely presented subgroupsof automatic groups which are not even asynchronously automatic.We can also arrange that such subgroups satisfy, at best, anexponential isoperimetric inequality.     

Finitely Presented, Coherent, and Ultrasimplicial Ordered Abelian Groups

We study notions such as finite presentability and coherence, for partially ordered abelian groups and vector spaces. Typical results are the following: (i) A partially ordered abelian group G is finitely presented if and only if G is finitely generated as a group, G⁺ is well-founded as a partially ordered set, and the set of minimal elements of G⁺\ {0} is finite. (ii) Torison-free, finitely presented partially ordered abelian groups can be represented as subgroups of some Zⁿ, with a finitely generated submonoid of (Z⁺)ⁿ as positive cone. (iii) Every unperforated, finitely presented partially ordered abelian group is Archimedean. Further, we establish connections with interpolation. In particular, we prove that a divisible dimension group G is a directed union of simplicial subgroups if and only if every finite subset of G is contained into a finitely presented ordered subgroup.     

Finitely Presented Functors and Degenerations#

Given two d-dimensional Λ-modules M and N, then M degenerates to N if and only if there exists an exact sequence of the form 0→ U→ U ⊕ M→ N→ 0 for some U ? mod Λ (Zwara, 1998 Zwara , G. ( 1998 ). A degeneration-like order for modules . Arch. Math. 71 : 437 – 444 . [CSA] [CROSSREF]  [Google Scholar]). Having this as a starting point, in this article we give a characterization of degenerations by the existence of a certain finitely presented functor. This gives new information about U in the sequence above. We show how this new information can be used to prove that M   _deg N even when M ⊕ X ≤  _deg N ⊕ X for some X for modules over Λ _q  = k〈 x,y〉/〈 x ²,y ²,xy + qyx〉, q ≠ 0 in k, where k is an algebraically closed field.     

Ascending Hnn Extensions of Finitely Generated Free Groups Are Hopfian

It is shown that every ascending HNN extension of a finitelygenerated free group is Hopfian. An important ingredient inthe proof is that under certain hypotheses on the group H, ifG is an ascending HNN extension of H, then cd(G) = cd(H) + 1.     

The Nottingham Group is Finitely Presented

It is proved that the Nottingham group N(F_p) is finitely presentedas a pro-p group for p > 2.     

Groups with isomorphic Burnside rings

We prove that for some families of finite groups, the isomorphism class of the group is completely determined by its Burnside ring. Namely, we prove the following: if two finite simple groups have isomorphic Burnside rings, then the groups are isomorphic; if G is either Hamiltonian or abelian or a minimal simple group, and G is any finite group such that B(G) B(G), then G G.Received: 22 April 2004     

Finitely Presented Modules Over Semihereditary Rings

We prove that each almost local-global semihereditary ring R has the stacked bases property and is almost Bézout. More precisely, if M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annihilators is an ascending chain of invertible ideals. These ideals are invariants of M. Moreover, M/tM is a projective module which is isomorphic to a direct sum of finitely generated ideals. These ideals allow us to define a finitely generated ideal whose isomorphism class is an invariant of M. The idempotents and the positive integers defined by the rank of M/tM are invariants of M too. It follows that each semihereditary ring of Krull-dimension one or of finite character, in particular each hereditary ring, has the stacked base property. These results were already proved for Prüfer domains by Brewer, Katz, Klinger, Levy, and Ullery. It is also shown that every semihereditary Bézout ring of countable character is an elementary divisor ring.     

Construction of Infinite Finitely Presented Nilsemigroup

Doklady Mathematics - An infinite finitely presented nilsemigroup with identity x9 = 0 is constructed. This construction answers the question of L.N. Shevrin and M.V. Sapir. The proof is based on...     

Resolving Extensions of Finitely Presented Systems

In this paper we extend certain central results of zero dimensional systems to higher dimensions. The first main result shows that if (Y,f) is a finitely presented system, then there exists a Smale space (X,F) and a u-resolving factor map π ₊:X→Y. If the finitely presented system is transitive, then we show there is a canonical minimal u-resolving Smale space extension. Additionally, we show that any finite-to-one factor map between transitive finitely presented systems lifts through u-resolving maps to an s-resolving map.     

Powers in Finitely Generated Groups

In this paper we study the set of -powers in certain finitely generated groups . We show that, if is soluble or linear, and contains a finite index subgroup, then is nilpotent-by-finite. We also show that, if is linear and has finite index (i.e. may be covered by finitely many translations of ), then is soluble-by-finite. The proof applies invariant measures on amenable groups, number-theoretic results concerning the -unit equation, the theory of algebraic groups and strong approximation results for linear groups in arbitrary characteristic.

     

An Approach to the Study of Finitely Presented Groups Based on the Notion of Discrete Curvature

Mathematical Notes - A sufficient condition for the hyperbolicity of a group presented in terms of generators and defining relations is considered. The condition is formulated in terms of the...     

QF-环上有限生成模嵌入自由模的秩数和最小嵌入的算法

一个模嵌入自由模相当于用坐标来表示元素,这在数学上一直有重要意义．理论上, ＱＦ－环上的模都可以嵌入自由模,但没有好的算法,影响了它的应用．本文给出ＱＦ－环上有限生成模的最小嵌入的一种算法和所嵌入自由模的秩数的估计．     

On the Residual Solvability of Generalized Free Products of Finitely Generated Nilpotent Groups

In this article we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these groups are often residually solvable.     

Finitely Presented Wreath Products and Double Coset Decompositions

We characterize which permutational wreath products $G \ltimes W^{(X)}We characterize which permutational wreath products are finitely presented. This occurs if and only if G and W are finitely presented, G acts on X with finitely generated stabilizers, and with finitely many orbits on the cartesian square X ². On the one hand, this extends a result of G. Baumslag about infinite presentation of standard wreath products; on the other hand, this provides nontrivial examples of finitely presented groups. For instance, we obtain two quasi-isometric finitely presented groups, one of which is torsion-free and the other has an infinite torsion subgroup. Motivated by the characterization above, we discuss the following question: which finitely generated groups can have a finitely generated subgroup with finitely many double cosets? The discussion involves properties related to the structure of maximal subgroups, and to the profinite topology.      

Filling Length in Finitely Presentable Groups

We study the filling length function for a finite presentation of a group , and interpret this function as an optimal bound on the length of the boundary loop as a van Kampen diagram is collapsed to the basepoint using a combinatorial notion of a null-homotopy. We prove that filling length is well behaved under change of presentation of . We look at 'AD-pairs' (f,g) for a finite presentation : that is, an isoperimetric function f and an isodiametric function g that can be realised simultaneously. We prove that the filling length admits a bound of the form [g+1][log (f+1)+1] whenever (f,g) is an AD-pair for . Further we show that (up to multiplicative constants) if is an isoperimetric function ( ) for a finite presentation then ( ) is an AD-pair. Also we prove that for all finite presentations filling length is bounded by an exponential of an isodiametric function.Partially supported by NSF grant DMS-9800158Supported by EPSRC Award No. 98001683 and Corpus Christi College, Oxford.     

On Certain Automorphism Groups of Finitely Generated Groups

Mathematical Notes -     

有限生成的幂零群的共轭分离性质

研究了有限生成的幂零群中元素的共轭分离问题.设ω表示全部素数组成的集合,π是ω的非空真子集,G是有限生成的幂零群,则下述三条等价:(i)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限p-商群中不共轭,其中p∈π;(ii)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限π-商群中不共轭;(iii)G的挠子群T(G)是π-群且G/T(G)是Abel群.同时举例说明:设G是有限生成的无挠幂零群,对于任意素数p,x和y都在G的有限p-商群G/G~p中共轭,但x和y在G中不共轭.     

Collectives of Automata in Finitely Generated Groups

Mathematical Notes - The present paper is devoted to traversing a maze by a collective of automata. This part of automata theory gave rise to a fairly wide range of diverse problems ([1], [2]),...