Showing 1–25 of 25 results for author: Jedlicka, P

Non-involutive solutions of the Yang-Baxter equation of multipermutation level 2

Authors: Jan Hora, Premysl Jedlicka, Agata Pilitowska

Abstract: We study non-degenerate set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2 which are not 2-reductive. We describe an effective way of constructing such solutions using square-free 2-reductive solutions and two bijections. We present an algorithm how to obtain all such finite solutions, up to isomorphism. Using this algorithm, we enumerate all solutions of multipermutat… ▽ More We study non-degenerate set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2 which are not 2-reductive. We describe an effective way of constructing such solutions using square-free 2-reductive solutions and two bijections. We present an algorithm how to obtain all such finite solutions, up to isomorphism. Using this algorithm, we enumerate all solutions of multipermutation level 2 up to size 6. △ Less

Submitted 30 June, 2024; originally announced July 2024.

MSC Class: Primary: 16T25 Secondary: 20N05; 20B25

Diagonals of solutions of the Yang-Baxter equation

Authors: Premysl Jedlicka, Agata Pilitowska

Abstract: We study the diagonal map**s in non-involutive set-theoretic solutions of the Yang-Baxter equation. We show that, for non-degenerate solutions, they are commuting bijections. This gives the positive answer to the question: ``Is every non-degenerate solution bijective?'' of Cedó, Jespers and Verwimp. Additionally, we show that for a subclass of solutions called k-permutational, only one-sided non… ▽ More We study the diagonal map**s in non-involutive set-theoretic solutions of the Yang-Baxter equation. We show that, for non-degenerate solutions, they are commuting bijections. This gives the positive answer to the question: ``Is every non-degenerate solution bijective?'' of Cedó, Jespers and Verwimp. Additionally, we show that for a subclass of solutions called k-permutational, only one-sided non-degeneracy suffices to prove that one of the diagonal map**s is invertible. We also present an equational characterization of multipermutation solutions and extend results of Rump and Gateva-Ivanova about decomposability to non-involutive case. In particular, we show that each, not necessarily involutive, square-free multipermutation solution of finite level and arbitrary cardinality, is always decomposable. △ Less

Submitted 29 June, 2024; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: arXiv admin note: text overlap with arXiv:2303.15154

MSC Class: Primary: 16T25. Secondary: 08A05; 20B30

Skew left braces and 2-reductive solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska

Abstract: We study 2-reductive non-involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. We give a combinatorial construction of any such solution of any (even infinite) size. We also prove that solutions associated to a skew left brace are 2-reductive if and only if the skew left brace is nilpotent of class 2. Moreover, all such skew left braces are actually bi-skew left braces. We… ▽ More We study 2-reductive non-involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. We give a combinatorial construction of any such solution of any (even infinite) size. We also prove that solutions associated to a skew left brace are 2-reductive if and only if the skew left brace is nilpotent of class 2. Moreover, all such skew left braces are actually bi-skew left braces. We focus on these structures and we give several equivalent properties characterizing solutions associated to bi-skew left braces. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Comments: 21 pages

MSC Class: Primary: 16T25 Secondary: 20B25

Tilt angle measurement with a Gaussian-shaped laser beam tracking

Authors: Martin Šarbort, Šimon Řeřucha, Petr Jedlička, Josef Lazar, Ondrej Číp

Abstract: We have addressed the challenge to carry out the angular tilt stabilization of a laser guiding mirror which is intended to route a laser beam with a high energy density. Such an application requires good angular accuracy as well as large operating range, long term stability and absolute positioning. We have designed an instrument for such a high precision angular tilt measurement based on a triang… ▽ More We have addressed the challenge to carry out the angular tilt stabilization of a laser guiding mirror which is intended to route a laser beam with a high energy density. Such an application requires good angular accuracy as well as large operating range, long term stability and absolute positioning. We have designed an instrument for such a high precision angular tilt measurement based on a triangulation method where a laser beam with Gaussian profile is reflected off the stabilized mirror and detected by an image sensor. As the angular deflection of the mirror causes a change of the beam spot position, the principal task is to measure the position on the image chip surface. We have employed a numerical analysis of the Gaussian intensity pattern which uses the nonlinear regression algorithm. The feasibility and performance of the method were tested by numeric modeling as well as experimentally. The experimental results indicate that the assembled instrument achieves a measurement error of 0.13 microradian in the range +-0.65 degrees over the period of one hour. This corresponds to the dynamic range of 1:170 000. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 7 pages, 4 figures; SPIE Photonics Europe, 2014, Brussels, Belgium

