En matemáticas , especialmente en álgebra abstracta , la teoría de bucles y la teoría de cuasigrupos son áreas de investigación activas con muchos problemas abiertos . Como en otras áreas de las matemáticas, estos problemas suelen hacerse públicos en conferencias y reuniones profesionales. Muchos de los problemas aquí planteados aparecieron por primera vez en las conferencias Loops (Praga) y Mile High (Denver) .
Problemas abiertos (bucles Moufang)
Abeliano por grupos cíclicos que dan como resultado bucles de Moufang
Sea L un bucle de Moufang con un subgrupo abeliano normal (subbucle asociativo) M de orden impar tal que L / M es un grupo cíclico de orden mayor que 3. (i) ¿Es L un grupo ? (ii) Si los órdenes de M y L / M son primos relativos , ¿es L un grupo?
- Propuesto: por Michael Kinyon, basado en (Chein y Rajah, 2000)
- Comentarios: La suposición de que L / M tiene un orden mayor que 3 es importante, ya que hay un bucle Moufang L (conmutativo) de orden 81 con un subgrupo conmutativo normal de orden 27.
Incorporación de CML del período 3 en álgebras alternativas
Conjetura: cualquier bucle de Moufang conmutativo finito del período 3 puede integrarse en un álgebra alternativa conmutativa .
- Propuesto: por Alexander Grishkov en Loops '03, Praga 2003
Subbucle Frattini para bucles Moufang
Conjetura: Sea L un bucle finito de Moufang y Φ( L ) la intersección de todos los subbucles máximos de L. Entonces Φ( L ) es un subbucle nilpotente normal de L .
- Propuesto: por Alexander Grishkov en Loops '11, tres de 2011
Presentaciones mínimas para bucles M(G,2)
Para un grupo , defina x por ,,,, . Encuentre una presentación mínima para el bucle Moufang con respecto a una presentación para .![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M(G,2)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle C_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (g,0)(h,0)=(gh,0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (g,0)(h,1)=(hg,1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (g,1)(h,0)=(gh^{-1},1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (g,1)(h,1)=(h^{-1}g,0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M(G,2)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Propuesto: por Petr Vojtěchovský en Loops '03, Praga 2003
- Comentarios: Chein demostró en (Chein, 1974) que es un bucle de Moufang que es no asociativo si y sólo si es nobeliano. Vojtěchovský (Vojtěchovský, 2003) encontró una presentación mínima para cuando se trata de un grupo de 2 generaciones.
![{\displaystyle M(G,2)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M(G,2)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Bucles Moufang de orden p 2 q 3 y pq 4
Sean p y q números primos impares distintos. Si q no es congruente con 1 módulo p , ¿todos los bucles de Moufang de orden p 2 q 3 son grupos? ¿Qué pasa con pq4 ?
- Propuesto: por Andrew Rajah en Loops '99, Praga 1999
- Comentarios: El primero ha sido resuelto por Rajah y Chee (2011), donde demostraron que para distintos primos impares p 1 < ··· < p m < q < r 1 < ··· < r n , todos los bucles de Moufang de orden p 1 2 ··· p m 2 q 3 r 1 2 ··· r n 2 son grupos si y sólo si q no es congruente con 1 módulo p i para cada i .
(Problema de Phillips) Bucle Moufang de orden impar con núcleo trivial
¿Existe un bucle Moufang de orden impar con núcleo trivial?
- Propuesto: por Andrew Rajah en Loops '03, Praga 2003
Presentaciones para bucles Moufang simples finitos.
Encuentre presentaciones para todos los bucles Moufang simples finitos no asociativos en la variedad de bucles Moufang.
- Propuesto: por Petr Vojtěchovský en Loops '03, Praga 2003
- Comentarios: Se muestra en (Vojtěchovský, 2003) que cada bucle de Moufang finito simple no asociativo es generado por 3 elementos, con fórmulas explícitas para los generadores.
El problema restringido de Burnside para los bucles Moufang
Conjetura: Sea M un bucle finito de Moufang de exponente n con m generadores. Entonces existe una función f ( n , m ) tal que | METRO | < f ( norte , metro ).
- Propuesto: por Alexander Grishkov en Loops '11, tres de 2011
- Comentarios: En el caso de que n sea un primo distinto de 3, la conjetura fue demostrada por Grishkov. Si p = 3 y M es conmutativo, así lo demostró Bruck. G. Nagy demostró el caso general de p = 3. El caso n = p m se cumple según el teorema de Grishkov-Zelmanov.
Los teoremas de Sanov y M. Hall para los bucles de Moufang
Conjetura: Sea L un bucle Moufang generado finitamente de exponente 4 o 6. Entonces L es finito.
- Propuesto: por Alexander Grishkov en Loops '11, tres de 2011
Torsión en bucles libres de Moufang
Sea MF n el bucle libre de Moufang con n generadores.
Conjetura: MF 3 está libre de torsión pero MF n con n > 4 no lo está.
- Propuesto: por Alexander Grishkov en Loops '03, Praga 2003
Problemas abiertos (bucles de Bol)
Grado de nilpotencia del grupo de multiplicación izquierdo de un bucle de Bol izquierdo
Para un bucle de Bol izquierdo Q , encuentre alguna relación entre el grado de nilpotencia del grupo de multiplicación izquierdo de Q y la estructura de Q.
- Propuesto: en la conferencia Milehigh sobre cuasigrupos, bucles y sistemas no asociativos, Denver 2005
¿Son isomórficos dos bucles de Bol con tablas de multiplicar similares?
Sean dos cuasigrupos definidos en el mismo conjunto subyacente . La distancia es el número de pares de tal manera que . Llame cuadrática a una clase de cuasigrupos finitos si hay un número real positivo tal que dos cuasigrupos cualesquiera , de orden de la clase que satisface, sean isomórficos. ¿Son cuadráticos los bucles de Moufang? ¿Son cuadráticos los bucles de Bol ?![{\displaystyle (Q,*)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(*,+)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (a,b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Q\veces Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a*b\neq a+b}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Q,*)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Q,+)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(*,+)<\alpha \,n^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Propuesto: por Aleš Drápal en Loops '99, Praga 1999
- Comentarios: Drápal demostró en (Drápal, 1992) que los grupos son cuadráticos con , y en (Drápal, 2000) que 2 grupos son cuadráticos con .
![{\displaystyle \alpha =1/9}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha =1/4}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Serie Campbell-Hausdorff para bucles analíticos de Bol
Determine la serie de Campbell-Hausdorff para bucles de Bol analíticos.
- Propuesto: por MA Akivis y VV Goldberg en Loops '99, Praga 1999
- Comentarios: El problema se ha resuelto parcialmente para los bucles analíticos locales de Bruck en (Nagy, 2002).
Bucle universalmente flexible que no es Bol medio
Un bucle es universalmente flexible si cada uno de sus isótopos del bucle es flexible , es decir, satisface ( xy ) x = x ( yx ). Un bucle es Bol medio si cada uno de sus isótopos del bucle tiene la propiedad inversa antiautomórfica, es decir, satisface ( xy ) −1 = y −1 x −1 . ¿Existe un bucle finito y universalmente flexible que no sea el Bol medio?
- Propuesto: por Michael Kinyon en Loops '03, Praga 2003
Bucle Bol finito simple con clases de conjugación no triviales
¿Existe un bucle de Bol finito, simple y no asociativo con clases de conjugación no triviales?
- Propuesto: por Kenneth W. Johnson y Jonathan DH Smith en la Conferencia 2nd Mile High sobre Matemáticas No Asociativas, Denver 2009
Problemas abiertos (Nilpotencia y solucionabilidad)
La conjetura de Niemenmaa y problemas relacionados.
Sea Q un bucle cuyo grupo de mapeo interno es nilpotente. ¿ Q es nilpotente? ¿ Q tiene solución?
- Propuesto: en Loops '03 y '07, Praga 2003 y 2007
- Comentarios: La respuesta a la primera pregunta es afirmativa si Q es finito (Niemenmaa 2009). El problema está abierto en el caso general.
Bucles con grupo de mapeo interno abeliano
Sea Q un bucle con un grupo de mapeo interno abeliano. ¿ Q es nilpotente? Si es así, ¿existe un límite para la clase de nilpotencia de Q ? En particular, ¿puede la clase de nilpotencia de Q ser superior a 3?
- Propuesto: en Loops '07, Praga 2007
- Comentarios: Cuando el grupo de mapeo interno Inn( Q ) es finito y abeliano, entonces Q es nilpotente (Niemenaa y Kepka). Por tanto, la primera cuestión sólo está abierta en el caso infinito. Llame al bucle Q de tipo Csörgõ si es nilpotente de clase al menos 3 y Inn( Q ) es abeliano. No se conoce ningún bucle del tipo Csörgõ de clase de nilpotencia superior a 3. Existen bucles de tipo Csörgõ (Csörgõ, 2004), existen bucles de Buchsteiner de tipo Csörgõ (Csörgõ, Drápal y Kinyon, 2007) y existen bucles de Moufang de tipo Csörgõ (Nagy y Vojtěchovský, 2007). Por otro lado, no hay grupos de tipo Csörgõ (folclore), no hay bucles Moufang conmutativos de tipo Csörgõ (Bruck) y no hay bucles p Moufang de tipo Csörgõ para p > 3 (Nagy y Vojtěchovský, 2007). ).
Número de bucles nilpotentes hasta el isomorfismo
Determine el número de bucles nilpotentes de orden 24 hasta el isomorfismo.
- Propuesto: por Petr Vojtěchovský en la Conferencia 2nd Mile High sobre Matemáticas No Asociativas, Denver 2009
- Comentario: Los recuentos son conocidos para n < 24, ver (Daly y Vojtěchovský, 2010).
Un bucle nilpotente finito sin una base finita para sus leyes
Construya un bucle nilpotente finito sin una base finita para sus leyes.
- Propuesto: por MR Vaughan-Lee en el Kourovka Notebook of Unsolved Problems in Group Theory
- Comentario: Existe un bucle finito sin una base finita para sus leyes (Vaughan-Lee, 1979), pero no es nilpotente.
Problemas abiertos (cuasigrupos)
Existencia de infinitos cuasigrupos paramediales simples
¿Existen infinitos cuasigrupos paramediales simples?
- Propuesto: por Jaroslav Ježek y Tomáš Kepka en Loops '03, Praga 2003
Variedades isotópicamente universales mínimas de cuasigrupos.
Una variedad V de cuasigrupos es isotópicamente universal si cada cuasigrupo es isotópico de un miembro de V. ¿Es la variedad de bucles una variedad isotópicamente universal mínima? ¿Toda variedad isotópicamente universal contiene la variedad de bucles o sus parástrofes?
- Propuesto: por Tomáš Kepka y Petr Němec en Loops '03, Praga 2003
- Comentarios: Cada cuasigrupo es isotópico de un bucle, por lo que la variedad de bucles es isotópicamente universal.
Pequeños cuasigrupos con núcleo de cuasigrupo
¿Existe un cuasigrupo Q de orden q = 14, 18, 26 o 42 tal que la operación * definida en Q por x * y = y − xy sea una operación de cuasigrupo?
- Propuesto: por Parascovia Syrbu en Loops '03, Praga 2003
- Comentarios: ver (Conselo et al., 1998)
¿Construcción uniforme de cuadrados latinos?
Construya un cuadrado latino L de orden n de la siguiente manera: Sea G = K n , n el gráfico bipartito completo con pesos distintos en sus n 2 aristas. Sea M 1 la coincidencia más barata en G , M 2 la coincidencia más barata en G sin M 1 , y así sucesivamente. Cada M i coincidente determina una permutación p i de 1, ..., n . Dejemos que L se obtenga de G colocando la permutación p i en la fila i de L. ¿Este procedimiento da como resultado una distribución uniforme en el espacio de cuadrados latinos de orden n ?
- Propuesto: por Gábor Nagy en la Conferencia 2nd Mile High sobre Matemáticas No Asociativas, Denver 2009
Problemas abiertos (varios)
Limitado al tamaño de los grupos de multiplicación.
Para un bucle Q , sea Mlt(Q) el grupo de multiplicación de Q , es decir, el grupo generado por todas las traslaciones izquierda y derecha. Es |Mlt( Q )| < f (| Q |) para alguna variedad de bucles y para algún polinomio f ?
- Propuesto: en la conferencia Milehigh sobre cuasigrupos, bucles y sistemas no asociativos, Denver 2005
¿Todo bucle alternativo finito tiene inversos de 2 lados?
¿Todo bucle alternativo finito , es decir, cada bucle que satisface x ( xy ) = ( xx ) y y x ( yy ) = ( xy ) y , tiene inversas de 2 lados?
- Propuesto: por Warren D. Smith
- Comentarios: Hay infinitos bucles alternativos sin inversos de 2 lados, cf. (Ormes y Vojtěchovský, 2007)
Bucle automórfico finito simple no asociativo
Encuentre un bucle automórfico simple finito no asociativo, si tal bucle existe.
- Propuesto: por Michael Kinyon en Loops '03, Praga 2003
- Comentarios: Se sabe que tal bucle no puede ser conmutativo (Grishkov, Kinyon y Nagý, 2013) ni tener orden impar (Kinyon, Kunen, Phillips y Vojtěchovský, 2013).
Teorema de Moufang en bucles que no son Moufang
Decimos que una variedad V de bucles satisface el teorema de Moufang si para cada bucle Q en V se cumple la siguiente implicación: para cada x , y , z en Q , si x ( yz ) = ( xy ) z entonces el subbucle generado por x , y , z es un grupo. ¿Todas las variedades que satisfacen el teorema de Moufang están contenidas en la variedad de bucles de Moufang?
- Propuesto por: Andrew Rajah en Loops '11, tres de 2011
Universalidad de los bucles de Osborn.
Un bucle es Osborn si satisface la identidad x (( yz ) x ) = ( x λ \ y )( zx ). ¿Es cada bucle de Osborn universal, es decir, cada isótopo de un bucle de Osborn es Osborn? Si no es así, ¿existe una buena identidad que caracterice los bucles universales de Osborn?
- Propuesto: por Michael Kinyon en la conferencia Milehigh sobre cuasigrupos, bucles y sistemas no asociativos, Denver 2005
- Comentarios: Los bucles cerrados de Moufang y de conjugación son de Osborn. Véase (Kinyon, 2005) para más información.
Problemas resueltos
Los siguientes problemas se plantearon como abiertos en varias conferencias y desde entonces han sido resueltos.
Bucle de Buchsteiner que no está cerrado por conjugación
¿Existe un bucle de Buchsteiner que no esté cerrado por conjugación? ¿Existe un bucle de Buchsteiner simple finito que no esté cerrado por conjugación?
- Propuesto: en la conferencia Milehigh sobre cuasigrupos, bucles y sistemas no asociativos, Denver 2005
- Resuelto por: Piroska Csörgõ, Aleš Drápal y Michael Kinyon
- Solución: El cociente de un bucle de Buchsteiner por su núcleo es un grupo abeliano de exponente 4. En particular, ningún bucle de Buchsteiner no asociativo puede ser simple. Existe un bucle de Buchsteiner de orden 128 que no está cerrado por conjugación.
Clasificación de bucles Moufang de orden 64.
Clasifique bucles de Moufang no asociativos de orden 64.
- Propuesto: en la conferencia Milehigh sobre cuasigrupos, bucles y sistemas no asociativos, Denver 2005
- Resuelto por: Gábor P. Nagy y Petr Vojtěchovský
- Solución: Hay 4262 bucles Moufang no asociativos de orden 64. Se encontraron mediante el método de modificaciones de grupo en (Vojtěchovský, 2006), y se demostró en (Nagy y Vojtěchovský, 2007) que la lista está completa. Este último artículo utiliza un enfoque algebraico lineal para las extensiones de bucles de Moufang .
Bucle cerrado conjugado con grupos de multiplicación unilaterales no isomorfos
Construya un circuito cerrado de conjugación cuyo grupo de multiplicación izquierdo no sea isomorfo a su grupo de multiplicación derecho.
- Propuesto: por Aleš Drápal en Loops '03, Praga 2003
- Resuelto por: Aleš Drápal
- Solución: existe un bucle de orden 9. Se puede obtener en el paquete LOOPS mediante el comando CCLoop(9,1)
Existencia de un bucle de Bol simple finito
¿Existe un bucle de Bol finito y simple que no sea Moufang?
- Propuesto en: Loops '99, Praga 1999
- Resuelto por: Gábor P. Nagy, 2007.
- Solución: Un bucle Bol simple que no sea Moufang se llamará apropiado .
- Hay varias familias de bucles de Bol simples adecuados. Un bucle de Bol simple adecuado más pequeño es de orden 24 (Nagy 2008).
- También hay un bucle de Bol simple adecuado de exponente 2 (Nagy 2009) y un bucle de Bol simple adecuado de orden impar (Nagy 2008).
- Comentarios: Las construcciones anteriores resolvieron dos problemas abiertos adicionales:
- ¿Existe un bucle de Bruck finito y simple que no sea Moufang? Sí, ya que cualquier bucle Bol simple y adecuado de exponente 2 es Bruck.
- ¿Se pueden resolver todos los bucles de Bol de orden impar? No, como lo demuestra cualquier bucle de Bol simple y adecuado de orden impar.
Bucle de Bol izquierdo con núcleo derecho trivial
¿Existe un bucle de Bol izquierdo finito que no sea Moufang con un núcleo derecho trivial?
- Propuesto: en la conferencia Milehigh sobre cuasigrupos, bucles y sistemas no asociativos, Denver 2005
- Resuelto por: Gábor P. Nagy, 2007
- Solución: Hay un bucle de Bol izquierdo finito simple de exponente 2 de orden 96 con núcleo derecho trivial. Además, utilizando una factorización exacta del grupo de Mathieu M 24 , es posible construir un bucle de Bol simple que no sea de Moufang, que es un bucle G.
Propiedad de Lagrange para bucles de Moufang
¿Todo bucle finito de Moufang tiene la fuerte propiedad de Lagrange?
- Propuesto: por Orin Chein en Loops '99, Praga 1999
- Resuelto por: Alexander Grishkov y Andrei Zavarnitsine, 2003
- Solución: Todo bucle finito de Moufang tiene la propiedad de Lagrange fuerte (SLP). Aquí hay un resumen de la prueba:
- Según (Chein et al. 2003), basta con mostrar SLP para bucles Moufang simples finitos no asociativos (NFSML).
- Por tanto, basta con demostrar que el orden de un subbucle máximo de un NFSML L divide el orden de L.
- En (Paige 1956) se descubrió una clase contable de NFSML , y no existen otros NSFML en (Liebeck 1987).
![{\displaystyle M(q)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Grishkov y Zavarnitsine emparejaron subbucles máximos de bucles con ciertos subgrupos de grupos con prueba en (Grishkov y Zavarnitsine, 2003).
![{\displaystyle M(q)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Bucles Moufang con conmutador no normal
¿Existe un bucle Moufang cuyo conmutante no sea normal?
- Propuesto: por Andrew Rajah en Loops '03, Praga 2003
- Resuelto por: Alexander Grishkov y Andrei Zavarnitsine, 2017
- Solución: Sí, hay un bucle Moufang de orden 3 8 con conmutante no normal. [1] Gagola había afirmado previamente lo contrario, pero luego encontró un vacío en su prueba. [1]
Cuasivariedad de núcleos de bucles de Bol.
¿Es la clase de núcleos de los bucles de Bol una cuasivariedad?
- Propuesto: por Jonathan DH Smith y Alena Vanžurová en Loops '03, Praga 2003
- Resuelto por: Alena Vanžurová, 2004.
- Solución: No, la clase de núcleos de los bucles de Bol no está cerrada según las subálgebras. Además, la clase de núcleos de grupos no está cerrada bajo subálgebras. Aquí hay un resumen de la prueba:
- Los núcleos de los grupos abelianos son mediales , por (Romanowska y Smith, 1985), (Rozskowska-Lech, 1999).
- El grupo nobeliano más pequeño tiene un núcleo que contiene un submagma de orden 4 que no es medial.
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es un núcleo de un bucle de Bol, es un núcleo de un bucle de Bol de orden 4, por lo tanto, un núcleo de un grupo abeliano, una contradicción.
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Paridad del número de cuasigrupos hasta el isomorfismo
Sea I (n) el número de clases de isomorfismo de cuasigrupos de orden n. ¿Es I(n) impar para cada n?
- Propuesto: por Douglas S. Stones en la Conferencia 2nd Mile High sobre Matemáticas No Asociativas, Denver 2009
- Resuelto por: Douglas S. Stones, 2010.
- Solución: I(12) es par. De hecho, I(n) es impar para todos los n ≤ 17 excepto 12. (Stones 2010)
Clasificación de cuasigrupos paramediales simples finitos
Clasifica los cuasigrupos paramediales simples finitos.
- Propuesto: por Jaroslav Ježek y Tomáš Kepka en Loops '03, Praga 2003.
- Resuelto por: Victor Shcherbacov y Dumitru Pushkashu (2010).
- Solución: Cualquier cuasigrupo paramedial simple finito es isotópico del grupo p abeliano elemental. Dicho cuasigrupo puede ser un cuasigrupo unipotente medio, un cuasigrupo distributivo conmutativo medio, o un isótopo de tipo especial de (φ+ψ) -cuasigrupo distributivo medio simple.
Ver también
Referencias
- Chein, Orin (1974), "Moufang Loops of Small Order I", Transactions of the American Mathematical Society , 188 : 31–51, doi : 10.2307/1996765 , JSTOR 1996765.
- Chein, Orin; Kinyon, Michael K.; Rajá, Andrés; Vojtěchovský, Petr (2003), "Bucles y la propiedad de Lagrange", Results in Mathematics , 43 (1–2): 74–78, arXiv : math/0205141 , doi :10.1007/bf03322722, S2CID 16718438.
- Chein, Orin; Rajah, Andrew (2000), "Posibles órdenes de bucles Moufang no asociativos", Commentationes Mathematicae Universitatis Carolinae , 41 (2): 237–244.
- Consejo, E.; Conzales, S.; Markov, V.; Nechaev, A. (1998), "Códigos MDS recursivos y cuasigrupos recursivamente diferenciables", Diskretnaia Matematika , 10 (2): 3–29.
- Daly, Dan; Vojtěchovský, Petr (2009), "Enumeración de bucles nilpotentes mediante cohomología", Journal of Algebra , 322 (11): 4080–4098, arXiv : 1509.05713 , doi :10.1016/j.jalgebra.2009.03.042, S2CID 51794859.
- Drápal, Aleš (1992), "¿A qué distancia pueden estar las tablas de multiplicar de grupos?", European Journal of Combinatorics , 13 (5): 335–343, doi : 10.1016/S0195-6698(05)80012-5.
- Drápal, Aleš (2000), "Los 2 grupos no isomorfos coinciden como máximo en tres cuartas partes de sus tablas de multiplicar", European Journal of Combinatorics , 21 (3): 301–321, doi : 10.1006/eujc.1999.0347
- Gagola III, Stephen (2012), "El conmutante de un bucle de Moufang", Procedimientos matemáticos de la Sociedad Filosófica de Cambridge , 152 (2): 193–206, Bibcode :2012MPCPS.152..193G, doi :10.1017/S0305004111000181, S2CID 121585760
- Grishkov, Alexander N.; Zavarnitsine, Andrei V. (2005), "Teorema de Lagrange para bucles de Moufang", Actas matemáticas de la Sociedad Filosófica de Cambridge , 139 (1): 41–57, Bibcode :2005MPCPS.139...41G, doi :10.1017/S0305004105008388, S2CID 123255962
- Grishkov, Alexander N.; Kinyon, Michael; Nagý, Gabor (2013), "Solubilidad de bucles automórficos conmutativos", Actas de la Sociedad Matemática Estadounidense , 142 (9): 3029–3037, arXiv : 1111.7138 , doi :10.1090/s0002-9939-2014-12053-3, S2CID 119125596
- Kinyon, Michael K., Una encuesta sobre bucles de Osborn (PDF) , charla invitada en la conferencia Milehigh sobre cuasigrupos, bucles y sistemas no asociativos, Denver, 2005
- Kinyon, Michael; Kunen, Kenneth; Phillips, JD; Vojtěchovský, Petr (2016), "La estructura de los bucles automórficos", Transactions of the American Mathematical Society , 368 (12): 8901–8927, arXiv : 1210.1642 , doi :10.1090/tran/6622, S2CID 38960620
- Liebeck, MW (1987), "La clasificación de bucles de Moufang simples finitos", Procedimientos matemáticos de la Sociedad Filosófica de Cambridge , 102 (1): 33–47, Bibcode :1987MPCPS.102...33L, doi :10.1017/S0305004100067025, S2CID 122103993
- Nagy, Gábor P. (2002), "La serie Campbell-Hausdorff de bucles de Bruck analíticos locales", Abh. Matemáticas. Sem. Univ. Hamburgo , 72 (1): 79–87, doi :10.1007/BF02941666, S2CID 123589830.
- Nagy, Gábor P.; Vojtěchovský, Petr (2007), "Moufang loops of order 64 and 81", Journal of Symbolic Computation , 42 (9), para aparecer: 871–883, doi :10.1016/j.jsc.2007.06.004, hdl : 10338. dmlcz/142934 , S2CID 10404385.
- Nagy, Gábor P. (2008), "Una clase de bucles de Bol adecuados simples", Manuscripta Mathematica , 127 (1): 81–88, arXiv : math/0703919 , doi :10.1007/s00229-008-0188-5, S2CID 17734490.
- Nagy, Gábor P. (2009), "Una clase de bucles de Bol finitos simples de exponente 2", Transacciones de la Sociedad Matemática Estadounidense , 361 (10): 5331–5343, arXiv : 0709.4544 , doi :10.1090/S0002-9947- 09-04646-7, S2CID 15228937.
- Niemenmaa, Markku (2009), "Los bucles finitos con grupos de mapeo internos nilpotentes son centralmente nilpotentes", Boletín de la Sociedad Matemática Australiana , 79 (1): 109–114, doi : 10.1017/S0004972708001093
- Ormes, Nicolás; Vojtěchovský, Petr (2007), "Poderes y leyes alternativas", Commentationes Mathematicae Universitatis Carolinae , 48 (1): 25–40.
- Paige, L. (1956), "Una clase de bucles Moufang simples", Actas de la Sociedad Matemática Estadounidense , 7 (3): 471–482, doi : 10.2307/2032757 , JSTOR 2032757.
- Rajá, Andrés; Chee, Wing Loon (2011), "Bucles Moufang de orden impar p 1 2 p 2 2 ··· p n 2 q 3 ", Revista Internacional de Álgebra , 5 (20): 965–975.
- Rivin, Igor; Vardi, Ilán; Zimmerman, Paul (1994), "El problema de las n -reinas", American Mathematical Monthly , 101 (7): 629–639, doi :10.2307/2974691, JSTOR 2974691.
- Romanowska, Anna ; Smith, Jonathan DH (1985), Teoría modal , Heldermann Verlag, Berlín.
- Rozskowska-Lech, B. (1999), "Una representación de grupoides entrópicos e idempotentes simétricos", Demonstr. Matemáticas. , 32 : 248–262.
- Shcherbacov, VA; Pushkashu, DI (2010), "Sobre la estructura de cuasigrupos paramediales finitos", comentario. Matemáticas. Univ. Carolina. , 51 : 357–370.
- Stones, DS (2010), "La paridad del número de cuasigrupos", Matemáticas discretas , 310 (21): 3033–3039, doi : 10.1016/j.disc.2010.06.027.
- Vojtěchovský, Petr (2003), "Generadores para bucles Moufang simples finitos", Journal of Group Theory , 6 (2): 169–174, arXiv : math/0701701 , doi :10.1515/jgth.2003.012.
- Vojtěchovský, Petr (2003), "El bucle Moufang más pequeño revisitado", Results in Mathematics , 44 (1–2): 189–193, arXiv : math/0701706 , doi :10.1007/bf03322924, S2CID 119157018.
- Vojtěchovský, Petr (2006), "Hacia la clasificación de bucles de Moufang de orden 64", European Journal of Combinatorics , 27 (3): 444–460, arXiv : math/0701712 , doi :10.1016/j.ejc.2004.10.003.s
- ^ ab Grishkov, Alejandro; Zavarnitsine, Andrei (10 de enero de 2020). "Bucles de Moufang con centro conmutativo anormal". Matemáticas. Proc. Filosofía de Cambridge. Soc . 170 (3): 609–614. arXiv : 1711.07001 . doi :10.1017/S0305004119000549. SEÑOR 4243769. S2CID 214091441.
enlaces externos
- Conferencia Loops '99
- Conferencia Loops '03
- Conferencia Loops '07
- Conferencia Loops '11
- Conferencias Milehigh sobre matemáticas no asociativas
- Paquete LOOPS para GAP
- Problemas en la teoría de bucles y la teoría de cuasigrupos