Source author record

Kyle Pula

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
2topics
3close collaborators

Published work

5 publications

preprint2011arXiv

Incidence properties of cosets in loops

We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop SS, can in some cases determine whether ∣S∣|S| divides ∣Q∣|Q| for all finite Bol loops QQ with S≤QS \le Q, and even whether there is a selection of left cosets of SS that partitions QQ. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop QQ (in particular, in a commutative Moufang loop QQ), two left cosets of S≤QS\le Q are either disjoint or they intersect in a set whose cardinality equals that of some subloop of SS.

preprint2010arXiv

A Generalization of Plexes of Latin Squares

A kk-plex of a latin square is a collection of cells representing each row, column, and symbol precisely kk times. The classic case of k=1k=1 is more commonly known as a transversal. We introduce the concept of a kk-weight, an integral weight function on the cells of a latin square whose row, column, and symbol sums are all kk. We then show that several non-existence results about kk-plexes can been seen as more general facts about kk-weights and that the weight-analogues of several well-known existence conjectures for plexes actually hold for kk-weights.

preprint2010arXiv

Products of all elements in a loop and a framework for non-associative analogues of the Hall-Paige conjecture

For a finite loop QQ, let P(Q)P (Q) be the set of elements that can be represented as a product containing each element of QQ precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) QQ has a complete mapping, i.e. the multiplication table of QQ has a transversal, (B) there is no $N \normal Q$ such that ∣N∣|N| is odd and $Q/N \cong \ZZ_{2^m}$ for m≥1m \geq 1, and (C) P(Q)P(Q) intersects the associator subloop of QQ. We prove (A)  ⟹  (C)(A) \implies (C) and (B)  ⟺  (C)(B) \iff (C) and show that when QQ is a group, these conditions reduce to familiar statements related to the Hall-Paige conjecture (which essentially says that in groups (B)  ⟹  (A))(B) \implies (A)). We also establish properties of P(Q)P(Q), prove a generalization of the Dénes-Hermann theorem, and present an elementary proof of a weak form of the Hall-Paige conjecture.

preprint2008arXiv

Admissible orders of Jordan loops

A commutative loop is Jordan if it satisfies the identity x2(yx)=(x2y)xx^2 (y x) = (x^2 y) x. Using an amalgam construction and its generalizations, we prove that a nonassociative Jordan loop of order nn exists if and only if n≥6n\geq 6 and n≠9n\neq 9. We also consider whether powers of elements in Jordan loops are well-defined, and we construct an infinite family of finite simple nonassociative Jordan loops.

Research graph

See the researcher in context

Open full explorer

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.