Multiplicative Jordan Decomposition in Group Rings of 3-Groups,II

In this paper, we complete the classification of those finite 3-groups G whose integral group rings have the multiplicative Jordan decomposition property. If G is abelian, then it is clear that ?[G] satisfies the multiplicative Jordan decomposition (MJD). In the nonabelian case, we show that ?[G] satisfies MJD if and only if G is one of the two nonabelian groups of order 3³ = 27.     

Cayley-dickson algebras and RA loops

RA loops induced by Cayley-Dickson algebras are constructed. Any RA loop is a homomorphic image of an induced RA loop. The category of Cayley-Dickson algebras and the category of induced RA loops are equivalent.     

Finite Generation of Units in Alternative Loop Rings

Let L be an RA loop, that is, a loop whose loop ring in any characteristic is an alternative, but not associative, ring. Suppose that L is finite and that any noncommutative division algebra appearing as a simple component in the Wedderburn decomposition of Q L is the classical Cayley–Dickson algebra over Q. Then the unit loop of the alternative loop ring Z L of L over the ring of rational integers is finitely generated.     

Semidirect Product of Loops and Fibrations

Starting from two loops (H, +) and (K, ·), a new loop L can be defined by means of a suitable map Θ : K → Sym H (cf. [3]). Such a loop is called semidirect product of H and K with respect to Θ and denoted by H ×_Θ K =: L. Here we consider the class of those semidirect products in which Θ : K → Aut(H, +) is a homomorphism, this situation being quite akin to the group case. Some relevant algebraic properties of the loop L (Bol condition, Moufang etc.) can be inherited from H and K. In the case that K is a group we investigate the possibility of describing L by a partition (or fibration). In this way we propose a generalization of [8] for the non associative case. Received: September 20, 2007. Revised: November 8, 2007.     

Local and improper Daniell-Loomis integrals

In this paper we start from previous results obtained in [7] on the abstract space of Daniell-Loomis integrable functionsL, which is constructed like to the Daniell extension process, but without continuity assumptions on the elementary integral. The localized integral is used to prove thatL consists of those functions whose local upper and lower integrals are equal and finite, or thatL is closed with respect to improper integration. Our results are also holded in integration with respect to finitely additive measures.     

Central units in salternative loop rings

Let L be an RA loop, that is, a loop whose loop ring in any characteristic is an alternative, but not associative, ring. We show that every central unit in the integral loop ring ZL is the product ℓμ₀ of an element ℓ ∈ L and a loop ring element μ₀ whose support is in the torsion subloop of L and use this result to determine when all central units of ZL are trivial. Received: 8 October 2004     

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     

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.     

On the lattice formed by all normal subloops of a finite loop

All normal subloops of a loopG form a modular latticeL _n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L _n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.     

List Homomorphisms and Circular Arc Graphs

G , H, and lists , a list homomorphism of G to H with respect to the lists L is a mapping , such that for all , and for all . The list homomorphism problem for a fixed graph H asks whether or not an input graph G together with lists , , admits a list homomorphism with respect to L. We have introduced the list homomorphism problem in an earlier paper, and proved there that for reflexive graphs H (that is, for graphs H in which every vertex has a loop), the problem is polynomial time solvable if H is an interval graph, and is NP-complete otherwise. Here we consider graphs H without loops, and find that the problem is closely related to circular arc graphs. We show that the list homomorphism problem is polynomial time solvable if the complement of H is a circular arc graph of clique covering number two, and is NP-complete otherwise. For the purposes of the proof we give a new characterization of circular arc graphs of clique covering number two, by the absence of a structure analogous to Gallai's asteroids. Both results point to a surprising similarity between interval graphs and the complements of circular arc graphs of clique covering number two. Received: July 22, 1996/Revised: Revised June 10, 1998     

Jordan (Super)Coalgebras and Lie (Super)Coalgebras

We discuss the question of local finite dimensionality of Jordan supercoalgebras. We establish a connection between Jordan and Lie supercoalgebras which is analogous to the Kantor–Koecher–Tits construction for ordinary Jordan superalgebras. We exhibit an example of a Jordan supercoalgebra which is not locally finite-dimensional. Show that, for a Jordan supercoalgebra (J,) with a dual algebra J ^*, there exists a Lie supercoalgebra (L ^c (J), _L ) whose dual algebra (L ^c (J))^* is the Lie KKT-superalgebra for the Jordan superalgebra J ^*. It is well known that some Jordan coalgebra J ⁰ can be constructed from an arbitrary Jordan algebra J. We find necessary and sufficient conditions for the coalgebra (L ^c (J ⁰),_L) to be isomorphic to the coalgebra (Loc(L _in (J)⁰), _L ⁰), where L _in (J) is the adjoint Lie KKT-algebra for the Jordan algebra J.     

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.     

Supersymmetry and the formal loop space

