Exceptional 0-Alia algebras

Analgebra (A, ∘) with the identity [a, b]∘c + [b, c]∘a + [c, a]∘b = 0, where [a, b] = a∘b−b∘a, is called 0-Alia. We prove that the algebra (ℂ[x], ∘) with multiplication a ∘ b = ∂2(2a∂(b)+∂(a)b) is a simple, exceptional 0-Alia algebra. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

Simple two-sided anti-Lie-admissible algebras

For a Lie algebra L, a bilinear map is called a commutative cocycle if ψ(a, b) = ψ(b, a) and ψ([a, b], c) + ψ([b, a], c) + ψ([c, a], b) = 0 for any a, b, c ∈ L. We prove that any commutative cocycle of a simple Lie algebra of characteristic p ≠ 2, 3 is trivial if the rank of L is at least 2. In particular, any two-sided Alia algebra connected with a simple, finite-dimensional Lie algebra L is isomorphic to L, except for the case where L = sl ₂ . Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

On a characterization of the essential spectra of some matrix operators and application to two-group transport operators

In this paper, we investigate the essential approximate point spectrum and the essential defect spectrum of a 2 × 2 block operator matrix on a Banach space. Furthermore, we apply the obtained results to two-group transport operators in the Banach space L _p ([−a, a] × [−1, 1]) × L _p ([−a, a] × [−1, 1]), a > 0, p ≥ 1.     

Cauchy’s residue theorem for a class of real valued functions

Let [a, b] be an interval in ℝ Rand let F be a real valued function defined at the endpoints of [a, b] and with a certain number of discontinuities within [a, b]. Assuming F to be differentiable on a set [a, b] | E to the derivative f, where E is a subset of [a, b] at whose points F can take values ±∞ or not be defined at all, we adopt the convention that F and f are equal to 0 at all points of E and show that KH-vt ∝ _a ^b f = F(b) − F(a), where KH-vt denotes the total value of the Kurzweil-Henstock integral. The paper ends with a few examples that illustrate the theory.     

Characterization of non-matrix varieties of associative algebras

A variety of associative algebras is called a non-matrix variety if it does not contain the algebra of 2 × 2 matrices over the base field K. There are some known characterizations of non-matrix varieties. We give some new characterizations in terms of properties of nilelements. Let V be a variety of associative algebras over an infinite field. Then the following conditions are equivalent: (1) V is a non-matrix variety, (2) any finitely generated algebra A ∈ V satisfies an identity of the form [x ₁, x ₂] … [x _2s−1, x _2s ] ≡ 0, (3) let A ∈ V; then for any nilelements a, b ∈ A, the element a + b is again a nilelement. Let E be the Grassmann algebra in countable many generators. We also give similar characterizations for non-matrix varieties over fields of characteristic zero that do not contain E or E ⊗ E.     

Ein Beitrag Zum Ricci-Kalkül

Riassunto Sianos, t dei campi tensoriali antisi metrici sopra unan-varietà riamanniana orientata. Siano, rispettivamente,a eb i gradi dis et. Allora rot(s·t)=±(a+1)(grads)·(dual _{n−(b−a)−1} dual _b−a t) ±s·(dual _{n−(b−a)−1} div dual _b−a t), dove dual _i sono delle modificazioni dell’operatore ben noto dual. Cons⋎t=(duals)·t, il prodottos⋎t possiede delle proprità, sotto certi aspetti duali a quelle dei prodotto esterno,s⋏t. Discutendo il prodottos⋏t, si vede: l'operatore div ed il prodotto ⋎ corrispondono all’operatore rot e al prodotto ⋏.

---

Résumé Soients, t des champs tensoriels antisy métriques sur unen-variété riemannienne orientée. Soient, respectivement,a etb les degrés des ett. Alors rot(s·t)=±(a+1)(grads)·(dual _{n−(b−a)−1} dual _b−a t) ±s·(dual _{n−(b−a)−1} div dual _b−a t), où dual _i sont des modifications de l'opérateur connu dual. Avecs⋎t=(duali)·t, le produits⋎t possède des propriétés à certains égards duales à ceux du produit extérieur,s⋏t. En discutant le produits⋎t, l'on voit de plus: l'opérateur div et le produit ⋎ correspondent à l'opérateur rot et au produit ⋏.

     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.

     

