Source author record

J. D. Phillips

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

8works
4topics
4close collaborators

Published work

8 publications

preprint2015arXiv

A scoop from groups: Equational foundations for loops

Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain "group-like" equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only one-sided and/or the neutral element is only one-sided.

preprint2014arXiv

Design and operation of a cryogenic charge-integrating preamplifier for the MuSun experiment

The central detector in the MuSun experiment is a pad-plane time projection ionization chamber that operates without gas amplification in deuterium at 31 K; it is used to measure the rate of the muon capture process μ−+d→n+n+νμμ^- + d \rightarrow n + n + ν_μ. A new charge-sensitive preamplifier, operated at 140 K, has been developed for this detector. It achieved a resolution of 4.5 keV(D2_2) or 120 e−e^- RMS with zero detector capacitance at 1.1 μμs integration time in laboratory tests. In the experimental environment, the electronic resolution is 10 keV(D2_2) or 250 e−e^- RMS at a 0.5 μμs integration time. The excellent energy resolution of this amplifier has enabled discrimination between signals from muon-catalyzed fusion and muon capture on chemical impurities, which will precisely determine systematic corrections due to these processes. It is also expected to improve the muon tracking and determination of the stopping location.

preprint2012arXiv

The structure of automorphic loops

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop QQ of odd order is solvable, contains an element of order pp for every prime pp dividing ∣Q∣|Q|, and ∣S∣|S| divides ∣Q∣|Q| for every subloop SS of QQ. There are no finite simple nonassociative commutative automorphic loops, and there are no finite simple nonassociative automorphic loops of order less than 2500. We show that if QQ is a finite simple nonassociative automorphic loop then the socle of the multiplication group of QQ is not regular. The existence of a finite simple nonassociative automorphic loop remains open. Let pp be an odd prime. Automorphic loops of order pp or p2p^2 are groups, but there exist nonassociative automorphic loops of order p3p^3, some with trivial nucleus (center) and of exponent pp. We construct nonassociative "dihedral" automorphic loops of order 2n2n for every n>2n>2, and show that there are precisely p−2p-2 nonassociative automorphic loops of order 2p2p, all of them dihedral.

preprint2010arXiv

Cheban loops

Left Cheban loops are loops that satisfy the identity x(xy.z) = yx.xz. Right Cheban loops satisfy the mirror identity {(z.yx)x = zx.xy}. Loops that are both left and right Cheban are called Cheban loops. Cheban loops can also be characterized as those loops that satisfy the identity x(xy.z) = (y.zx)x. These loops were introduced in Cheban, A. M. Loops with identities of length four and of rank three. II. (Russian) General algebra and discrete geometry, pp. 117-120, 164, "Shtiintsa", Kishinev, 1980. Here we initiate a study of their structural properties. Left Cheban loops are left conjugacy closed. Cheban loops are weak inverse property, power associative, conjugacy closed loops; they are centrally nilpotent of class at most two.

preprint2009arXiv

Right product quasigroups and loops

Right groups are direct products of right zero semigroups and groups and they play a significant role in the semilattice decomposition theory of semigroups. Right groups can be characterized as associative right quasigroups (magmas in which left translations are bijective). If we do not assume associativity we get right quasigroups which are not necessarily representable as direct products of right zero semigroups and quasigroups. To obtain such a representation, we need stronger assumptions which lead us to the notion of \emph{right product quasigroup}. If the quasigroup component is a (one-sided) loop, then we have a \emph{right product (left, right) loop}. We find a system of identities which axiomatizes right product quasigroups, and use this to find axiom systems for right product (left, right) loops; in fact, we can obtain each of the latter by adjoining just one appropriate axiom to the right product quasigroup axiom system. We derive other properties of right product quasigroups and loops, and conclude by showing that the axioms for right product quasigroups are independent.

preprint2006arXiv

F-quasigroups isotopic to groups

In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of the simple FG-quasigroups. Finally, we show an equivalence of equational classes between pointed FG-quasigroups and central generalized modules over a particular ring.

preprint2006arXiv

When is the commutant of a Bol loop a subloop?

A left Bol loop is a loop satisfying x(y(xz))=(x(yx))zx(y(xz)) = (x(yx))z. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order 2k2k, kk odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop KK such that KK is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with non-subloop commutant. In particular, we obtain all Bol loops of order 16 with non-subloop commutant.

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.