The finite embeddability property for IP loops and local embeddability of groups into finite IP loops

DOI10.26493/1855-3974.1884.5CBzbMATH Open1442.20040arXiv1810.07575OpenAlexW2991093251WikidataQ126640554 ScholiaQ126640554MaRDI QIDQ5217092FDOQ5217092

Pavol Zlatoš, Martin Vodička

Publication date: 21 February 2020

Published in: Ars Mathematica Contemporanea (Search for Journal in Brave)

Abstract: We prove that the class of all loops with the inverse property (IP loops) has the Finite Embedding Property (FEP). As a consequence, every group is locally embeddable into finite IP loops.

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

Recommendations

• scientific article; zbMATH DE number 30979
• The finite embeddability property for residuated groupoids.
• scientific article; zbMATH DE number 2103949
• On finite commutative IP-loops with elementary Abelian inner mapping groups of order \(p^4\).
• scientific article; zbMATH DE number 3931285

zbMATH Keywords

local embeddabilityfinite embeddability propertyIP loop

Mathematics Subject Classification ID

Eulerian and Hamiltonian graphs (05C45) Orthogonal arrays, Latin squares, Room squares (05B15) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Loops, quasigroups (20N05) Triple systems (05B07)

Cites Work

• Endomorphisms of symbolic algebraic varieties
• Sofic groups and dynamical systems.
• Some Theorems on Abstract Graphs
• Model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On embedding incomplete symmetric Latin squares
• Graph Theory
• Title not available (Why is that?)
• Cellular Automata and Groups
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• Title not available (Why is that?)
• Nonresidually Finite One-Relator Groups
• Zur Struktur von Alternativkörpern
• Word problems
• Title not available (Why is that?)
• Moufang quasigroups
• Some Interconnections Between Modern Algebra and Mathematical Logic
• A direct method to construct triple systems
• Two concepts from the theory of models
• Small partial Latin squares that embed in an infinite group but not into any finite group
• On approximation of topological groups by finite quasigroups and finite semigroups
• Title not available (Why is that?)

Cited In (2)

• Constructing and embedding mutually orthogonal Latin squares: reviewing both new and existing results
• Title not available (Why is that?)

This page was built for publication: The finite embeddability property for IP loops and local embeddability of groups into finite IP loops

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5217092)