Algebraic C(4) and T(4) groups are bi-automatic

Details Algebraic C(4) and T(4) groups are bi-automatic Algebraic C(4) and T(4) groups are bi-automatic

2010-09-28

arxiv.org/abs/1009.5531v1

Mathematics

Group Theory

37 pages, 19 figures

Scientific paper

S. Gersten and H. Short have proved that if a group has a presentation which satisfies the algebraic C(4) and T(4) small-cancellation condition then the group is automatic. Their proof contains a gap which we aim to close. To do that we distinguish between algebraic small-cancellation conditions and geometric small cancellation conditions (which are conditions on the van Kampen diagrams). We show that, under certain additional requirements, geometric C(4) and T(4) small-cancellation conditions imply bi-automaticity. The additional requirements include a restriction on the labels of edges in minimal van Kampen diagrams. This, together with the so-called barycentric sub-division method proves the theorem.

Affiliated with

Also associated with

No associations

Rating

Algebraic C(4) and T(4) groups are bi-automatic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Algebraic C(4) and T(4) groups are bi-automatic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algebraic C(4) and T(4) groups are bi-automatic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-693658