Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:defines |
A group with a Cayley automatic structure, a generalization of automatic groups.
|
| gptkbp:field |
group theory
|
| gptkbp:generalizes |
automatic group
|
| gptkbp:hasProperty |
word problem solvable in quadratic time
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cayley automatic group
|
| gptkbp:introduced |
Alexei Myasnikov
Alexei Nikolaev |
| gptkbp:introducedIn |
2013
|
| gptkbp:namedAfter |
gptkb:Arthur_Cayley
|
| gptkbp:relatedTo |
automatic group
|
| gptkbp:studiedIn |
geometric group theory
|
| gptkbp:bfsParent |
gptkb:lamplighter_group
|
| gptkbp:bfsLayer |
6
|