For any algebraic super-manifold M we define the super-ind-scheme LM of formal loops and study the transgression map (Radon transform) on differential forms in this context. Applying this to the super-manifold M=SX, the spectrum of the de Rham complex of a manifold X, we obtain, in particular, that the transgression map for X is a quasi-isomorphism between the [2,3)-truncated de Rham complex of X and the additive part of the [1,2)-truncated de Rham complex of LX. The proof uses the super-manifold SSX and the action of the Lie super-algebra sl(1|2) on this manifold. This quasi-isomorphism result provides a crucial step in the classification of sheaves of chiral differential operators in terms of geometry of the formal loop space.     

Polynomial Identities of RA and RA2 Loop Algebras

Let F be an algebraically closed field of characteristic zero and L an RA loop. We prove that the loop algebra FL is in the variety generated by the split Cayley–Dickson algebra Z _F over F. For RA2 loops of type M(Dih(A), ^?1,g ₀), we prove that the loop algebra is in the variety generated by the algebra  ₃ which is a noncommutative simple component of the loop algebra of a certain RA2 loop of order 16. The same does not hold for the RA2 loops of type M(G, ^?1,g ₀), where G is a non-Abelian group of exponent 4 having exactly 2 squares.     

Differentiability of convolutions, integrated semigroups of bounded semi-variation, and the inhomogeneous Cauchy problem

If T = {T (t); t ≥ 0} is a strongly continuous family of bounded linear operators between two Banach spaces X and Y and f ∈ L ¹(0, b, X), the convolution of T with f is defined by . It is shown that T * f is continuously differentiable for all f ∈ C(0, b, X) if and only if T is of bounded semi-variation on [0, b]. Further T * f is continuously differentiable for all f ∈ L ^p (0, b, X) (1 ≤ p < ∞) if and only if T is of bounded semi-p-variation on [0, b] and T(0) = 0. If T is an integrated semigroup with generator A, these respective conditions are necessary and sufficient for the Cauchy problem u′ = Au + f, u(0) = 0, to have integral (or mild) solutions for all f in the respective function vector spaces. A converse is proved to a well-known result by Da Prato and Sinestrari: the generator A of an integrated semigroup is a Hille-Yosida operator if, for some b > 0, the Cauchy problem has integral solutions for all f ∈ L ¹(0, b, X). Integrated semigroups of bounded semi-p-variation are preserved under bounded additive perturbations of their generators and under commutative sums of generators if one of them generates a C ₀-semigroup. Günter Lumer in memoriam     

Near integral domains II

A direct product decomposition is given for the multiplicative semigroup of a finite near integral domain in terms of the subsemigroup of left identities and a group of automorphisms on the additive group of the domain. Conditions are given which insure that every element will have a uniquen-th root. If there existsx≠0 such that (?x)y=?(xy), for eachy, then the additive group of the near integral domain is abelian. Other conditions sufficient for the commutativity of the additive group are given. An example illustrates that non-isomorphic finite near integral domains can have a left ideal decomposition into Sylow subgroups which are isomorphic as near-rings. Another example shows that an infinite near integral domain need not have a nilpotent additive group, even in the d. g. case. It is conjectured that for each natural numbern there is a near integral domain whose additive group is of nilpotent classn.     

Weakly Singular Integral Operators in Weighted L∞–Spaces

We study integral operators on (−1, 1) with kernels k(x, t) which may have weak singularities in (x, t) with x ∈N₁, t ∈N₂, or x=t, where N₁,N₂ are sets of measure zero. It is shown that such operators map weighted L^∞–spaces into certain weighted spaces of smooth functions, where the degree of smoothness is the higher the smoother the kernel k(x, t) as a function in x is. The spaces of smooth function are generalizations of the Ditzian-Totik spaces which are defined in terms of the errors of best weighted uniform approximation by algebraic polynomials.     

Approximation by <Emphasis Type="Italic">p</Emphasis>-Faber-Laurent Rational Functions in the Weighted Lebesgue Spaces

Let L C be a regular Jordan curve. In this work, the approximation properties of the p-Faber-Laurent rational series expansions in the weighted Lebesgue spaces L ^p(L, ) are studied. Under some restrictive conditions upon the weight functions the degree of this approximation by a kth integral modulus of continuity in L ^p(L, ) spaces is estimated.     

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.     

On the structure of inner ideals of nest algebras

IfA is a nest algebra andA _s=A ∩ A* , whereA* is the set of the adjoints of the operators lying inA, then the pair (A, A _s) forms a partial Jordan *-triple. Important tools when investigating the structure of a partial Jordan *-triple are its tripotents. In particular, given an orthogonal family of tripotents of the partial Jordan *-triple (A, A _s), the nest algebraA splits into a direct sum of subspaces known as the Peirce decomposition relative to that family. In this paper, the Peirce decomposition relative to an orthogonal family of minimal tripotents is used to investigate the structure of the inner ideals of (A, A _s), whereA is a nest algebra associated with an atomic nest. A property enjoyed by inner ideals of the partial Jordan *-triple (A, A _s) is presented as the main theorem. This result is then applied in the final part of the paper to provide examples of inner ideals. A characterization of the minimal tripotents as a certain class of rank one operators is also obtained as a means to deduce the principal theorem.