Sofic group (original) (raw)
In mathematics, a sofic group is a group whose Cayley graph is an initially subamenable graph, or equivalently a subgroup of an ultraproduct of finite-rank symmetric groups such that every two elements of the group have distance 1. They were introduced by as a common generalization of amenable and residually finite groups. The name "sofic", from the Hebrew word סופי meaning "finite", was later applied by , following Weiss's earlier use of the same word to indicate a generalization of finiteness in sofic subshifts.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, a sofic group is a group whose Cayley graph is an initially subamenable graph, or equivalently a subgroup of an ultraproduct of finite-rank symmetric groups such that every two elements of the group have distance 1. They were introduced by as a common generalization of amenable and residually finite groups. The name "sofic", from the Hebrew word סופי meaning "finite", was later applied by , following Weiss's earlier use of the same word to indicate a generalization of finiteness in sofic subshifts. The class of sofic groups is closed under the operations of taking subgroups, extensions by amenable groups, and free products. A finitely generated group is sofic if it is the limit of a sequence of sofic groups. The limit of a sequence of amenable groups (that is, an initially subamenable group) is necessarily sofic, but there exist sofic groups that are not initially subamenable groups. As Gromov proved, Sofic groups are surjunctive. That is, they obey a form of the Garden of Eden theorem for cellular automata defined over the group (dynamical systems whose states are mappings from the group to a finite set and whose state transitions are translation-invariant and continuous) stating that every injective automaton is surjective and therefore also reversible. (en) |
| dbo:wikiPageExternalLink | http://sankhya.isical.ac.in/search/62a3/eh06fnl.pdf |
| dbo:wikiPageID | 37690209 (xsd:integer) |
| dbo:wikiPageLength | 3288 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1020662413 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Reversible_cellular_automaton dbr:Curtis–Hedlund–Lyndon_theorem dbr:Dynamical_system dbr:Mathematics dbr:Closure_(mathematics) dbr:Subgroup dbc:Properties_of_groups dbr:Garden_of_Eden_(cellular_automaton) dbr:Amenable_group dbr:Finite_set dbr:Cayley_graph dbr:Cellular_automaton dbr:Direct_limit dbr:Journal_of_the_European_Mathematical_Society dbr:Residually_finite_group dbr:Group_(mathematics) dbr:Hebrew_language dbr:Free_product dbr:Group_extension dbr:Sofic_subshift dbr:Symmetric_group dbr:Finitely_generated_group dbr:Ultraproduct dbr:Sankhya_(journal) dbr:Springer-Verlag dbr:Surjunctive |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Harvtxt dbt:Reflist |
| dct:subject | dbc:Properties_of_groups |
| gold:hypernym | dbr:Group |
| rdf:type | dbo:Band |
| rdfs:comment | In mathematics, a sofic group is a group whose Cayley graph is an initially subamenable graph, or equivalently a subgroup of an ultraproduct of finite-rank symmetric groups such that every two elements of the group have distance 1. They were introduced by as a common generalization of amenable and residually finite groups. The name "sofic", from the Hebrew word סופי meaning "finite", was later applied by , following Weiss's earlier use of the same word to indicate a generalization of finiteness in sofic subshifts. (en) |
| rdfs:label | Sofic group (en) |
| owl:sameAs | freebase:Sofic group yago-res:Sofic group wikidata:Sofic group dbpedia-he:Sofic group https://global.dbpedia.org/id/4vgzN |
| prov:wasDerivedFrom | wikipedia-en:Sofic_group?oldid=1020662413&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Sofic_group |
| is dbo:knownFor of | dbr:Benjamin_Weiss dbr:Mikhael_Gromov_(mathematician) |
| is dbo:wikiPageDisambiguates of | dbr:Sofic |
| is dbo:wikiPageWikiLink of | dbr:Benjamin_Weiss dbr:Garden_of_Eden_(cellular_automaton) dbr:Mikhael_Gromov_(mathematician) dbr:Sofic dbr:Surjunctive_group |
| is dbp:knownFor of | dbr:Mikhael_Gromov_(mathematician) |
| is foaf:primaryTopic of | wikipedia-en:Sofic_group |