-groups and pseudo-bad groups.
A class of Bol loops with a subgroup of index two
Let be a finite group and the cyclic group of order . Consider the multiplicative operations , where , , . Define a new multiplication on by assigning one of the above multiplications to each quarter , for . We describe all situations in which the resulting quasigroup is a Bol loop. This paper also corrects an error in P. Vojtěchovsk’y: On the uniqueness of loops .
A locally commutative free group acting on the plane
The purpose of this paper is to prove the existence of a free subgroup of the group of all affine transformations on the plane with determinant 1 such that the action of the subgroup is locally commutative.
A note on a generalization of some undecidability results in group theory.
A Note On Generalization Of Some Undecidability Results In Group Theory
A note on generic subsets of definable groups
We generalize the theory of generic subsets of definably compact definable groups to arbitrary o-minimal structures. This theory is a crucial part of the solution to Pillay's conjecture connecting definably compact definable groups with Lie groups.
A scoop from groups: equational foundations for loops
Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain ``group-like'' equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only...
An elementary class extending abelian-by- groups, for infinite
We show that for no infinite group the class of abelian-by- groups is elementary, but, at least when is an infinite elementary abelian -group (with prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to is elementary.
Around Podewski's conjecture
A long-standing conjecture of Podewski states that every minimal field is algebraically closed. Known in positive characteristic, it remains wide open in characteristic zero. We reduce Podewski's conjecture to the (partially) ordered case, and we conjecture that such fields do not exist. We prove the conjecture in case the incomparability relation is transitive (the almost linear case). We also study minimal groups with a (partial) order, and give a complete classification of...
Axiomatization of quasigroups
Quasigroups were originally described combinatorially, in terms of existence and uniqueness conditions on the solutions to certain equations. Evans introduced a universal-algebraic characterization, as algebras with three binary operations satisfying four identities. Now, quasigroups are redefined as heterogeneous algebras, satisfying just two conditions respectively known as hypercommutativity and hypercancellativity.
Axioms for trimedial quasigroups
We give new equations that axiomatize the variety of trimedial quasigroups. We also improve a standard characterization by showing that right semimedial, left F-quasigroups are trimedial.
Berandungen gruppentheoretischer Eigenschaften
Cancellation of Abelian groups of finite rank modulo elementary equivalence.
...-Categorical Stable Groups.
Congruence relations on cone semigroups.
Corrigendum to “Realizations of Loops and Groups defined by short identities”
Decidability and undecidability of theories of abelian groups with predicates for subgroups
Die Struktur kartesischer Produkte ganzer Zahlen modulo kartesische Produkte ganzer Zahlen.
Elementary embeddings in torsion-free hyperbolic groups
We describe first-order logic elementary embeddings in a torsion-free hyperbolic group in terms of Sela’s hyperbolic towers. Thus, if embeds elementarily in a torsion free hyperbolic group , we show that the group can be obtained by successive amalgamations of groups of surfaces with boundary to a free product of with some free group and groups of closed surfaces. This gives as a corollary that an elementary subgroup of a finitely generated free group is a free factor. We also consider the...
Embedding semigroups by translational hulls.