Journal ref: Proc. SPIE 9132, Optical Micro- and Nanometrology V, 91321E (1 May 2014)

Automatic unit for measuring refractive index of air based on Ciddor equation and its verification using direct interferometric measurement method

Authors: V. Hucl, M. Cizek, J. Hrabina, B. Mikel, S. Rerucha, Z. Buchta, P. Jedlicka, A. Lesundak, J. Oulehla, L. Mrna, M. Sarbort, R. Smid, J. Lazar, O. Cip

Abstract: In scanning probe microscopy laser interferometers are usually used for measuring the position of the probe tip with a metrological traceability. As the most of the AFM setups are designed to work under standard atmospheric conditions the changes of the refractive index of air have an influence to measured values of the length with 1.0e-4 relatively. In order to achieve better accuracies the refra… ▽ More In scanning probe microscopy laser interferometers are usually used for measuring the position of the probe tip with a metrological traceability. As the most of the AFM setups are designed to work under standard atmospheric conditions the changes of the refractive index of air have an influence to measured values of the length with 1.0e-4 relatively. In order to achieve better accuracies the refractive index of air has to be monitored continuously and its instantaneous value has to be used for compensating the lengths measured by all of the interferometric axes. In the presented work we developed a new concept of an electronic unit which is able to monitor the refractive index of air on basis of measurement of ambient atmospheric conditions: temperature, humidity, pressure of the air and the CO2 concentration. The data processing is based on Ciddor equation for calculating the refractive index of air. The important advantage of the unit is a very low power consumption of the electronics so the unit causes only negligible temperature effects to the measured environment. The accuracy of the indirect measuring method employed by the unit was verified. We tested the accuracy in comparison with a direct method of measuring refractive index of air based on an evacuatable cell placed at the measuring arm of a laser interferometer. An experimental setup used for verification is presented together with a set of measurements describing the performance. The resulting accuracy of the electronic unit falls to the 4.1e-7 relatively. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 8 pages, 4 figures; SPIE Optical Metrology 2013, 2013, Munich, Germany

Journal ref: SPIE 8788, Optical Measurement Systems for Industrial Inspection VIII, 878837 (13 May 2013)

Indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level 2 with non-abelian permutation group

Authors: Přemysl Jedlička, Agata Pilitowska

Abstract: We give a complete characterization of all indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level~2. In the first step we present a construction of some family of such solutions and in the second step we prove that every indecomposable involutive solution of the Yang-Baxter equation with multipermutation level~2 is a homomorphic image of a solution previously con… ▽ More We give a complete characterization of all indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level~2. In the first step we present a construction of some family of such solutions and in the second step we prove that every indecomposable involutive solution of the Yang-Baxter equation with multipermutation level~2 is a homomorphic image of a solution previously constructed. Analyzing this epimorphism, we are able to obtain all such solutions up to isomorphism and enumerate these of small sizes. △ Less

Submitted 6 July, 2022; originally announced July 2022.

MSC Class: Primary: 16T25. Secondary: 20B35; 16T30

Degeneracy in epilepsy: Multiple Routes to Hyperexcitable Brain Circuits and their Repair

Authors: Tristan Manfred Stöber, Danylo Batulin, Jochen Triesch, Rishikesh Narayanan, Peter Jedlicka

