Concepto en teoría de modelos.
En la teoría de modelos , un grupo estable es un grupo que es estable en el sentido de la teoría de la estabilidad . Una clase importante de ejemplos la proporcionan los grupos de rango de Morley finito (ver más abajo).
Ejemplos
La conjetura de Cherlin-Zilber
La conjetura de Cherlin-Zilber (también llamada conjetura de algebraicidad ), debida a Gregory Cherlin (1979) y Boris Zil'ber (1977), sugiere que los grupos simples infinitos (ω-estables) son grupos algebraicos simples sobre campos algebraicamente cerrados . La conjetura se habría derivado de la conjetura de la tricotomía de Zilber . Cherlin planteó la pregunta para todos los grupos simples ω-estables, pero señaló que incluso el caso de grupos de rango de Morley finito parecía difícil.
El avance hacia esta conjetura ha seguido el programa de Borovik de transferir métodos utilizados en la clasificación de grupos finitos simples . Una posible fuente de contraejemplos son los grupos malos : grupos conectados no solubles de rango finito de Morley, todos cuyos subgrupos definibles conectados adecuados son nilpotentes . (Un grupo se llama conectado si no tiene subgrupos definibles de índice finito aparte de él mismo).
Se han demostrado varios casos especiales de esta conjetura; Por ejemplo:
- Cualquier grupo conectado de rango 1 de Morley es abeliano .
- Cherlin demostró que un grupo conectado de rango 2 tiene solución.
- Cherlin demostró que un grupo simple de rango 3 de Morley es un grupo malo o isomorfo a PSL 2 ( K ) para algún campo algebraicamente cerrado K que G interpreta.
- Tuna Altinel, Alexandre V. Borovik y Gregory Cherlin (2008) demostraron que un grupo infinito de rango de Morley finito es un grupo algebraico sobre un campo algebraicamente cerrado de característica 2 o tiene rango 2 finito.
Referencias
- Altinel, Atún ; Borovik, Alexandre; Cherlin, Gregory (1997), "Grupos de tipo mixto", J. Algebra , 192 (2): 524–571, doi : 10.1006/jabr.1996.6950 , MR 1452677
- Altinel, Atún; Borovik, Alejandro V.; Cherlin, Gregory (2008), Grupos simples de rango finito de Morley , Encuestas y monografías matemáticas, vol. 145, Providence, RI: Sociedad Matemática Estadounidense , doi : 10.1090/surv/145 , ISBN 978-0-8218-4305-5, SEÑOR 2400564
- Borovik, AV (1998), "Grupos domesticados de tipo par e impar", en Carter, RW; Saxl, J. (eds.), Grupos algebraicos y sus representaciones , Serie C de NATO ASI: Ciencias físicas y matemáticas, vol. 517, Dordrecht: Kluwer Academic Publishers, págs. 341–366
- Borovik, AV; Nesin, Ali (1994), Grupos de rango finito de Morley , Oxford Logic Guides, vol. 26, Nueva York: Oxford University Press, ISBN 0-19-853445-0, SEÑOR 1321141
- Burdges, Jeffrey (2007), "El método de Bender en grupos de rango finito de Morley" (PDF) , J. Algebra , 312 (1): 33–55, doi :10.1016/j.jalgebra.2005.10.009, MR 2320445, S2CID 9031997
- Cherlin, G. (1979), "Grupos de rango Morley pequeño", Ann. Matemáticas. Lógica , 17 (1–2): 1–28, doi : 10.1016/0003-4843(79)90019-6
- Macpherson, Dugald (2010), "Revisión de" Grupos simples de rango finito de Morley "por T. Altinel, AV Borovik y G. Cherlin", Boletín de la Sociedad Estadounidense de Matemáticas , 47 (4): 729–734, doi : 10.1090 /S0273-0979-10-01287-5
- Pillay, Anand (2001) [1994], "Grupo de rango finito de Morley", Enciclopedia de Matemáticas , EMS Press
- Poizat, Bruno (2001), Grupos estables , Encuestas y monografías matemáticas, vol. 87, Providence, RI: Sociedad Matemática Estadounidense, págs. xiv+129, doi :10.1090/surv/087, ISBN 0-8218-2685-9, señor 1827833(Traducido del original francés de 1987).
- Scanlon, Thomas (2002), "Revisión de" Grupos estables "", Bull. Amer. Math. Soc. , 39 (4): 573–579, doi : 10.1090/S0273-0979-02-00953-9
- Sela, Zlil (2006), Geometría diofántica sobre los grupos VIII: estabilidad , arXiv : math/0609096 , Bibcode : 2006math......9096S
- Wagner, Frank Olaf (1997), Grupos estables , Cambridge University Press, ISBN 0-521-59839-7
- Zil'ber, BI (1977), "Группы и кольца, теория которых категорична (Grupos y anillos cuya teoría es categórica)", Fundam. Matemáticas. , 95 : 173–188, doi : 10.4064/fm-95-3-173-188 , SEÑOR 0441720