Primary Decompositions in Varieties of Commutative Diassociative Loops

The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially satisfied in the abelian group case) that all nth powers are central, for a fixed n. For n = 2, we get precisely commutative C loops. For n = 3, a prominent variety is that of commutative Moufang loops.

Many analogies between commutative C and Moufang loops have been noted in the literature, often obtained by interchanging the role of the primes 2 and 3. We show that the correct encompassing variety for these two classes of loops is the variety of commutative RIF loops. In particular, when Q is a commutative RIF loop: all squares in Q are Moufang elements, all cubes are C elements, Moufang elements of Q form a normal subloop M ₀(Q) such that Q/M ₀(Q) is a C loop of exponent 2 (a Steiner loop), C elements of L form a normal subloop C ₀(Q) such that Q/C ₀(Q) is a Moufang loop of exponent 3. Since squares (resp., cubes) are central in commutative C (resp., Moufang) loops, it follows that Q modulo its center is of exponent 6. Returning to the decomposition theorem, we find that every torsion, commutative RIF loop is a direct product of a C 2-loop, a Moufang 3-loop, and an abelian group with each element of order prime to 6.

We also discuss the definition of Moufang elements and the quasigroups associated with commutative RIF loops.     

Subloops of indecomposable RA loops

Summary An RA loop is a (necessarily Moufang) loop whose loop rings in any characteristic are alternative, but not associative. There are seven classes of finite indecomposable RA loops. In this paper, we find the indecomposable subloops and the indecomposable nonabelian groups which can appear inside the loops in each class.     

Incidence properties of cosets in loops

We study incidence properties among cosets of infinite 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 infinite 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 infinite Bol loop S, can in some cases determine whether |S| divides |Q| for all infinite Bol loops Q with S?Q, and even whether there is a selection of left cosets of S that partitions Q. 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 Q (in particular, in a commutative Moufang loop Q), two left cosets of S?Qare either disjoint or they intersect in a set whose cardinality equals that of some subloop of S.     

Half-isomorphisms of Finite Automorphic Moufang Loops

We show that each half-automorphism of a finite automorphic Moufang loop is trivial. In general, this is not true for finite left automorphic Moufang loops and for finite automorphic loops.     

三点粗异宿环分支

本文研究高维系统连接三个鞍点的粗异宿环的分支问题.在一些横截性条件和非扭曲条件下,获得了Γ附近的1-异宿三点环, 1-异宿两点环、 1-同宿环和1-周期轨的存在性,唯一性和不共存性.同时给出了分支曲面和存在域.上述结果被进一步推广到连接l个鞍点的异宿环的情况,其中l≥2.     

On the smallest simple, unipotent Bol loop

Finite simple, unipotent Bol loops have recently been identified and constructed using group theory. However, the purely group-theoretical constructions of the actual loops are indirect, somewhat arbitrary in places, and rely on computer calculations to a certain extent. In the spirit of revisionism, this paper is intended to give a more explicit combinatorial specification of the smallest simple, unipotent Bol loop, making use of concepts from projective geometry and quasigroup theory along with the group-theoretical background. The loop has dual permutation representations on the projective line of order 5, with doubly stochastic action matrices.     

Integral Loop Rings of Loops Whose Derived Subloop Is Central

It is proven that finite loops whose derived subloop is central are determined by Z, the ring of integers, that is, if L and M are two such loops and Z L ? Z M, then L ? M.     

Skew loops and quadric surfaces

A skew loop is a closed curve without parallel tangent lines. We prove: The only complete surfaces in R ³ with a point of positive curvature and no skew loops are the quadrics. In particular: Ellipsoids are the only closed surfaces without skew loops. Our efforts also yield results about skew loops on cylinders and positively curved surfaces. Received: January 7, 2002 RID="*" ID="*"The first author was partially supported by the NSF grant DMS-0204190.     

Admissible Orders of Jordan Loops

A commutative loop is Jordan if it satisfies the identity x²(yx) = (x²y)x. Using an amalgam construction and its generalizations, we prove that a nonassociative Jordan loop of order n exists if and only if n≧ 6 and n≠ 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. © 2008 Wiley Periodicals, Inc. J Combin Designs 17: 103–118, 2009     

On the Bifurcations of a Hamiltonian Having Three Homoclinic Loops under Z3 Invariant Quintic Perturbations