Abstract: Develo** effective therapies against epilepsy remains a challenge. The complex and multifaceted nature of this disease still fuels controversies about its origin. In this perspective article, we argue that conflicting hypotheses can be reconciled by taking into account the degeneracy of the brain, which manifests in multiple routes leading to similar function or dysfunction. We exemplify degener… ▽ More Develo** effective therapies against epilepsy remains a challenge. The complex and multifaceted nature of this disease still fuels controversies about its origin. In this perspective article, we argue that conflicting hypotheses can be reconciled by taking into account the degeneracy of the brain, which manifests in multiple routes leading to similar function or dysfunction. We exemplify degeneracy at three different levels, ranging from the cellular to the network and systems level. First, at the cellular level, we describe the relevance of ion channel degeneracy for epilepsy and discuss its interplay with dendritic morphology. Second, at the network level, we provide examples for the degeneracy of synaptic and intrinsic neuronal properties that supports the robustness of neuronal networks but also leads to diverse responses to ictogenic and epileptogenic perturbations. Third, at the system level, we provide examples for degeneracy in the intricate interactions between the immune and nervous system. Finally, we show that computational approaches including multiscale and so called population neural circuit models help disentangle the complex web of physiological and pathological adaptations. Such models may contribute to identifying the best personalized multitarget strategies for directing the system towards a physiological state. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 66 pages, 4 figures

Pareto optimality, economy-effectiveness trade-offs and ion channel degeneracy: Improving population models of neurons

Authors: Peter Jedlicka, Alex Bird, Hermann Cuntz

Abstract: Nerve cells encounter unavoidable evolutionary trade-offs between multiple tasks. They must consume as little energy as possible (be energy-efficient or economical) but at the same time fulfil their functions (be functionally effective). Neurons displaying best performance for such multi-task trade-offs are said to be Pareto optimal. However, it is not understood how ion channel parameters contrib… ▽ More Nerve cells encounter unavoidable evolutionary trade-offs between multiple tasks. They must consume as little energy as possible (be energy-efficient or economical) but at the same time fulfil their functions (be functionally effective). Neurons displaying best performance for such multi-task trade-offs are said to be Pareto optimal. However, it is not understood how ion channel parameters contribute to the Pareto optimal performance of neurons. Ion channel degeneracy implies that multiple combinations of ion channel parameters can lead to functionally similar neuronal behavior. Therefore, to simulate functional behavior, instead of a single model, neuroscientists often use populations of valid models with distinct ion conductance configurations. This approach is called population (also database or ensemble) modeling. It remains unclear, which ion channel parameters in a vast population of functional models are more likely to be found in the brain. Here we propose that Pareto optimality can serve as a guiding principle for addressing this issue. The Pareto optimum concept can help identify the subpopulations of conductance-based models with ion channel configurations that perform best for the trade-off between economy and functional effectiveness. In this way, the high-dimensional parameter space of neuronal models might be reduced to geometrically simple low-dimensional manifolds. Therefore, Pareto optimality is a promising framework for improving population modeling of neurons and their circuits. We also discuss how Pareto inference might help deduce neuronal functions from high-dimensional Patch-seq data. Furthermore, we hypothesize that Pareto optimality might contribute to our understanding of observed ion channel correlations in neurons. △ Less

Submitted 12 March, 2022; originally announced March 2022.

Comments: 8 figures

Central nilpotency of skew braces

Authors: Marco Bonatto, Přemysl Jedlička

Abstract: Skew braces are algebraic structures related to the solutions of the set-theoretic quantum Yang-Baxter equation. We develop the central nilpotency theory for such algebraic structures in the sense of Freese-McKenzie \cite{comm} and we compare the universal algebraic notion of central nilpotency with the notion of right and left $*$-nilpotency developed in \cite{NilpotentType}. Skew braces are algebraic structures related to the solutions of the set-theoretic quantum Yang-Baxter equation. We develop the central nilpotency theory for such algebraic structures in the sense of Freese-McKenzie \cite{comm} and we compare the universal algebraic notion of central nilpotency with the notion of right and left $*$-nilpotency developed in \cite{NilpotentType}. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Cocyclic braces and indecomposable cocyclic solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}. We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}. △ Less

Submitted 26 July, 2021; originally announced July 2021.

MSC Class: Primary: 16T25. Secondary: 20B35; 20D15

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 4223-4239

Indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level 2 with abelian permutation group

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We present a construction of all finite indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level at most 2 with abelian permutation group. As a consequence, we obtain a formula for the number of such solutions with a fixed number of elements. We also describe some properties of the automorphism groups in this case - in particular, we show they are regular abelian… ▽ More We present a construction of all finite indecomposable involutive solutions of the Yang-Baxter equation of multipermutational level at most 2 with abelian permutation group. As a consequence, we obtain a formula for the number of such solutions with a fixed number of elements. We also describe some properties of the automorphism groups in this case - in particular, we show they are regular abelian groups. △ Less

