δ-Derivations of simple finite-dimensional Jordan superalgebras

We describe non-trivial δ-derivations of semisimple finite-dimensional Jordan algebras over an algebraically closed field of characteristic not 2, and of simple finite-dimensional Jordan superalgebras over an algebraically closed field of characteristic 0. For these classes of algebras and superalgebras, non-zero δ-derivations are shown to be missing for δ ≠ 0, 1/2, 1, and we give a complete account of 1/2-derivations. Supported by RFBR grant No. 05-01-00230 and by RF Ministry of Education and Science grant No. 11617. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 585–605, September–October, 2007.     

Jordan bialgebras and their relation to Lie bialgebras

We develop the notion of Jordan bialgebras and study the way in which such are related to Lie bialgebras. In particular, it is shown that if a Lie algebra L(J) obtained from a Jordan algebra J by applying the Kantor-Koecher-Tits construction admits the structure of a Lie bialgebra, under some natural constraints, then, J permits the structure of a Jordan algebra. Supported by RFFR grant No. 95-01-01356 and by ISF grant No. RB 6300. Translated fromAlgebra i Logika, Vol. 36, No. 1, pp. 3–25, January–February, 1997.     

The Kantor-Koecher-Tits construction for Jordan coalgebras

The relationship between Jordan and Lie coalgebras is established. We prove that from any Jordan coalgebra 〈L(A), Δ〉, it is possible to construct a Lie coalgebra 〈L(A), Δ_L〉. Moreover, any dual algebra of the coalgebra 〈L(A), Δ_L〉 corresponds to a Lie algebra that can be determined from the dual algebra for (A, Δ), following the Kantor-Koecher-Tits process. The structure of subcoalgebras and coideals of the coalgebra 〈L(A), Δ_L〉 is characterized. Supported by ISF grant No. RB 6000. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 173–189, March–April, 1996.     

A Lot of Quasitriangular Group-cograded Multiplier Hopf Algebras

A new method of constructing quasitriangular group-cograded multiplier Hopf algebras is provided. For a multiplier Hopf dual pairing σ between regular multiplier Hopf algebras A and B, we introduce the concept of a σ-compatible pairing (Φ, Ψ, σ ), where Φ and Ψ are actions of the twisted semi-direct group of a group G on A and B, respectively. We construct a twisted double group-cograded multiplier Hopf algbera D(A, B; σ, Φ, Ψ). Furthermore, if there is a canonical multiplier in M(B ⊗ A) we show existence of quasitriangular structure on D(A, B; σ, Φ, Ψ). As an application, special cases and examples are given.     

Maschke’s theorem for smash products of quasitriangular weak Hopf algebras

The paper is concerned with the semisimplicity of smash products of quasitriangular weak Hopf algebras. Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k and A any semisimple and quantum commutative weak H-module algebra. Based on the work of Nikshych et al. (Topol. Appl. 127(1–2):91–123, 2003), we give Maschke’s theorem for smash products of quasitriangular weak Hopf algebras, stating that A#H is semisimple if and only if A is a projective left A#H-module, which extends the Theorem 3.2 given in Yang and Wang (Commun. Algebra 27(3):1165–1170, 1999).     

Local and Subquotient Inheritance of Simplicity in Jordan Systems

In this paper we prove that the local algebras of a simple Jordan pair are simple. Jordan pairs all of which local algebras are simple are also studied, showing that they have a nonzero simple heart, which is described in terms of powers of the original pair. Similar results are given for Jordan triple systems and algebras. Finally, we characterize the inner ideals of a simple pair which determine simple subquotients, answering the question posed by O. Loos and E. Neher (1994, J. Algebra166, 255–295).     

Mal’tsevh 0-algebras

Let Φ be an associative commutative ring with unity, 1/6 ∈ Φ, write A for a Mal’tsev algebra over Φ, suppose that on A, the function h(y, z, t, x, x)=2[{yz, t, x}x+{yx, z, x}t], where {x, y, z}=(xy)z−(xz)y+2x(yz), is defined, and assume that H(A) is a fully invariant ideal of A generated by the function h. The algebra A satisfying an identity h(y, z, x, x, x)=0 [h(y, z, t, x, x)=0] is called a Mal’tsev h₀-algebra (h-algebra). We prove that in any Mal’tsev h₀-algebra, the inclusion H(A)·A₂⊆Ann A holds withAnnA the annihilator of A. This means that any semiprime h₀-algebra A is an h-algebra. Every prime h₀-algebra A is a central simple algebra over the quotient field Λ of the center of its algebra of right multiplications, R(A), and is either a 7-dimensional non-Lie algebra or a 3-dimensional Lie algebra over Λ. Supported by RFFR grant No. 94-01-00381-a. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 214–227, March–April, 1996.     

Novikov-Poisson algebras and associative commutative derivation algebras

We describe Novikov-Poisson algebras in which a Novikov algebra is not simple while its corresponding associative commutative derivation algebra is differentially simple. In particular, it is proved that a Novikov algebra is simple over a field of characteristic not 2 iff its associative commutative derivation algebra is differentially simple. The relationship is established between Novikov-Poisson algebras and Jordan superalgebras. Supported by RFBR (grant No. 05-01-00230), by SB RAS (Integration project No. 1.9), and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (project NSh-344.2008.1). __________ Translated from Algebra i Logika, Vol. 47, No. 2, pp. 186–202, March–April, 2008.     

Isotopes of prime (−1, 1)-and Jordan algebras

