Descripción del proyecto
Unos métodos informáticos avanzados podrían ayudar a redefinir el conocimiento de los anillos de grupo
Los anillos de grupo son fundamentales en muchos campos matemáticos como el álgebra, la topología y la teoría de representaciones. Sin embargo, aún quedan cuestiones básicas sin resolver, como las conjeturas de Kaplansky: un conjunto de ideas sobre el comportamiento de los anillos de grupo. Por ejemplo, una predicción establece que los divisores cero (cuando dos elementos distintos de cero se multiplican por cero) no existen, mientras que otra sugiere que solo 0 y 1 actúan como idempotentes (no cambian cuando se multiplican por sí mismos). Estas cuestiones han intrigado a los matemáticos durante más de ochenta años. En el proyecto SATURN, financiado por el Consejo Europeo de Investigación, se pretende encontrar ejemplos que refuten algunas de estas predicciones mediante el empleo de herramientas computacionales modernas para abordar problemas que antes parecían imposibles. El trabajo del proyecto podría revelar nuevos conocimientos sobre los anillos de grupo, así como ayudar a resolver otros problemas matemáticos relevantes.
Objetivo
Group rings are key objects in many fields of mathematics including algebra, topology, operator algebras and representation theory. Fundamental questions about them remain unanswered, in particular several conjectures attributed to Kaplansky. For torsion-free groups and field coefficients, the zero divisor conjecture predicts the absence of zero divisors and the idempotent conjecture predicts that 0 and 1 are the only idempotents in the group ring. The direct finiteness conjecture says that left-invertible elements are invertible in group rings of arbitrary groups over fields. These conjectures have a history spanning more than 80 years. Although special cases are known, resolving any of the conjectures in full generality seemed intractable until the recent disproof of the closely related unit conjecture.
The goal of this project is to construct counterexamples to the zero divisor and direct finiteness conjectures. The latter will give the first example of a non-sofic group. We also seek to resolve the unit conjecture in characteristic zero. Key to our approach is the application of modern solvers for Boolean satisfiability. This paradigm shift, which was successful against the unit conjecture, shows that these problems are substantially more vulnerable to computational techniques than previously thought. Constructing our counterexamples will require both developing our understanding of candidate groups and their properties and building a toolkit for the effective application of existing computational machinery. The unique product property obstructs the existence of counterexamples to these conjectures and is thus of great interest. We will answer fundamental questions about this property.
Although we focus on the positive characteristic case, this project will lay serious groundwork towards the construction of counterexamples in characteristic zero to the zero divisor and idempotent conjectures and thus to the Atiyah, Baum-Connes and Farrell-Jones conjectures.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- humanidades historia y arqueología historia
- ciencias naturales matemáticas matemáticas puras topología
- ciencias sociales sociología cuestiones sociales desigualdad social
- ciencias naturales matemáticas matemáticas puras álgebra
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
HORIZON-ERC - HORIZON ERC Grants
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) ERC-2022-STG
Ver todos los proyectos financiados en el marco de esta convocatoriaInstitución de acogida
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
53113 BONN
Alemania
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.