Thin group (combinatorial group theory) (original) (raw)
In mathematics, in the realm of group theory, a group is said to be thin if there is a finite upper bound on the girth of the Cayley graph induced by any finite generating set. The group is called fat if it is not thin. Given any generating set of the group, we can consider a graph whose vertices are elements of the group with two vertices adjacent if their ratio is in the generating set. The graph is connected and vertex transitive. Paths in the graph correspond to words in the generators. If the graph has no cycles, its girth is set to be infinity.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, in the realm of group theory, a group is said to be thin if there is a finite upper bound on the girth of the Cayley graph induced by any finite generating set. The group is called fat if it is not thin. Given any generating set of the group, we can consider a graph whose vertices are elements of the group with two vertices adjacent if their ratio is in the generating set. The graph is connected and vertex transitive. Paths in the graph correspond to words in the generators. If the graph has a cycle of a given length, it has a cycle of the same length containing the identity element. Thus, the girth of the graph corresponds to the minimum length of a nontrivial word that reduces to the identity. A nontrivial word is a word that, if viewed as a word in the free group, does not reduce to the identity. If the graph has no cycles, its girth is set to be infinity. The girth depends on the choice of generating set. A thin group is a group where the girth has an upper bound for all finite generating sets. Some facts about thin and fat groups and about girths: * Every finite group is thin. * Every free group is fat. * The girth of a cyclic group equals its order. * The girth of a noncyclic abelian group is at most 4, because any two elements commute and the commutation relation gives a nontrivial word. * The girth of the dihedral group is 2. * Every nilpotent group, and more generally, every solvable group, is thin. (en) |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20110526105610/http:/www.math.rutgers.edu/~saulsch/Maths/girth.pdf |
| dbo:wikiPageID | 5739383 (xsd:integer) |
| dbo:wikiPageLength | 2029 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1099725744 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cycle_(graph_theory) dbr:Connectivity_(graph_theory) dbr:Mathematics dbr:Generating_set_of_a_group dbr:Girth_(graph_theory) dbr:Graph_(discrete_mathematics) dbr:Path_(graph_theory) dbc:Properties_of_groups dbr:Cyclic_group dbr:Nilpotent_group dbr:Cayley_graph dbr:Group_(mathematics) dbr:Abelian_group dbr:Word_(group_theory) dbr:Dihedral_group dbr:Free_group dbr:Group_theory dbr:Solvable_group dbr:Finite_group |
| dbp:wikiPageUsesTemplate | dbt:For |
| dct:subject | dbc:Properties_of_groups |
| rdf:type | yago:Abstraction100002137 yago:Possession100032613 yago:Property113244109 yago:Relation100031921 yago:WikicatPropertiesOfGroups |
| rdfs:comment | In mathematics, in the realm of group theory, a group is said to be thin if there is a finite upper bound on the girth of the Cayley graph induced by any finite generating set. The group is called fat if it is not thin. Given any generating set of the group, we can consider a graph whose vertices are elements of the group with two vertices adjacent if their ratio is in the generating set. The graph is connected and vertex transitive. Paths in the graph correspond to words in the generators. If the graph has no cycles, its girth is set to be infinity. (en) |
| rdfs:label | Thin group (combinatorial group theory) (en) |
| owl:sameAs | freebase:Thin group (combinatorial group theory) yago-res:Thin group (combinatorial group theory) wikidata:Thin group (combinatorial group theory) https://global.dbpedia.org/id/4wjQt |
| prov:wasDerivedFrom | wikipedia-en:Thin_group_(combinatorial_group_theory)?oldid=1099725744&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Thin_group_(combinatorial_group_theory) |
| is dbo:wikiPageDisambiguates of | dbr:Thin_group |
| is dbo:wikiPageWikiLink of | dbr:Thin_group |
| is foaf:primaryTopic of | wikipedia-en:Thin_group_(combinatorial_group_theory) |