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.     

Jordan τ-derivations of Prime Rings

Let R be a prime ring which is not commutative, with maximal symmetric ring of quotients Q _ms (R), and let τ be an anti-automorphism of R. An additive map δ: R → Q _ms (R) is called a Jordan τ-derivation if δ(x ²) = δ(x)x ^τ + xδ(x) for all x ∈ R. A Jordan τ-derivation of R is called X-inner if it is of the form x → ax ^τ ? xa for x ∈ R, where a ∈ Q _ms (R). It is proved that any Jordan τ-derivation of R is X-inner if either R is not a GPI-ring or R is a PI-ring except when charR = 2 and dim  _C RC = 4, where C is the extended centroid of R.     

IDENTITIES FOR ALGEBRAS OBTAINED FROM THE CAYLEY-DICKSON PROCESS

The Cayley-Dickson process gives a recursive method of constructing a nonassociative algebra of dimension 2 ⁿ for all n ≥ 0, beginning with any ring of scalars. The algebras in this sequence are known to be flexible quadratic algebras; it follows that they are noncommutative Jordan algebras: they satisfy the flexible identity in degree 3 and the Jordan identity in degree 4. For the integral sedenion algebra (the double of the octonions) we determine a complete set of generators for the multilinear identities in degrees ≤ 5. Since these identities are satisfied by all flexible quadratic algebras, it follows that a multilinear identity of degree ≤ 5 is satisfied by all the algebras obtained from the Cayley-Dickson process if and only if it is satisfied by the sedenions.     

On centralizers of standard operator algebras and semisimple H*-algebras

Summary Let Abe a semisimple H*-algebra and let T: A→Abe an additive mapping such that T(x ^{n +1})<span lang=EN-US style='font-size:10.0pt;mso-ansi-language:EN-US'>=T(x)x ⁿ+x ⁿ T(x) holds for all x∈Aand some integer n≥1. In this case Tis a left and a right centralizer.     

On Connected Transversals to Dihedral Subgroups of Order 2p n

Let G be a group with a dihedral subgroup H of order 2pⁿ, where p is an odd prime. We show that if there exist H-connected transversals in G, then G is a solvable group. We apply this result to the loop theory and show that if the inner mapping group of a finite loop Q is dihedral of order 2pⁿ, then Q is a solvable loop.1991 Mathematics Subject Classification: 20D10, 20N05     

Skew loops in flat tori

We produce skew loops—loops having no pair of parallel tangent lines—homotopic to any loop in a flat torus or other quotient of R ⁿ . The interesting case here is n = 3. More subtly for any n, we characterize the homotopy classes that will contain a skew loop having a specified loop as tangent indicatrix. A fellowship from the Lady Davis foundation helped support this work.     

Craig-Sakamoto's theorem for the Wishart distributions on symmetric cones

A version of Craig-Sakamoto's theorem says essentially that ifX is aN(O,I _n ) Gaussian random variable in ⁿ, and ifA andB are (n, n) symmetric matrices, thenXAX andXBX (or traces ofAXX andBXX) are independent random variables if and only ifAB=0. As observed in 1951, by Ogasawara and Takahashi, this result can be extended to the case whereXX is replaced by a Wishart random variable. Many properties of the ordinary Wishart distributions have recently been extended to the Wishart distributions on the symmetric cone generated by a Euclidean Jordan algebraE. Similarly, we generalize there the version of Craig's theorem given by Ogasawara and Takahashi. We prove that ifa andb are inE and ifW is Wishart distributed, then Tracea.W and Traceb.W are independent if and only ifa.b=0 anda.(b.x)=b.(a.x) for allx inE, where the. indicates Jordan product.Partially supported by NATO grant 92.13.47.     

Polynomial Identities for Tangent Algebras of Monoassociative Loops

We introduce degree n Sabinin algebras, which are defined by the polynomial identities up to degree n in a Sabinin algebra. Degree 4 Sabinin algebras can be characterized by the polynomial identities satisfied by the commutator, associator, and two quaternators in the free nonassociative algebra. We consider these operations in a free power associative algebra and show that one of the quaternators is redundant. The resulting algebras provide the natural structure on the tangent space at the identity element of an analytic loop for which all local loops satisfy monoassociativity, a ² a ≡ aa ². These algebras are the next step beyond Lie, Malcev, and Bol algebras. We also present an identity of degree 5 which is satisfied by these three operations but which is not implied by the identities of lower degree.     

