Commutative medial ternary groupoids

The paper studies the class of commutative medial ternary groupoids. A construction of ternary semiterms is given and it is proved that the equational theory of medial commutative ternary groupoids is solvable, namely, an algorithm is found, which in allmedial commutative ternary groupoids verifies the validity of the identity u = v for any pair (u, v) of terms. A construction of free medial commutative ternary groupoids is given, and it is proved that anymedial commutative ternary groupoid has a convex linear representation.     

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     

A note on the convolution theorem for the Fourier transform

In this paper we characterize those bounded linear transformations Tf carrying L ¹(ℝ¹) into the space of bounded continuous functions on ℝ¹, for which the convolution identity T(f * g) = Tf · Tg holds. It is shown that such a transformation is just the Fourier transform combined with an appropriate change of variable.     

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.     

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.     

Semisummands and semiideals in banach spaces

Let |·| be a fixed absolute norm onR ². We introduce semi-|·|-summands (resp. |·|-summands) as a natural extension of semi-L-summands (resp.L-summands). We prove that the following statements are equivalent. (i) Every semi-|·|-summand is a |·|-summand, (ii) (1, 0) is not a vertex of the closed unit ball ofR ² with the norm |·|. In particular semi-L ^p-summands areL ^p-summands whenever 1<p≦∞. The concept of semi-|·|-ideal (resp. |·|-ideal) is introduced in order to extend the one of semi-M-ideal (resp.M-ideal). The following statements are shown to be equivalent. (i) Every semi-|·|-ideal is a |·|-ideal, (ii) every |·|-ideal is a |·|-summand, (iii) (0, 1) is an extreme point of the closed unit ball ofR ² with the norm |·|. From semi-|·|-ideals we define semi-|·|-idealoids in the same way as semi-|·|-ideals arise from semi-|·|-summands. Proper semi-|·|-idealoids are those which are neither semi-|·|-summands nor semi-|·|-ideals. We prove that there is a proper semi-|·|-idealoid if and only if (1, 0) is a vertex and (0, 1) is not an extreme point of the closed unit ball ofR ² with the norm |·|. So there are no proper semi-L ^p-idealoids. The paper concludes by showing thatw*-closed semi-|·|-idealoids in a dual Banach space are semi-|·|-summands, so no new concept appears by predualization of semi-|·|-idealoids.     

Slim groupoids

Slim groupoids are groupoids satisfying x(yz) ≈ xz. We find all simple slim groupoids and all minimal varieties of slim groupoids. Every slim groupoid can be embedded into a subdirectly irreducible slim groupoid. The variety of slim groupoids has the finite embeddability property, so that the word problem is solvable. We introduce the notion of a strongly nonfinitely based slim groupoid (such groupoids are inherently nonfinitely based) and find all strongly nonfinitely based slim groupoids with at most four elements; up to isomorphism, there are just two such groupoids. The work is a part of the research project MSM0021620839 financed by MSMT.     

Periodic lattice-ordered pregroups are distributive

It is proved that any lattice-ordered pregroup that satisfies an identity of the form x ^ll···l = x ^rr···r (for the same number of ^l,r -operations on each side) has a lattice reduct that is distributive. It follows that every such ?-pregroup is embedded in an ?-pregroup of residuated and dually residuated maps on a chain.     

On the equivalence of measures on loop space

Let K be a simply-connected compact Lie Group equipped with an Ad _K -invariant inner product on the Lie Algebra ?, of K. Given this data, there is a well known left invariant “H ¹-Riemannian structure” on L(K) (the infinite dimensional group of continuous based loops in K), as well as a heat kernel ν_T(k ₀, ·) associated with the Laplace-Beltrami operator on L(K). Here T > 0, k ₀∈L(K), and ν _T (k ₀, ·) is a certain probability measure on L(K). In this paper we show that ν₁(e,·) is equivalent to Pinned Wiener Measure on K on ? _s0 ≡<x _t : t∈ [0, s ₀]> (the σ-algebra generated by truncated loops up to “time”s ₀). Recevied: 9 September 1999 / Revised version: 13 March 2000 / Published online: 22 November 2000     

