Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 김선영 | * |
dc.date.accessioned | 2020-12-10T16:30:10Z | - |
dc.date.available | 2020-12-10T16:30:10Z | - |
dc.date.issued | 2020 | * |
dc.identifier.issn | 0016-2736 | * |
dc.identifier.issn | 1730-6329 | * |
dc.identifier.other | OAK-28082 | * |
dc.identifier.uri | https://dspace.ewha.ac.kr/handle/2015.oak/255684 | - |
dc.description.abstract | Given an arbitrary connected groupoid G with its vertex group G(a), if G(a) is a central subgroup of a group F, then there is a canonical extension F = G circle times F of G in the sense that Ob(G) = Ob(F), Mor(G) subset of Mor(F), and F is isomorphic to all the vertex groups of F. From the failure of 3-uniqueness of a strong type p over A = acl(eq)(A) in a stable theory T, a canonical finitary connected commutative groupoid G with the binding group G was A-type-definably constructed by John Goodrick and Alexei Kolesnikov (2012). In this paper we take a certain (possibly non-commutative) automorphism group F where G is embedded centrally (so inducing t(a) : G(a) -> Z(F)), and show that the abstract groupoid G circle times F lives A-invariantly in models of T. More precisely, we A-invariantly construct a connected groupoid T, isomorphic to G circle times F as abstract groupoids, satisfying the following: (1) Ob(F) = Ob(G), and Mor(F) and composition maps are A-invariant (i.e., described by infinite disjunctions of conjunctions of formulas over A), so that an A-automor-phism of a model of T induces a groupoid automorphism of F. (2) There is an A-invariant faithful functor I : G -> F which is the identity on the objects, and I(G(a)) = i(a) o t(a), where i(a) is a canonical group isomorphism from F onto a vertex group F-a of F. An automorphism group approximated by the vertex groups of the non-commutative groupoids is suggested as a "fundamental group" of the strong type p. | * |
dc.language | English | * |
dc.publisher | POLISH ACAD SCIENCES INST MATHEMATICS-IMPAN | * |
dc.subject | generic groupoid | * |
dc.subject | 3-uniqueness | * |
dc.subject | fundamental group | * |
dc.title | Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories | * |
dc.type | Article | * |
dc.relation.issue | 1 | * |
dc.relation.volume | 249 | * |
dc.relation.index | SCIE | * |
dc.relation.index | SCOPUS | * |
dc.relation.startpage | 47 | * |
dc.relation.lastpage | 70 | * |
dc.relation.journaltitle | FUNDAMENTA MATHEMATICAE | * |
dc.identifier.doi | 10.4064/fm755-7-2019 | * |
dc.identifier.wosid | WOS:000561708000004 | * |
dc.author.google | Kim, Byunghan | * |
dc.author.google | Kim, SunYoung | * |
dc.author.google | Lee, Junguk | * |
dc.contributor.scopusid | 김선영(57221275622) | * |
dc.date.modifydate | 20231116113048 | * |