Page 1 Next

Displaying 1 – 20 of 31

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 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...

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.

Group conjugation has non-trivial LD-identities

Aleš Drápal, Tomáš Kepka, Michal Musílek (1994)

Commentationes Mathematicae Universitatis Carolinae

We show that group conjugation generates a proper subvariety of left distributive idempotent groupoids. This subvariety coincides with the variety generated by all cancellative left distributive groupoids.

Groups – Additive Notation

Roland Coghetto (2015)

Formalized Mathematics

We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense subset and basis...

Currently displaying 1 – 20 of 31

Page 1 Next