Submitted 31 October, 2020; originally announced November 2020.

Comments: 14 pages

MSC Class: 16T25; 20B35

Journal ref: Forum Math. 33(5) (2021), 1083-1096

Homomorphic images of affine quandles

Authors: Přemysl Jedlička, David Stanovský

Abstract: We are interested in abstract conditions that characterize homomorphic images of affine quandles. Our main result is a two-fold characterization of this class: one by a property of the displacement group, the other one by a property of the corresponding affine mesh. As a consequence, we obtain efficient algorithms for recognizing homomorphic images of affine quandles, including an efficient explic… ▽ More We are interested in abstract conditions that characterize homomorphic images of affine quandles. Our main result is a two-fold characterization of this class: one by a property of the displacement group, the other one by a property of the corresponding affine mesh. As a consequence, we obtain efficient algorithms for recognizing homomorphic images of affine quandles, including an efficient explicit construction of the covering affine quandle. △ Less

Submitted 10 June, 2020; originally announced June 2020.

MSC Class: 20N02; 15A78; 57M27

Distributive biracks and solutions of the Yang-Baxter equation

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We investigate a class of non-involutive solutions of the Yang-Baxter equation which generalize self-distributive (derived) solutions. In particular, we study generalized multipermutation solutions in this class. We show that the Yang-Baxter (permutation) groups of such solutions are nilpotent. We formulate the results in the language of biracks. We investigate a class of non-involutive solutions of the Yang-Baxter equation which generalize self-distributive (derived) solutions. In particular, we study generalized multipermutation solutions in this class. We show that the Yang-Baxter (permutation) groups of such solutions are nilpotent. We formulate the results in the language of biracks. △ Less

Submitted 14 November, 2019; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: Previous title was "Multipermutation distributive solutions of Yang-Baxter equation have nilpotent permutation groups"

MSC Class: 16T25; 20F18; 20B35; 08A30

Journal ref: Internat.J.Algebra Comput. 30 (2020), 667-683

Investigating the use of the hydrogen cyanide (HCN) as an absorption media for laser spectroscopy

Authors: Martin Hosek, Simon Rerucha, Lenka Pravdova, Martin Cizek, Jan Hrabina, Petr Jedlicka, Ondrej Cip

Abstract: The laser spectroscopy is a fundamental approach for the realisation of traceable optical frequency standards. In the $1.55\,μ$m wavelength band, widely used in telecommunications, the acetylene is the typical and the most widespread absorption media. We present our investigation of using the hydrogen cyanide (HCN) as a cost-efficient and readily available alternative, that also provides a wider f… ▽ More The laser spectroscopy is a fundamental approach for the realisation of traceable optical frequency standards. In the $1.55\,μ$m wavelength band, widely used in telecommunications, the acetylene is the typical and the most widespread absorption media. We present our investigation of using the hydrogen cyanide (HCN) as a cost-efficient and readily available alternative, that also provides a wider frequency span (from $1527\,$nm to $1563\,$nm). We have compared the practical aspects of using new absorption media in comparison to existing experience with the acetylene with an outlook to carry out an independent measurement of the entire spectra. The results should contribute to the future inclusion of the HCN spectroscopic data into the Mise en pratique, thus allowing for the use of HCN as a reference for the realisation of traceable laser standards. △ Less

Submitted 17 May, 2019; originally announced May 2019.

Comments: CPS 2018, Lednice, CZ, September 2018; 7 pages, 7 figures

Journal ref: Proc. SPIE 10976, 21st Czech-Polish-Slovak Optical Conference on Wave and Quantum Aspects of Contemporary Optics, 1097605 (2018)

Linearized and Compensated Interferometric System for High-Velocity Traceable Length Calibration on a Metre Scale

Authors: Simon Rerucha, Bretislav Mikel, Zdenek Matej, Ondrej Herman, Miroslava Hola, Michal Jelinek, Petr Jedlicka, Ondrej Cip, Josef Lazar