Degree sequences of graphs and dominance order

Suppose that the graphical partition H(A) = (a₂¹ ≥ ··· ≥ a_n¹) arises from A = (a₁ ≥ ··· ≥ a_n) by deleting the largest summand a₁ from A and reducing the a₁ largest of the remaining summands by one. Let (a_i+1′ ≥ ··· ≥ a_n′) = H′(A) denote the partition obtained by applying the operator H i times. We prove that the dominance order of partitions is preserved when we switch from A to (a₁ ≥ a₂¹ ≥ ··· ≥ a_i+1′ ≥ ···) =: E(A). This generalizes a recent result by Favaron, Mahéo, and Saclé on the residue of a graph. © 1996 John Wiley & Sons, Inc.     

Abelian and Hamiltonian groupoids

In this work, we investigate some groupoids that are Abelian algebras and Hamiltonian algebras. An algebra is Abelian if for every polynomial operation and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} the implication t( a,[`(c)] ) = t( a,[`(d)] ) T t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \Rightarrow t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) holds. An algebra is Hamiltonian if every subalgebra is a block of some congruence on the algebra. R. J. Warne in 1994 described the structure of the Abelian semigroups. In this work, we describe the Abelian groupoids with identity, the Abelian finite quasigroups, and the Abelian semigroups S such that abS = aS and Sba = Sa for all a, b ∈ S. We prove that a finite Abelian quasigroup is a Hamiltonian algebra. We characterize the Hamiltonian groupoids with identity and semigroups under the condition of Abelianity of these algebras.     

On Asymptotic Behavior for Singularities of the Powers of Mean Curvature Flow

