Results 1  10
of
25
Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms
, 2002
"... We recall that the calculation of homology with integer coecients of a simplicial complex reduces to the calculation of the Smith Normal Form of the boundary matrices which in general are sparse. We provide a review of several algorithms for the calculation of Smith Normal Form of sparse matrices an ..."
Abstract

Cited by 30 (1 self)
 Add to MetaCart
We recall that the calculation of homology with integer coecients of a simplicial complex reduces to the calculation of the Smith Normal Form of the boundary matrices which in general are sparse. We provide a review of several algorithms for the calculation of Smith Normal Form of sparse matrices and compare their running times for actual boundary matrices. Then we describe alternative approaches to the calculation of simplicial homology. The last section then describes motivating examples and actual experiments with the GAP package that was implemented by the authors. These examples also include as an example of other homology theories some calculations of Lie algebra homology.
Algorithmic problems in groups, semigroups and inverse semigroups
 Semigroups, Formal Languages and Groups
, 1995
"... ..."
(Show Context)
Parallel algorithms for group word problems. Doctoral Dissertation
, 1993
"... quality and form for publication on microfilm: ..."
(Show Context)
Decision problems in group theory
 Proc. London Math. Soc
, 1982
"... At the 1976 Oxford Conference, Aanderaa introduced a new class of machines which he called F machines (later renamed as modular machines). Using these he gave two remarkably short and easy examples of finitely presented groups with unsolvable word problem. Both of these examples, together with an ex ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
(Show Context)
At the 1976 Oxford Conference, Aanderaa introduced a new class of machines which he called F machines (later renamed as modular machines). Using these he gave two remarkably short and easy examples of finitely presented groups with unsolvable word problem. Both of these examples, together with an exposition of modular
Groups Presented by Finite TwoMonadic ChurchRosser Thue Systems
 Transactions of the American Mathematical Society
, 1986
"... Abstract. It is shown that a group G can be defined by a monoidpresentation of the form (2; 7"), where T is a finite twomonadic ChurchRosser Thue system over 2, if and only if G is isomorphic to the free product of a finitely generated free group with a finite number of finite groups. Introd ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
(Show Context)
Abstract. It is shown that a group G can be defined by a monoidpresentation of the form (2; 7"), where T is a finite twomonadic ChurchRosser Thue system over 2, if and only if G is isomorphic to the free product of a finitely generated free group with a finite number of finite groups. Introduction. In 1911 M. Dehn formulated three fundamental problems for groups given by presentations of the form (2; L), where 2 is some set of generators, 2 is a disjoint copy of 2, and L ç (2 U 2) * is a set of defining relators [12]. One of these problems is the word problem, which can be stated as follows: Let (2; L) be a group presentation. Given a word w e (2 U 2) * decide in a finite number of steps
Questions in Computable Algebra and Combinatorics
, 1999
"... this article, we will focus on two areas of computable mathematics, namely computable algebra and combinatorics. The goal of this article is to present a number of open questions in both computable algebra and computable combinatorics and to give the reader a sense of the research activity in these ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
this article, we will focus on two areas of computable mathematics, namely computable algebra and combinatorics. The goal of this article is to present a number of open questions in both computable algebra and computable combinatorics and to give the reader a sense of the research activity in these elds. Our philosophy is to try to highlight questions, whose solutions we feel will either give insight into algebra or combinatorics, or will require new technology in the computabilitytheoretical techniques needed. A good historical example of the rst phenomenom is the word problem for nitely presented groups which needed the development of a great deal of group theoretical machinery for its solution by Novikov [110] and Boone [10]. A good example of the latter phenomenon is the recent solution by Coles, Downey and Slaman [17] of the question of whether all rank one torsion free 1991 Mathematics Subject Classi cation. Primary 03D45; Secondary 03D25
Asymptotic cyclic expansion and bridge groups of formal proofs
 JOURNAL OF ALGEBRA
, 2001
"... Formal proofs, even simple ones, may hide an unexpected intricate combinatorics. We define a new combinatorial invariant, the bridge group of a proof, which encodes the cyclic structure of proofs in the sequent calculus. We compute the bridge groups of two infinite families of proofs and identify th ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Formal proofs, even simple ones, may hide an unexpected intricate combinatorics. We define a new combinatorial invariant, the bridge group of a proof, which encodes the cyclic structure of proofs in the sequent calculus. We compute the bridge groups of two infinite families of proofs and identify them with the Baumslag–Solitar and Gersten groups. We observe that the distortion of cyclic subgroups in these groups equals the asymptotic growth of the procedure of elimination of lemmas from the proofs.
The Computational Complexity Of TorsionFreeness Of Finitely Presented Groups
"... . We determine the complexity of torsionfreeness of finitely presented groups in Kleene's arithmetical hierarchy as \Pi 0 2 complete. This implies in particular that there is no effective listing of all torsionfree finitely presented groups, or of all nontorsionfree finitely presented gro ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
. We determine the complexity of torsionfreeness of finitely presented groups in Kleene's arithmetical hierarchy as \Pi 0 2 complete. This implies in particular that there is no effective listing of all torsionfree finitely presented groups, or of all nontorsionfree finitely presented groups. 0. Introduction. One way of describing a group G is to give its presentation, i.e., to write G as G = hx i (i 2 I) j Ri (where fx i j i 2 Ig is a set of "generators" and R (the set of "relators") is a set of words in fx i ; x \Gamma1 i j i 2 Ig such that G ¸ = F=H where F is the free group generated by fx i j i 2 Ig and H is the normal subgroup of F generated by R. If we can find a free group F of finite rank and a finite set of relators R, then we call G a finitely presented group. Groups arising in applications, such as fundamental groups in topology, often are given naturally via their presentations. Unfortunately, a finite presentation does not yield very good information about ...
Lectures on Geometric Group Theory
"... This book is based upon a set of lecture notes for a course that I was teaching at the University of Utah in Fall of 2002. Our main goal is to describe various tools of the quasiisometric rigidity and to illustrate them by presenting (essentially selfcontained) proofs of several fundamental theore ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
This book is based upon a set of lecture notes for a course that I was teaching at the University of Utah in Fall of 2002. Our main goal is to describe various tools of the quasiisometric rigidity and to illustrate them by presenting (essentially selfcontained) proofs of several fundamental theorems in this area: Gromov’s theorem on groups of polynomial growth, Mostow Rigidity Theorem and Schwartz’s quasiisometric rigidity theorem for nonuniform lattices in the realhyperbolic spaces. We conclude with a survey of the quasiisometric rigidity theory. The main idea of the geometric group theory is to treat finitelygenerated groups as geometric objects: with each finitelygenerated group G we associate a metric space, the Cayley graph of G. One of the main issues of the geometric group theory is to recover as much as possible algebraic information about G from the geometry of the Cayley graph. A primary obsticle for this is the fact that the Cayley graph depends not only on G but on a particular choice of a generating set of G. Cayley graphs associated with different generating sets are not isometric but quasiisometric. The fundamental question which we will try to address in this book is: If G,G ′ are quasiisometric groups, to which extent G and G ′ share the same algebraic properies?