Abstract: We report on a traceable calibration system for a 3500mm-long console that carries a measurement system for inspecting the diameter of a circular reactor chassis. The system uses two single-pass laser interferometers with homodyne fringe detection for measurement in two degrees of freedom. The hybrid FPGA-microcontroller control module carries out the fringe detection together with the application… ▽ More We report on a traceable calibration system for a 3500mm-long console that carries a measurement system for inspecting the diameter of a circular reactor chassis. The system uses two single-pass laser interferometers with homodyne fringe detection for measurement in two degrees of freedom. The hybrid FPGA-microcontroller control module carries out the fringe detection together with the application-specific scale linearization approach and the compensation of environmental influences such as thermal elongation and the refractive index of air fluctuations. We demonstrated the system feasibility with an accuracy of a few microns and translation velocity higher than 0:1 metre per second. △ Less

Submitted 2 May, 2019; originally announced May 2019.

Comments: CPS 2018, Lednice, CZ, September 2018 7 pages, 8 figures

Journal ref: Proc. SPIE 10976, 21st Czech-Polish-Slovak Optical Conference on Wave and Quantum Aspects of Contemporary Optics, 2018

The construction of multipermutation solutions of the Yang-Baxter equation of level 2

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. Th… ▽ More We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. The non-distributive solutions can be also easily constructed, using a distributive solution and a permutation. △ Less

Submitted 14 May, 2019; v1 submitted 5 January, 2019; originally announced January 2019.

Comments: 25 pages; Section 6 modified and Section 9 deleted - now we focus only on the construction

MSC Class: Primary: 16T25. Secondary: 20N02; 20B25

Journal ref: J. Comb. Theory Ser. A. 176 (2020), 105295

The retraction relation for biracks

Authors: Přemysl Jedlička, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,σ,τ)$ of the Yang-Baxter equation, the equivalence relation $\sim$ defined on the set $X$ and they considered a new non-degenerate involutive induced \emph{retraction} solution d… ▽ More In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,σ,τ)$ of the Yang-Baxter equation, the equivalence relation $\sim$ defined on the set $X$ and they considered a new non-degenerate involutive induced \emph{retraction} solution defined on the quotient set $X^{\sim}$. It is well known that translating set-theoretical non-degenerate solutions of the Yang-Baxter equation into the universal algebra language we obtain an algebra called a \emph{birack}. In the paper we introduce the \emph{generalized retraction} relation $\approx$ on a birack, which is equal to $\sim$ in an involutive case. We present a complete algebraic proof that the relation $\approx$ is a congruence of the birack. Thus we show that the retraction of a set-theoretical non-degenerate solution is well defined not only in the involutive case but also in the case of all non-involutive solutions. △ Less

Submitted 5 January, 2019; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: 15 pages

MSC Class: Primary: 16T25; 08A30. Secondary: 20N02; 08A62; 03C05

Journal ref: J. Pure Appl. Algebra 223 (2019), 3594-3610

Subquandles of affine quandles

Authors: Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio

Abstract: A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming from the commutator theory, and by an explicit construction over abelian groups. As a consequence, we obtain efficient algorithms for recognizing affine and qu… ▽ More A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming from the commutator theory, and by an explicit construction over abelian groups. As a consequence, we obtain efficient algorithms for recognizing affine and quasi-affine quandles, and we enumerate small quasi-affine quandles. We also prove that the "abelian implies quasi-affine" problem of universal algebra has affirmative answer for the class of quandles. △ Less

Submitted 5 June, 2018; v1 submitted 7 August, 2017; originally announced August 2017.

MSC Class: 20N02; 57M27; 08A05; 15A78

Distributive and trimedial quasigroups of order 243

Authors: Přemysl Jedlička, David Stanovský, Petr Vojtěchovský

