Multiplication groups of quasigroups and loops III.
Tomáš Kepka, A. Jančařík (1997)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Multiplication groups of quasigroups and loops I.”
Multiplication groups of quasigroups and loops III.
Group theory based at any point.
Albar, M.A., Huq, S.A. (2001)
International Journal of Mathematics and Mathematical Sciences
Similarity:
The Jordan-Hölder Theorem
Marco Riccardi (2007)
Formalized Mathematics
Similarity:
The goal of this article is to formalize the Jordan-Hölder theorem in the context of group with operators as in the book [5]. Accordingly, the article introduces the structure of group with operators and reformulates some theorems on a group already present in the Mizar Mathematical Library. Next, the article formalizes the Zassenhaus butterfly lemma and the Schreier refinement theorem, and defines the composition series.
Connected transversals to subnormal subgroups
Tomáš Kepka, Jon D. Phillips (1997)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Subnormal subgroups possessing connected transversals are briefly discussed.