Automatic structures on \(\text{Aut}(F_ 2)\) (Q1337783)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic structures on \(\text{Aut}(F_ 2)\) |
scientific article |
Statements
Automatic structures on \(\text{Aut}(F_ 2)\) (English)
0 references
13 November 1994
0 references
We give a new proof that \(\text{Aut}(F_ 2)\) is automatic, using an action on a 2-complex of non-positive curvature.
0 references
automatic structure
0 references
free group automorphism
0 references
non-positive curvature
0 references
