Statements (54)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:musical_group
|
gptkbp:bfsLayer |
5
|
gptkbp:bfsParent |
gptkb:Thompson's_group_F
|
gptkbp:analyzes |
a tree structure
|
gptkbp:constructed_in |
set of symbols
|
gptkbp:constructor |
other algebraic structures
|
gptkbp:defines |
a set of generators
a set of relations |
gptkbp:example |
a non-finite group
non-finitely generated group |
gptkbp:has_feature |
free product decomposition
|
gptkbp:has_member |
any group containing it
|
gptkbp:has_programs |
gptkb:currency
|
gptkbp:has_property |
for group homomorphisms
no relations among generators |
https://www.w3.org/2000/01/rdf-schema#label |
free group
|
gptkbp:is_a_basis_for |
free basis
|
gptkbp:is_a_figure_in |
the category of groups
|
gptkbp:is_a_framework_for |
gptkb:Mathematician
|
gptkbp:is_analyzed_in |
group presentations
|
gptkbp:is_associated_with |
non-commutative algebra
|
gptkbp:is_characterized_by |
freedom from relations
its growth rate |
gptkbp:is_connected_to |
the study of symmetry
the theory of automata |
gptkbp:is_considered_as |
more than one generator
|
gptkbp:is_essential_for |
homotopy theory
the structure of groups. |
gptkbp:is_fundamental_to |
abstract algebra
|
gptkbp:is_related_to |
free abelian group
fundamental group automorphisms the concept of free actions the concept of free resolutions word groups |
gptkbp:is_represented_in |
gptkb:Cayley_graph
word problem a set of reduced words |
gptkbp:is_studied_in |
mathematical logic
group actions geometric properties geometric group theory |
gptkbp:is_used_in |
gptkb:television_channel
computational group theory |
gptkbp:key |
topological groups
dynamical systems the study of combinatorial group theory |
gptkbp:operates_under |
taking inverses
|
gptkbp:produced_by |
set of free generators
|
gptkbp:related_model |
infinite groups
|
gptkbp:subject |
theoretical computer science
the theory of groups |
gptkbp:symbol |
F_n for n generators
|
gptkbp:type_of |
gptkb:architect
|