Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

DOI10.1007/978-3-642-36675-8_8zbMath1383.68077arXiv1509.05468OpenAlexW2197046075MaRDI QIDQ4913865

Petr Vojtěchovský, Robert Veroff, Michael K. Kinyon

Publication date: 16 April 2013

Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.05468

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Mechanization of proofs and logical operations (03B35)

Related Items (11)

ENIGMA: efficient learning-based inference guiding machine ⋮ Fast and slow enigmas and parental guidance ⋮ From informal to formal proofs in Euclidean geometry ⋮ Towards finding longer proofs ⋮ Learning theorem proving components ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction ⋮ Abelian extensions and solvable loops. ⋮ AIM loops and the AIM conjecture ⋮ A Wos Challenge Met ⋮ Guiding an automated theorem prover with neural rewriting

Uses Software

• GAP
• PSATO
• OTTER
• SATO
• Prover9
• LOOPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Power-associative, conjugacy closed loops.
• Abelian inner mappings and nilpotency class greater than two.
• Explicit constructions of loops with commuting inner mappings.
• Cheban loops.
• Moufang loops with commuting inner mappings.
• A generalization of Moufang and Steiner loops.
• Quasigroups, loops, and associative laws
• \(G\)-loops and permutation groups
• Moufang quasigroups
• Using hints to increase the effectiveness of an automated reasoning program: Case studies
• PSATO: A distributed propositional prover and its application to quasigroup problems
• The structure of F-quasigroups.
• The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.
• The varieties of loops of Bol-Moufang type.
• Left conjugacy closed loops of nilpotency class two.
• Every diassociative A-loop is Moufang
• Bruck Loops with Abelian Inner Mapping Groups
• Diassociativity in Conjugacy Closed Loops
• C-LOOPS: EXTENSIONS AND CONSTRUCTIONS
• Automated theorem proving in quasigroup and loop theory
• A scoop from groups: Equational foundations for loops
• FINITE LOOPS WITH NILPOTENT INNER MAPPING GROUPS ARE CENTRALLY NILPOTENT
• THE MOUFANG LAWS, GLOBAL AND LOCAL
• On Connected Transversals to Abelian Subgroups in Finite Groups
• Alternative loop rings
• On the abelian inner permutation groups of loops
• Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
• The structure of conjugacy closed loops
• Buchsteiner loops: Associators and constructions
• When is the commutant of a Bol loop a subloop?
• Homomorphisms of Non-Associative Systems
• Contributions to the Theory of Loops
• Solving open questions and other challenge problems using proof sketches

This page was built for publication: Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction