SIMPLE ALMOST HYPERDEFINABLE GROUPS

Description

SIMPLE ALMOST HYPERDEFINABLE GROUPS ITAI BEN-YAACOV Abstract. (i) We lay down the groundwork for the treatment of almost hyperde- finable groups: notions from [BTW04] are put into a natural hierarchy, and new notions, essential to the study to such groups, fit elegantly into this hierarchy. (ii) We show that “classical” properties of definable and hyperdefinable groups in simple theories can be generalised to this context. In particular, we prove the existence of stabilisers of Lascar strong types and of the connected and locally connected components of subgroups, and that in a simple one-based theory an almost hyperdefinable group is bounded-by-abelian-by-bounded. Introduction This paper is concerned with the generalisation of results from [Wag05, Wag01] to the context of ?/?-groups (see below for the definition), first introduced as almost hyperde- finable groups in [BTW04]. Loosely speaking, an ?/?-group is a group whose underlying set of elements is of the form G = Gb/R, where Gb is a type-definable set, and R = ?i?I Ri is an equivalence relation which is not type-definable but is only an infinite disjunction of type-definable relations (satisfying some additional properties). There are two aspects to our task. The first is to lay the groundwork for the model- theoretic treatment of such groups.

• well-behaved stratified local


• well defined


• group


• means graded


• always means


• thus


• maps between

Sujets

• Well-definition

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 21
• Langue: English

Extrait

SIMPLEALMOSTHYPERDEFINABLEGROUPS ITAI ¨ BEN-YAACOV Abstract. (i)Welaydownthegroundworkforthetreatmentofalmosthyperde- finablegroups:notionsfrom[BTW04]areputintoanaturalhierarchy,andnew notions,essentialtothestudytosuchgroups,fitelegantlyintothishierarchy. (ii)Weshowthat“classical”propertiesofdefinableandhyperdefinablegroupsin simpletheoriescanbegeneralisedtothiscontext.Inparticular,weprovethe existenceofstabilisersofLascarstrongtypesandoftheconnectedandlocally connectedcomponentsofsubgroups,andthatinasimpleone-basedtheoryan almosthyperdefinablegroupisbounded-by-abelian-by-bounded. Introduction Thispaperisconcernedwiththegeneralisationofresultsfrom[Wag05,Wag01]tothe contextofα/β-groups(seebelowforthedefinition),firstintroducedasalmosthyperde- finablegroupsin[BTW04].Looselyspeaking,anα/β-groupisagroupwhoseund W erlying setofelementsisoftheformG=G b /R,whereG b isatype-definableset,andR= i ∈ I R i isanequivalencerelationwhichisnottype-definablebutisonlyaninfinitedisjunction oftype-definablerelations(satisfyingsomeadditionalproperties). Therearetwoaspectstoourtask.Thefirstistolaythegroundworkforthemodel- theoretictreatmentofsuchgroups.Thiswaspartiallydonein[BTW04],wheresome basicdefinitionsweregivenandtheexistenceofwell-behavedstratifiedlocalrankswas provedforalmosthyperdefinablegroups(andpolygroups).However,inordertostudy agroupwemustconsideritssubgroups,andinthatrespectpreviousworkleavesmuch towant.Asweconsidersubgroupsofα/β-groupsinthecurrentpaperwefindourselves forcedtoconsiderthenewnotionofβ/β-subgroups,namelysubgroupsH b /R⊆G b /R whereH b isnottype-definable,butagainonlyaninfiniteunionoftype-definablesets (withsomeadditionalproperties).Whiledoingsowefindourselvesworkinginarather weirdcategory,where“obvious”notionssuchasintersectioncanbesomewhatsurprising. Theotheraspectisactuallyprovingpropertiesofα/β-groupsandtheirsubgroups. Whiledoingso,weshalltrytoskiptediousstep-by-stepverificationsinthisnewcontext Date :June14,2006. 2000 MathematicsSubjectClassification. 03C45,03C95. Keywordsandphrases. simpletheories,almosthyperdefinablegroups. TheauthorwouldliketothankFrankO.Wagnerforhelpfuldiscussionsandcomments. Atthetimeofthewritingofthispaper,theauthorwasagraduatestudentwiththeE ´ quipede LogiqueMathe´matiqueofUniversite´ParisVII. 1