Related papers: Distinct orders dividing each other on both sides
We study P-groupoids that arise from certain decompositions of complete graphs. We show that left distributive P-groupoids are distributive, quasigroups. We characterize P-groupoids when the corresponding decomposition is a Hamiltonian…
Results of research of possibility of transformation of a difference equation into a system of the first-order difference equation are presented. In contrast to the method used previously, an unknown grid function is split into two new…
Let $(X,B)$ be a log canonical pair and $\mathcal{V}$ be a finite set of divisorial valuations with log discrepancy in $[0,1)$. We prove that there exists a projective birational morphism $\pi \colon Y\rightarrow X$ so that the exceptional…
Given a Weil non-integral divisor $D$, it is natural to associate it the line bundle of its integral part $\mathcal{O}_X([D])$. In this work we study which of the classical characterizations of ample and big divisors can be extended to…
This is a concise introduction to the theory of Lie groupoids, with emphasis in their role as models for stacks. After some preliminaries, we review the foundations on Lie groupoids, and we carefully study equivalences and proper groupoids.…
Using geometric methods for linearizing systems of second order cubically semi-linear ordinary differential equations, we extend to the third order by differentiating the second order equation. This yields criteria for linearizability of a…
By introducing suitable non-isospectral flows we construct two sets of symmetries for the isospectral differential-difference Kadomstev-Petviashvili hierarchy. The symmetries form an infinite dimensional Lie algebra.
It is proven that second-order vectorial nonlinear differential systems y''=f(y) , possess a continuum of symmetric solutions. They are shown to possess a continuum of even solutions. If f(y) is an odd function of y , then y''=f(y) is shown…
By establishing relations between operators on compositions, we show that the posets of compositions arising from the right and left Pieri rules for noncommutative Schur functions can each be endowed with both the structure of dual graded…
In this article, we give a precise mathematical meaning to `linear? time' that matches experimental behaviour of the algorithm. The sorting algorithm is not our own, it is a variant of radix sort with counting sort as a subroutine. The true…
In this article, we study "questionable representations" of (partial or total) orders, introduced in our previous article "A class of orders with linear? time sorting algorithm". (Later, we consider arbitrary binary functional/relational…
A subsemigroup S of a semigroup Q is a left order in Q and Q is a semigroup of left quotients of S if every element of Q can be expressed as a# b where a and b are elements of S and if, in addition, every element of S that is square…
We investigate finite right-distributive binary algebraic structures called shelves. We first use symbolic computations with Python to classify (up to isomorphism) all connected shelves with order less than six. We explore the group…
This paper studies tree-automatic ordinals (or equivalently, well-founded linearly ordered sets) together with the ordinal addition operation +. Informally, these are ordinals such that their elements are coded by finite trees for which the…
We study three natural bi-invariant partial orders on a certain covering group of the automorphism group of a bounded symmetric domain of tube type; these orderings are defined using the geometry of the Shilov boundary, Lie semigroup theory…
We define a class of multivariate Laurent polynomials closely related to Chebyshev polynomials, and prove the simple but somewhat surprising (in view of the fact that the signs of the coefficients of the Chebyshev polynomials themselves…
We discuss the question whether left-orderable groups satisfying a nontrivial law are locally indicable.
We construct a metrizable semitopological semilattice $X$ whose partial order $P=\{(x,y)\in X\times X:xy=x\}$ is a non-closed dense subset of $X\times X$. As a by-product we find necessary and sufficient conditions for the existence of a…
It is expected that a totally invariant divisor of a non-isomorphic endomorphism of the complex projective space is a union of hyperplanes. In this paper, we compute an upper bound for the degree of such a divisor. As a consequence, we…
In this paper, it is shown that non-isomorphic effective linear circle actions yield non-diffeomorphic differential structures on the corresponding orbit spaces.