Let M^n be a smooth, compact manifold without boundary, and F0 ： M^n→ R^n＋1 a smooth immersion which is convex. The one-parameter families F（·, t） ： M^n× [0, T） → R^n＋1 of hypersurfaces Mt^n= F（·,t）（M^n） satisfy an initial value problem dF/dt （·,t） = -H^k（· ,t）v（· ,t）, F（· ,0） = F0（· ）, where H is the mean curvature and u（·,t） is the outer unit normal at F（·, t）, such that -Hu = H is the mean curvature vector, and k 〉 0 is a constant. This problem is called H^k-fiow. Such flow will develop singularities after finite time. According to the blow-up rate of the square norm of the second fundamental forms, the authors analyze the structure of the rescaled limit by classifying the singularities as two types, i.e., Type Ⅰ and Type Ⅱ. It is proved that for Type Ⅰ singularity, the limiting hypersurface satisfies an elliptic equation; for Type Ⅱ singularity, the limiting hypersurface must be a translating soliton.     

On the Constructive Inverse Problem in Differential Galois Theory#

We give sufficient conditions for a differential equation to have a given semisimple group as its Galois group. For any group G with G ⁰ = G ₁ · ··· · G _r , where each G _i is a simple group of type A_?, C_?, D_?, E₆, or E₇, we construct a differential equation over C(x) having Galois group G.     

Laplacians on the holomorphic tangent bundle of a Kaehler manifold

Let M be a connected complex manifold endowed with a Hermitian metric g. In this paper, the complex horizontal and vertical Laplacians associated with the induced Hermitian metric 〈·, ·〉 on the holomorphic tangent bundle T ^1,0 M of M are defined, and their explicit expressions are obtained. Using the complex horizontal and vertical Laplacians associated with the Hermitian metric 〈·, ·〉 on T ^1,0 M, we obtain a vanishing theorem of holomorphic horizontal p forms which are compactly supported in T ^1,0 M under the condition that g is a Kaehler metric on M.     

Regular reals

Say that α is an n‐strongly c. e. (n‐strongly computably enumerable) real if α is a sum of n many strongly c. e. reals, and that α is regular if α is n‐strongly c. e. for some n. Let Sⁿ be the set of all n‐strongly c. e. reals, Reg be the set of regular reals and CE be the set of c. e. reals. Then we have: S¹ ? S² ? · · · ? Sⁿ ? · · · ? ? Reg ? CE . This gives a hierarchy of the c. e. reals. We also study the regularity of the d. c. e. reals. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Best Constants in the Miranda-Agmon Inequalities for Solutions of Elliptic Systems and the Classical Maximum Modulus Principle for Fluid and Elastic Half-spaces

The Dirichlet problem for elliptic systems of the second order with constant real and complex coefficients in the half-space  ^k ₊ = {x = (x ₁,…,x_k ): x_k > 0} is considered. It is assumed that the boundary values of a solution u = (u ₁,…,u _m) have the form ψ ₁ ξ ₁ + · · · + ψ _n ξ _n, 1 ≤ n ≤ m, where ξ ₁,· · ·,ξ _n is an orthogonal system of m-component normed vectors and ψ ₁,· · ·,ψ _n are continuous and bounded functions on ? ^k ₊. We study the mappings [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m and [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m generated by real and complex vector valued double layer potentials. We obtain representations for the sharp constants in inequalities between |u(x)| or |(z, u(x))| and ∥u| _xk =₀∥, where z is a fixed unit m-component vector, | · | is the length of a vector in a finite-dimensional unitary space or in Euclidean space, and (·,·) is the inner product in the same space. Explicit representations of these sharp constants for the Stokes and Lamé systems are given. We show, in particular, that if the velocity vector (the elastic displacement vector) is parallel to a constant vector at the boundary of a half-space and if the modulus of the boundary data does not exceed 1, then the velocity vector (the elastic displacement vector) is majorised by 1 at an arbitrary point of the half-space. An analogous classical maximum modulus principle is obtained for two components of the stress tensor of the planar deformed state as well as for the gradient of a biharmonic function in a half-plane.     

Lower-semicontinuity result for the two-scale convergence

Let (m, n) ∈ ℕ², Ω an open bounded domain in ℝ^m , Y = [0, 1]^m ; u^ε in (L²(Ω))ⁿ which is two-scale converges to some u in (L²(Ω × Y))ⁿ . Let φ: Ω × ℝ^m × ℝⁿ → ℝ such that: φ(x, ·, ·) is continuous a.e. x ∈ Ω φ(·, y, z) is measurable for all (y, z) in ℝ^m × ℝⁿ , φ(x, ·, z) is 1-periodic in y, φ(x, y, ·) is convex in z. Assume that there exist a constant C₁ > 0 and a function C₂ ∈ L²(Ω) such that

     

An analog of the fundamental theorem of arithmetic in ordered groupoids

In the note we consider ordered groupoids with the Riesz interpolation property, that is, ifa _i ≤b _j (i, j=1,2), then there exists ac such thata _i ≤c≤b _j (i, j=1,2). For such groupoids possessing the descending chain condition for the positive cone and the property

Homotopiemengen von Multiplikationen auf Sphären und ihre algebraische Struktur

In an earlier paper [E4] we introduced an algebraic structure on sets of homotopy classes [S ^p ×S ^q ;S ⁿ ], given by the reflecting product on spheresS ⁿ , which makes these sets symmetric groupoids. In this article we determine precisely the algebraic structure of the symmetric groupoids ([S ⁿ ×S ⁿ ;S ⁿ ], ) forn 1, 3, 7.

     

Vector Lattice Powers: f-Algebras and Functional Calculus

Let s ∈ {2.3,…} and E be an Archimedean vector lattice. We prove that there exists a unique pair (E ^? ,?), where E ^? is an Archimedean vector lattice and ?:E× ··· ×E (s times) → E ^? is a symmetric lattice s-morphism, such that for every Archimedean vector lattice F and every symmetric lattice s-morphism T:E × ··· × E (s times) → F, there exists a unique lattice homomorphism T ^? :E ^?  → F such that T = T ^? ○?. We give two approaches to construct (E ^? ,?) based on f-algebras and functional calculus, respectively, provided that E is also uniformly complete.