Page 1

Displaying 1 – 4 of 4

Showing per page

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 – 4 of 4

Page 1