Automatic structures on \(\text{Aut}(F_ 2)\) (Q1337783)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automatic structures on \(\text{Aut}(F_ 2)\) |
scientific article; zbMATH DE number 687049
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic structures on \(\text{Aut}(F_ 2)\) |
scientific article; zbMATH DE number 687049 |
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