A Neighborhood Condition for Graphs to Have [a, b]-Factors II

 Let a, b, m, and t be integers such that 1≤a<b and 1≤t≤⌉(b−m+1)/a⌉. Suppose that G is a graph of order |G| and H is any subgraph of G with the size |E(H)|=m. Then we prove that G has an [a,b]-factor containing all the edges of H if the minimum degree is at least a, |G|>((a+b)(t(a+b−1)−1)+2m)/b, and |N _G (x ₁)∪⋯ ∪N _G (x _t )|≥(a|G|+2m)/(a+b) for every independent set {x ₁,…,x _t }⊆V(G). This result is best possible in some sense and it is an extension of the result of H. Matsuda (A neighborhood condition for graphs to have [a,b]-factors, Discrete Mathematics 224 (2000) 289–292). Received: October, 2001 Final version received: September 17, 2002 RID="*" ID="*" This research was partially supported by the Ministry of Education, Science, Sports and Culture, Grant-in-Aid for Encouragement of Young Scientists, 13740084, 2001     

Deductive systems of a cone algebra — I: Semi-ℓg-cones

A semi-ℓg-cone is an algebra (C;*,:,·) of type (2, 2, 2) satisfying the equations (a*a)*b = b = b: (a: a); a*(b: c) = (a*b): c; a: (b*a) = (b: a)*b and (ab) *c = b* (a * c). An ℓ-group cone is a semi-ℓg-cone and a bounded semi-ℓg-cone is term equivalent to a pseudo MV-algebra. Also, a subset A of a semi-_g-cone C is an ideal of C if and only if it is a deductive system of its reduct (C;*,:).      

Dendriform Analogues of Lie and Jordan Triple Systems

We use computer algebra to determine all the multilinear polynomial identities of degree ≤7 satisfied by the trilinear operations (a·b)·c and a·(b·c) in the free dendriform dialgebra, where a·b is the pre-Lie or the pre-Jordan product. For the pre-Lie triple products, we obtain one identity in degree 3, and three independent identities in degree 5, and we show that every identity in degree 7 follows from the identities of lower degree. For the pre-Jordan triple products, there are no identities in degree 3, five independent identities in degree 5, and ten independent irreducible identities in degree 7. Our methods involve linear algebra on large matrices over finite fields, and the representation theory of the symmetric group.     

On additive semigroups starting parts

We present geometrical arguments suggesting that the part of the segment {0,1,…,N−1} covered by the additive semigroup generated by (a,b,c) between 0 and the Frobenius number N(a,b,c) should exceed λ V for some constant λ (which might be 1/3 or even more).      

Reciprocal polynomials with all zeros on the unit circle

Let f(x)=a _d x ^d +a _d−1 x ^d−1+⋅⋅⋅+a ₀∈ℝ[x] be a reciprocal polynomial of degree d. We prove that if the coefficient vector (a _d ,a _d−1,…,a ₀) or (a _d−1,a _d−2,…,a ₁) is close enough, in the l ¹-distance, to the constant vector (b,b,…,b)∈ℝ ^d+1 or ℝ ^d−1, then all of its zeros have moduli 1.     

Groups of typeF a,b,−c

For integersa, b andc, the groupF ^a,b,−c is defined to be the group 〈R, S : R ²=RS ^aRS^bRS^−c=1〉. In this paper we identify certain subgroups of the group of affine linear transformations of finite fields of orderp ⁿ (for certainp andn) as groups of typeF ^a,b,−c for certain (not unique) choices ofa, b andc.     

Computing commutator length in free groups