We deal with adjoint commutator and Jordan algebras of isotopes of prime strictly (−1, 1)-algebras. It is proved that a system of identities of the form [x ₁, x ₂, x ₂, x ₃,…, x _n ] for n = 2,.…, 5 is discernible on isotopes of prime (−1, 1)-algebras. Also it is shown that adjoint Jordan algebras for suitable isotopes of prime (−1, 1)-algebras may possess distinct sets of identities. In particular, isotopes of a prime Jordan monster have different sets of identities in general.     

Polynomial preserving maps on certain Jordan algebras

LetB andQ be associative algebras and letS be a Jordan subalgebra ofB. Letf(x ₁,…,x _m ) be a (noncommutative) multilinear polynomial such thatS is closed underf. Letα:S→Q be anf-homomorphism in the sense that it is a linear map preservingf. Under suitable conditions it is shown thatα is essentially given by a ring homomorphism. An analogous theorem forf-derivations is also proved. The proofs rest heavily on results concerning functional identities andd-freeness. The second author was partially supported by a grant from the Ministry of Science of Slovenia.     

Jordan decompositions in alternative loop rings

It is observed that the additive as well as multiplicative Jordan decompositions hold in alternative loop algebras of finiteRA loops and theRA loops for which the additive Jordan decomposition holds in the integral loop ring are characterized. Multiplicative Jordan decomposition (MJD) inZL, whereL is a finiteRA loop with cyclic centre is analysed, besides settling MJD for integral loop rings of allRA loops of order ≤32. It is also shown that for any finiteRA loopL,U (ZL) is an almost splittable Moufang loop. Research of the second author is supported by CSIR.     

Elementary equivalence of Chevalley groups over fields

It is proved that (elementary) Chevalley groups G _π(Φ,K) and G _π′(Φ′,K′) (or E _π(Φ,K) and E _π′(Φ′,K′)) over infinite fields K and K′ of characteristic different from 2, with weight lattices Λ and Λ′, respectively, are elementarily equivalent if and only if the root systems Φ and Φ′ are isomorphic, the fields K and K′ are elementarily equivalent, and the lattices Λ and Λ′ coincide. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 8, pp. 29–77, 2006.     

Quasitriangular Pointed Hopf Algebras Constructed by Ore Extensions

We study the quasitriangular structures for a family of pointed Hopf algebras which is big enough to include Taft's Hopf algebras H _n ², Radford's Hopf algebras H _N,n,q, and E(n). We give necessary and sufficient conditions for the Hopf algebras in our family to be quasitriangular. For the case when they are, we determine completely all the quasitriangular structures. Also, we determine the ribbon elements of the quasitriangular Hopf algebras and the quasi-ribbon elements of their Drinfel'd double.     

Jordan代数上的可乘Jordan导子

设A是Jordan代数,如果映射d:A→A满足任给a,b∈A,都有d(aob)=d(a)o b+aod(b),则称d为可乘Jordan导子.如果A含有一个非平凡幂等p,且A对于p的Peirce分解A=A_1⊕A_(1/2)⊕A_0满足:(1)设ai∈Ai(i=1,0),如果任给t_(1/2)∈A_(1/2),都有a_i○t_(1/2)=0,则a_i=0,则A上的可乘Jordan导子d.如果满足d(p)=0,则d是可加的.由此得到结合代数和三角代数满足一定条件时,其上的任意可乘Jordan导子是可加的.     

Strict Semimonotonicity Property of Linear Transformations on Euclidean Jordan Algebras

Motivated by the equivalence of the strict semimonotonicity property of the matrix A and the uniqueness of the solution to the linear complementarity problem LCP(A,q) for q∈R ₊ ⁿ , we study the strict semimonotonicity (SSM) property of linear transformations on Euclidean Jordan algebras. Specifically, we show that, under the copositive condition, the SSM property is equivalent to the uniqueness of the solution to LCP(L,q) for all q in the symmetric cone K. We give a characterization of the uniqueness of the solution to LCP(L,q) for a Z transformation on the Lorentz cone ℒ₊ ⁿ . We study also a matrix-induced transformation on the Lorentz space ℒ ⁿ .     

A theorem on level lines of continuous functions

A property of a continuous functionf(x), x ∈ E ₂, similar to the classical intermediate value property is established. Namely, let a Jordan compactJ ⊂ E ₂ be the domain of definition off. Then, for each parametrizationx(t), 0≦t≦T,x(0)=x(T), of the boundary Fr(J) ofJ there exists a unique real λ and a unique connected component Φ of the level set {x ∈ J: f(x)=λ} with the following property: any connected subset Ω ofJ containing “opposite” points of Fr(J) (i.e. pointsx(t′) andx(t″) such thatt″−t′=T/2) has a common element with Φ.     

Prime Jordan algebras and the Kantor construction

Two new constructions of prime Jordan algebras containing nonzero trivial elements are presented. It is proved that a Jordan superalgebra of Poisson brackets is a homomorphic image of a special one.Translated fromAlgebra i Logika, Vol. 33, No. 3, pp. 301–316, May–June, 1994.     

Quasiconformal and harmonic mappings between Jordan domains

Let Ω and Ω₁ be Jordan domains, let μ ∈ (0, 1], and let be a harmonic homeomorphism. The object of the paper is to prove the following results: (a) If f is q.c. and ∂Ω, ∂Ω₁ ∈ C ^1,μ , then f is Lipschitz; (b) if f is q.c., ∂Ω, ∂Ω₁ ∈ C ^1,μ and Ω₁ is convex, then f is bi-Lipschitz; and (c) if Ω is the unit disk, Ω₁ is convex, and ∂Ω₁ ∈ C ^1,μ , then f is quasiconformal if and only if its boundary function is bi-Lipschitz and the Hilbert transform of its derivative is in L ^∞. These extend the results of Pavlović (Ann. Acad. Sci. Fenn. 27:365–372, 2002).