A cubic system having three homoclinic loops perturbed by Z3 invariant quintic polynomials is considered. By applying the qualitative method of differential equations and the numeric computing method, the Hopf bifurcation, homoclinic loop bifurcation and heteroclinic loop bifurcation of the above perturbed system are studied. It is found that the above system has at least 12 limit cycles and the distributions of limit cycles are also given.     

Nilpotent Steiner loops of class 2

We describe Steiner loops of nilpotency class 2 and establish the classification of finite 3-generated nilpotent Steiner loops of nilpotency class 2.     

The Campbell- Hausdorff Series of Local Analytic Bruck Loops

The class of local analyitic Bruck loops (or equivalently K-loops) is strongly related to locally symmetric spaces. In particular, both have Lie triple systems as their tangent algebra. In this paper, we consider the existence and some properties of the Campbell-Hausdorff series of local analytic Bruck loops (K-loops). This formula can be used to determine the local symmetries of the associated symmetric space.     

Semiautomorphic inverse property loops

We define a variety of loops called semiautomorphic, inverse property loops that generalize Moufang and Steiner loops. We first show an equivalence between a previously studied variety of loops. Next we extend several known results for Moufang and Steiner loops. That is, the commutant is a subloop and if a is in the commutant, then a² is a Moufang element, a³ is a c-element and a⁶ is in the center. Finally, we give two constructions for semiautomorphic inverse property loops based on Chein’s and de Barros and Juriaans’ doubling constructions.     

Matched Pairs,Permutation Representations,and the Bol Property

The article examines Bol loops that are constructed from matched pairs of groups, including a new simple, non-Moufang Bol loop of order 120. Certain permutation representations of the loops under consideration provide nontrivial examples of doubly stochastic action matrices. A generalization of the matched-pair loop construction yields proper Bol actions of groups.     

Free Akivis Algebras, Primitive Elements, and Hyperalgebras

Free Akivis algebras and primitive elements in their universal enveloping algebras are investigated. It is proved that subalgebras of free Akivis algebras are free and that finitely generated subalgebras are finitely residual. Decidability of the word problem for the variety of Akivis algebras is also proved.The conjecture of K. H. Hofmann and K. Strambach (Problem 6.15 in [Topological and analytic loops, in “Quasigroups and Loops Theory and Applications,” Series in Pure Mathematics (O. Chein, H. O. Pflugfelder, and J. D. H. Smith, Eds.), Vol. 8, pp. 205–262, Heldermann Verlag, Berlin, 1990]) on the structure of primitive elements is proved to be not valid, and a full system of primitive elements in free nonassociative algebra is constructed.Finally, it is proved that every algebra B can be considered as a hyperalgebra, that is, a system with a series of multilinear operations that plays a role of a tangent algebra for a local analytic loop, where the hyperalgebra operations on B are interpreted by certain primitive elements.     

基于基本回路修正的AHP一致性调整方法研究

为解决AHP一致性问题,提出一种基于基本回路修正的调整方法,能够同时解决数值不一致和逻辑不一致问题,同时保证对原始信息的修改量最小。数值不一致和逻辑不一致均由决策者的不准确判断引起,其中数值不一致可以通过降低一致性比率(CR)值进行改善,而逻辑不一致只有将判断矩阵中所有三阶回路去除才能得到解决。因此,通过对n阶判断矩阵进行基本矩阵分解,得到C³_n个3阶的基本矩阵,其中存在三阶回路的称为基本回路,从而将判断矩阵的一致性修正问题转化为基本回路的一致性修正问题。通过对基本回路的一致性比较,提出了两种确定最不一致元素的方法,即CR和最大法和优化法,并设计了优化模型对最不一致元素进行修正。最后,通过算例分析验证了本文方法的可行性,与已有方法的对比结论证明了本文方法更为有效。     

Simple Power Associative Loops with Exactly One Covering

In this paper we look at a some results about uniquely covered power associative loops, and we construct a family of power associative loops that have exactly one covering. This shows that there is a wide variety of power associative loops with exactly one covering.     

Structure of finitely generated commutative alternative algebras and special Moufang loops

It is proved that the commutator ideal of the multiplication algebra of a free commutative alternative algebra of rank n is nilpotent of index n ? 1. As a corollary to this fact, the Bruck theorem for special commutative Moufang loops is derived.