Loops with abelian inner mapping groups: an application of automated deduction
From MaRDI portal
Abstract: We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If is a loop with commuting inner mappings, does it follow that modulo its center is a group and modulo its nucleus is an abelian group? This problem has been answered affirmatively in several varieties of loops. The solution usually involves sophisticated techniques of automated deduction, and the resulting derivations are very long, often with no higher-level human proofs available.
Recommendations
- Automated theorem proving in quasigroup and loop theory
- Classification results in quasigroup and loop theory via a combination of automated reasoning tools.
- Quasigroups, loops, and associative laws
- On finite loops whose inner mapping groups are Abelian II
- Short identities implying a quasigroup is a loop or group.
Cites work
- \(G\)-loops and permutation groups
- A generalization of Moufang and Steiner loops.
- A scoop from groups: equational foundations for loops.
- A short basis for the variety of WIP PACC-loops.
- Abelian inner mappings and nilpotency class greater than two.
- Alternative loop rings
- Automated theorem proving in quasigroup and loop theory
- Bruck loops with Abelian inner mapping groups.
- Buchsteiner loops: associators and constructions.
- C-loops: an introduction.
- C-LOOPS: EXTENSIONS AND CONSTRUCTIONS
- Cheban loops.
- Contributions to the Theory of Loops
- Diassociativity in Conjugacy Closed Loops
- Every diassociative A-loop is Moufang
- Explicit constructions of loops with commuting inner mappings.
- FINITE LOOPS WITH NILPOTENT INNER MAPPING GROUPS ARE CENTRALLY NILPOTENT
- Homomorphisms of Non-Associative Systems
- scientific article; zbMATH DE number 47663 (Why is no real title available?)
- scientific article; zbMATH DE number 706263 (Why is no real title available?)
- scientific article; zbMATH DE number 1138007 (Why is no real title available?)
- scientific article; zbMATH DE number 2144157 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- scientific article; zbMATH DE number 3328200 (Why is no real title available?)
- scientific article; zbMATH DE number 3350213 (Why is no real title available?)
- Left conjugacy closed loops of nilpotency class two.
- Loops with abelian inner mapping groups: an application of automated deduction
- Moufang loops with commuting inner mappings.
- Moufang quasigroups
- On Connected Transversals to Abelian Subgroups in Finite Groups
- On loops whose inner permutations commute.
- On the abelian inner permutation groups of loops
- Power-associative, conjugacy closed loops.
- PSATO: A distributed propositional prover and its application to quasigroup problems
- Quasigroups, loops, and associative laws
- Solving open questions and other challenge problems using proof sketches
- THE MOUFANG LAWS, GLOBAL AND LOCAL
- The structure of conjugacy closed loops
- The structure of F-quasigroups.
- The varieties of loops of Bol-Moufang type.
- The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.
- Using hints to increase the effectiveness of an automated reasoning program: Case studies
- When is the commutant of a Bol loop a subloop?
Cited in
(14)- A Wos Challenge Met
- Guiding an automated theorem prover with neural rewriting
- Towards finding longer proofs
- Learning theorem proving components
- Abelian extensions and solvable loops.
- AIM loops and the AIM conjecture
- ENIGMA: efficient learning-based inference guiding machine
- From informal to formal proofs in Euclidean geometry
- Lemmatization for stronger reasoning in large theories
- Automated theorem proving in quasigroup and loop theory
- Loops with abelian inner mapping groups: an application of automated deduction
- Supernilpotent groups and 3-supernilpotent loops
- Artificial intelligence and inherent mathematical difficulty
- Fast and slow enigmas and parental guidance
This page was built for publication: Loops with abelian inner mapping groups: an application of automated deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913865)