On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains \frac12\frac{1}{2} and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism.     

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.     

Decomposition of Jordan Automorphisms of Strictly Upper Triangular Matrix Algebra Over Commutative Rings

Over a 2-torsionfree commutative ring R with identity, the algebra of all strictly upper triangular n + 1 by n + 1 matrices is denoted by n ₁. In this article, we prove that any Jordan automorphism of n ₁ can be uniquely decomposed as a product of a graph automorphism, a diagonal automorphism, a central automorphism and an inner automorphism for n ≥ 3. In the cases n = 1, 2, we also give a decomposition for any Jordan automorphism of n ₁.     

On a Question of Glasby,Praeger, and Xia

A Jordan partition λ(m, n, p) = (λ₁, λ₂, … , λ _m ) is a partition of mn associated with the expression of a tensor V _m  ? V _n of indecomposable KG-modules into a sum of indecomposables, where K is a field of characteristic p and G a cyclic group of p-power order. It is standard if λ _i  = m + n ? 2i + 1 for all i. We answer a recent question of Glasby, Praeger, and Xia who asked for necessary and sufficient conditions for λ(m, n, p) to be standard.     

Algébres topologiquement uniformes et algébres fortement topologiquement uniformes

We characterize locally convex topological algebrasA satisfying: a sequence (x _n) inA converges to 0 if, and only if, (x _n ²) converges to 0. We also show that a real Banach algebra such thatx _n ²+y _n ²→0 if, and only if,x _n → 0 andy _n → 0, for every sequences (x _n) and (y _n) inA, is isomorphic to, whereX is a compact space.      

Gelfand–Kirillov Dimension and Local Finiteness of Jordan Superpairs Covered by Grids and Their Associated Lie Superalgebras

Abstract

In this paper we show that a Lie superalgebra L graded by a 3-graded irreducible root system has Gelfand–Kirillov dimension equal to the Gelfand–Kirillov dimension of its coordinate superalgebra A, and that L is locally finite if and only A is so. Since these Lie superalgebras are coverings of Tits–Kantor–Koecher superalgebras of Jordan superpairs covered by a connected grid, we obtain our theorem by combining two other results. Firstly, we study the transfer of the Gelfand–Kirillov dimension and of local finiteness between these Lie superalgebras and their associated Jordan superpairs, and secondly, we prove the analogous result for Jordan superpairs: the Gelfand–Kirillov dimension of a Jordan superpair V covered by a connected grid coincides with the Gelfand– Kirillov dimension of its coordinate superalgebra A, and V is locally finite if and only if A is so.     

The Tits–Kantor–Koecher Construction and Birepresentations of the Jordan Superpair SH(1, n)

Abstract

We introduce the concept of bimodule over a Jordan superpair and the Tits– Kantor–Koecher construction for bimodules. Using the construction we obtain the classification of irreducible bimodules over the Jordan superpair SH(1, n). We also prove semisimplicity for a class of finite dimensional SH(1, n)-bimodules for n ≥ 3.     

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.     

The classification of N-dimensional non-associative Jordan algebras with (N − 3)-dimensional annihilator

The paper is devoted to give a complete classification of all n-dimensional non-associative Jordan algebras with (n?3)-dimensional annihilator over an algebraically closed field of characteristic ≠2. We also give a complete classification of all n-dimensional Jordan algebras with (n?1)- and (n?2)-dimensional annihilator.     

A generalization of Fermat's little theorem

Fermat's Little Theorem states that if p is a prime number and gcd (x,p) = 1, then x^p?1 ≡ 1 (modp) If the requirement that gcd (x,p) = 1 is dropped, we can say x^p ≡ x(modp)for any integer x. Euler generalized Fermat's Theorem in the following way: if gcd (x,n) = 1 then x^φ(n) ≡ 1(modn), where φ is the Euler phi-function. It is clear that Euler's result cannot be extended to all integers x in the same way Fermat's Theorem can; that is, the congruence x^φ(n)+1 ≡ x(modn)is not always valid. In this note we show exactly when the congruence x^φ(n)+1 ≡ x(modn) is valid.