An elegant 3-basis for inverse semigroups

It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities: [\quad x=(xx')x \qquad \quad (xx')(y'y)=(y'y)(xx') \qquad \quad (xy)z=x(yz"). ] The goal of this note is to prove the converse, that is, we prove that an algebra of type $$ satisfying these three identities is an inverse semigroup and the unary operation coincides with the usual inversion on such semigroups.Comment: 4 pages; v.2: fixed abstract; v.3: final version with minor changes suggested by referee, to appear in Semigroup Foru

Completely inverse AG∗∗AG^{**}-groupoids

A completely inverse $AG^{**}$-groupoid is a groupoid satisfying the identities $(xy)z=(zy)x$, $x(yz)=y(xz)$ and $xx^{-1}=x^{-1}x$, where $x^{-1}$ is a unique inverse of $x$, that is, $x=(xx^{-1})x$ and $x^{-1}=(x^{-1}x)x^{-1}$. First we study some fundamental properties of such groupoids. Then we determine certain fundamental congruences on a completely inverse $AG^{**}$-groupoid; namely: the maximum idempotent-separating congruence, the least $AG$-group congruence and the least $E$-unitary congruence. Finally, we investigate the complete lattice of congruences of a completely inverse $AG^{**}$-groupoids. In particular, we describe congruences on completely inverse $AG^{**}$-groupoids by their kernel and trace

Phase space analysis and functional calculus for the linearized Landau and Boltzmann operators

In many works, the linearized non-cutoff Boltzmann operator is considered to behave essentially as a fractional Laplacian. In the present work, we prove that the linearized non-cutoff Boltzmann operator with Maxwellian molecules is exactly equal to a fractional power of the linearized Landau operator which is the sum of the harmonic oscillator and the spherical Laplacian. This result allows to display explicit sharp coercive estimates satisfied by the linearized non-cutoff Boltzmann operator for both Maxwellian and non-Maxwellian molecules.Comment: arXiv admin note: text overlap with arXiv:1111.042