Source author record

Premysl Jedlicka

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.RA

Catalog footprint

Research overview

4works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Free medial quandles

This paper brings the construction of free medial quandles as well as free $n$ -symmetric medial quandles and free $m$ -reductive medial quandles.

preprint2011arXiv

Nilpotency in automorphic loops of prime power order

A loop is automorphic if its inner mappings are automorphisms. Using so-called associated operations, we show that every commutative automorphic loop of odd prime power order is centrally nilpotent. Starting with anisotropic planes in the vector space of $2\times 2$ matrices over the field of prime order $p$ , we construct a family of automorphic loops of order $p^3$ with trivial center.

preprint2010arXiv

Constructions of commutative automorphic loops

A loop whose inner mappings are automorphisms is an \emph{automorphic loop} (or \emph{A-loop}). We characterize commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterization and certain central extensions based on trilinear forms, we construct several classes of commutative A-loops of order a power of 2. We initiate the classification of commutative A-loops of small orders and also of order $p^3$ , where $p$ is a prime.

preprint2010arXiv

The Structure of Commutative Automorphic Loops

An \emph{automorphic loop} (or \emph{A-loop}) is a loop whose inner mappings are automorphisms. Every element of a commutative A-loop generates a group, and $(xy)^{-1} = x^{-1}y^{-1}$ holds. Let $Q$ be a finite commutative A-loop and $p$ a prime. The loop $Q$ has order a power of $p$ if and only if every element of $Q$ has order a power of $p$ . The loop $Q$ decomposes as a direct product of a loop of odd order and a loop of order a power of 2. If $Q$ is of odd order, it is solvable. If $A$ is a subloop of $Q$ then $|A|$ divides $|Q|$ . If $p$ divides $|Q|$ then $Q$ contains an element of order $p$ . If there is a finite simple nonassociative commutative A-loop, it is of exponent 2.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.