Abstract: We enumerate three classes of non-medial quasigroups of order $243=3^5$ up to isomorphism. There are $17004$ non-medial trimedial quasigroups of order $243$ (extending the work of Kepka, Bénéteau and Lacaze), $92$ non-medial distributive quasigroups of order $243$ (extending the work of Kepka and Němec), and $6$ non-medial distributive Mendelsohn quasigroups of order $243$ (extending the work of D… ▽ More We enumerate three classes of non-medial quasigroups of order $243=3^5$ up to isomorphism. There are $17004$ non-medial trimedial quasigroups of order $243$ (extending the work of Kepka, Bénéteau and Lacaze), $92$ non-medial distributive quasigroups of order $243$ (extending the work of Kepka and Němec), and $6$ non-medial distributive Mendelsohn quasigroups of order $243$ (extending the work of Donovan, Griggs, McCourt, Opršal and Stanovský). The enumeration technique is based on affine representations over commutative Moufang loops, on properties of automorphism groups of commutative Moufang loops, and on computer calculations with the \texttt{LOOPS} package in \texttt{GAP}. △ Less

Submitted 15 July, 2016; v1 submitted 2 March, 2016; originally announced March 2016.

MSC Class: 20N05 (Primary); 05B15; 05B07 (Secondary)

Free medial quandles

Authors: Premysl Jedlicka, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: This paper brings the construction of free medial quandles as well as free $n$-symmetric medial quandles and free $m$-reductive 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. △ Less

Submitted 16 April, 2016; v1 submitted 19 December, 2015; originally announced December 2015.

MSC Class: 20N02; 08B20

Subdirectly irreducible medial quandles

Authors: Premysl Jedlicka, Agata Pilitowska, Anna Zamojska-Dzienio

Abstract: We describe all subdirectly irreducible medial quandles. We show that they fall within one of four disjoint classes. In particular, in the finite case they are either connected (and therefore Alexander quandles) or reductive. Moreover, we provide a representation of all non-connected subdirectly irreducible medial quandles. We describe all subdirectly irreducible medial quandles. We show that they fall within one of four disjoint classes. In particular, in the finite case they are either connected (and therefore Alexander quandles) or reductive. Moreover, we provide a representation of all non-connected subdirectly irreducible medial quandles. △ Less

Submitted 25 December, 2017; v1 submitted 20 November, 2015; originally announced November 2015.

MSC Class: 08B26; 15A78 (Primary) 08A30; 03C05; 08A05; 20N02 (Secondary)

The structure of medial quandles

Authors: Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio

Abstract: Medial quandles are represented using a heterogeneous affine structure. As a consequence, we obtain numerous structural properties, including enumeration of isomorphism classes of medial quandles up to 13 elements. Medial quandles are represented using a heterogeneous affine structure. As a consequence, we obtain numerous structural properties, including enumeration of isomorphism classes of medial quandles up to 13 elements. △ Less

Submitted 25 May, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

MSC Class: Primary: 57M27; 20N02. Secondary: 08A05; 15A78; 05A16

Nilpotency in automorphic loops of prime power order

Authors: Premysl Jedlicka, Michael Kinyon, Petr Vojtechovsky

Abstract: A loop is automorphic if its inner map**s 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. A loop is automorphic if its inner map**s 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. △ Less

Submitted 18 August, 2011; v1 submitted 3 November, 2010; originally announced November 2010.

Comments: 13 pages, amsart; v2: minor changes suggested by referee; to appear in J. Algebra

MSC Class: 20N05

Journal ref: J. Algebra 350 (2012), 64-76

Constructions of commutative automorphic loops

Authors: Premysl Jedlicka, Michael Kinyon, Petr Vojtechovsky

Abstract: A loop whose inner map**s 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 comm… ▽ More A loop whose inner map**s 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. △ Less

Submitted 24 February, 2010; v1 submitted 13 October, 2008; originally announced October 2008.

Comments: v2: final version to appear in Communications in Algebra

MSC Class: 20N05

Journal ref: Comm. Algebra 38 (2010), no. 9, 3243-3267

The Structure of Commutative Automorphic Loops

Authors: Premysl Jedlicka, Michael Kinyon, Petr Vojtechovsky

Abstract: An \emph{automorphic loop} (or \emph{A-loop}) is a loop whose inner map**s 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 lo… ▽ More An \emph{automorphic loop} (or \emph{A-loop}) is a loop whose inner map**s 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. △ Less

Submitted 23 February, 2010; v1 submitted 6 October, 2008; originally announced October 2008.

Comments: 21 pages; v2: minor corrections suggested by referee; to appear in Trans. Amer. Math. Soc; v3. Sylow and Hall properties are open problems

MSC Class: 20N05

Journal ref: Trans. Amer. Math. Soc. 363 (2011), no. 1, 365-384