Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
|
| gptkbp:alsoKnownAs |
gptkb:lamplighter_group
|
| gptkbp:amenable |
true
|
| gptkbp:CayleyGraph |
gptkb:Diestel-Leader_graph_DL(2,2)
|
| gptkbp:finitelyGenerated |
true
|
| gptkbp:growthForm |
exponential
|
| gptkbp:hasSubgroup |
gptkb:Z_2
Z Z_2 ≀ Z_n for n→∞ |
| https://www.w3.org/2000/01/rdf-schema#label |
Z 2 ≀ Z
|
| gptkbp:isSolvable |
true
|
| gptkbp:notNilpotent |
true
|
| gptkbp:order |
countably infinite
|
| gptkbp:presentedBy |
⟨a,t | a^2=1, [a^{t^i},a^{t^j}]=1 for all i,j⟩
|
| gptkbp:usedIn |
gptkb:probability_theory
geometric group theory combinatorics random walks |
| gptkbp:wreathProductOf |
gptkb:Z_2
|
| gptkbp:wreathProductWith |
Z
|
| gptkbp:bfsParent |
gptkb:lamplighter_group
|
| gptkbp:bfsLayer |
6
|