Page 1 Next

Displaying 1 – 20 of 125

Showing per page

A class of Bol loops with a subgroup of index two

Petr Vojtěchovský (2004)

Commentationes Mathematicae Universitatis Carolinae

Let G be a finite group and C 2 the cyclic group of order 2 . Consider the 8 multiplicative operations ( x , y ) ( x i y j ) k , where i , j , k { - 1 , 1 } . Define a new multiplication on G × C 2 by assigning one of the above 8 multiplications to each quarter ( G × { i } ) × ( G × { j } ) , for i , j C 2 . 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 M ( G , 2 ) .

A locally commutative free group acting on the plane

Kenzi Satô (2003)

Fundamenta Mathematicae

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 generic subsets of definable groups

Mário J. Edmundo, G. Terzo (2011)

Fundamenta Mathematicae

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

Phillips, J. D., Petr Vojtěchovský (2008)

Commentationes Mathematicae Universitatis Carolinae

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- G groups, for G infinite

Carlo Toffalori (1996)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

We show that for no infinite group G the class of abelian-by- G groups is elementary, but, at least when G is an infinite elementary abelian p -group (with p prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to G is elementary.

Around Podewski's conjecture

Krzysztof Krupiński, Predrag Tanović, Frank O. Wagner (2013)

Fundamenta Mathematicae

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

Jonathan D.H. Smith (2006)

Discussiones Mathematicae - General Algebra and Applications

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

Michael K. Kinyon, Jon D. Phillips (2004)

Commentationes Mathematicae Universitatis Carolinae

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.

Elementary embeddings in torsion-free hyperbolic groups

Chloé Perin (2011)

Annales scientifiques de l'École Normale Supérieure

We describe first-order logic elementary embeddings in a torsion-free hyperbolic group in terms of Sela’s hyperbolic towers. Thus, if H 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  H 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...

Currently displaying 1 – 20 of 125

Page 1 Next