We study commutator length in free groups. (By a commutator lengthcl(g) of an element g in a derived subgroup G′ of a group G we mean the least natural number k such that g is a product of k commutators.) A purely algebraic algorithm is constructed for computing commutator length in a free group F₂ (Thm. 1). Moreover, for every element z ε F′₂ and for any natural m, the following estimate derives:cl(z^m) ≥ (ms(z) + 6)/12, where s(z) is a nonnegative number defined by an element z (Thm. 2). This estimate is used to compute commutator length of some particular elements. By analogy with the concept of width of a derived subgroup known in group theory, we define the concept of width of a derived subalgebra. The width of a derived subalgebra is computed for an algebra P of pairs, and also for its corresponding Lie algebra P_L. The algebra of pairs arises naturally in proving Theorem 2 and enjoys a number of interesting properties. We state that in a free group F_2k with free generators a₁, b₁, ..., a_k, b_k, k εN, every natural m satisfiescl(([a₁, b₁] ... [a_k, b_k])^m)=[(2 − m)/2] + mk. For k=1, this entails a known result of Culler. The notion of a growth function as applied to a finitely generated group G is well known. Associated with a derived subgroup of F₂ is some series depending on two variables which bears information not only on the number of elements of prescribed length but also on the number of elements of prescribed commutator length. A number of open questions are formulated. Supported by RFFR grant No. 98-01-00699. Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 395–440, July–August, 2000.     

Q 2-free Families in the Boolean Lattice

For a family F{{\cal F}} of subsets of [n] = {1, 2, ..., n} ordered by inclusion, and a partially ordered set P, we say that F{{\cal F}} is P-free if it does not contain a subposet isomorphic to P. Let ex(n, P) be the largest size of a P-free family of subsets of [n]. Let Q ₂ be the poset with distinct elements a, b, c, d, a < b,c < d; i.e., the 2-dimensional Boolean lattice. We show that 2N − o(N) ≤ ex(n, Q ₂) ≤ 2.283261N + o(N), where N = \binomn?n/2 ?N = \binom{n}{\lfloor n/2 \rfloor}. We also prove that the largest Q ₂-free family of subsets of [n] having at most three different sizes has at most 2.20711N members.     

A generalized beta integral on two intervals

We give an explicit formula for the expansion coefficients of a generalized beta integral on the set [−1,−b]∪[b,1] b∈(0,1), in a power series in the parameter b, thus defining a generalized beta function of two complex variables.     

The Number of Lattice Points Above the Catenary

For fixed c > 1 and for arbitrary and independent a,b ≧ 1 let Z ²|b( cosh(x/a)−c) ≦ y < 0}. We investigate the asymptotic behaviour of R(a,b) for a,b → ∞. In the special case b = o(a ^5/6) the lattice rest has true order of magnitude . This revised version was published online in June 2006 with corrections to the Cover Date.     

Triangle-free distance-regular graphs

Let Γ denote a distance-regular graph with diameter d≥3. By a parallelogram of length 3, we mean a 4-tuple xyzw consisting of vertices of Γ such that ∂(x,y)=∂(z,w)=1, ∂(x,z)=3, and ∂(x,w)=∂(y,w)=∂(y,z)=2, where ∂ denotes the path-length distance function. Assume that Γ has intersection numbers a ₁=0 and a ₂≠0. We prove that the following (i) and (ii) are equivalent. (i) Γ is Q-polynomial and contains no parallelograms of length 3; (ii) Γ has classical parameters (d,b,α,β) with b<−1. Furthermore, suppose that (i) and (ii) hold. We show that each of b(b+1)²(b+2)/c ₂, (b−2)(b−1)b(b+1)/(2+2b−c ₂) is an integer and that c ₂≤b(b+1). This upper bound for c ₂ is optimal, since the Hermitian forms graph Her₂(d) is a triangle-free distance-regular graph that satisfies c ₂=b(b+1). Work partially supported by the National Science Council of Taiwan, R.O.C.     

Invariant sets for a class of perturbed differential equations of retarded type

LetX be a Banach space and leta, b, q be real numbers such thata<b,q>0. Denote byD a locally closed subset ofX. A necessary and sufficient condition for the existence of a mild solutionu∈C([a−q, b ₁],X),a<b ₁<b, to the differential equationdu(t)/dt=Au(t)+f(t, u _t), such thatu:[a,b ₁]→D, u _a=ϕ is given. The linear operatorA is the generator of aC ₀ semigroupT(t), t≧0, withT(t) compact fort>0,f: [a, b)×C([−q,0],D _λ)→X is continuous and ϕ∈C([−q,0],D _λ) with ϕ(0)∈D. D _λ is a neighbourhood ofD. Applications to parabolic partial differential equations with retarded argument are given.