Related papers: Decomposition of P{\l}onka sums into direct system…
Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach that combines numerical algebraic geometry and sums of squares…
We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…
A decomposition of a natural number n is a sequence of consecutive natural numbers that sums to n. We construct a one-to-one correspondence between the odd factors of a natural number and its decompositions. We study the decompositions by…
This is a little investigation into the classification of complexes of direct sums of line bundles on projective spaces. We consider complexes on projective k-space Pk : O_Pk(-1)^a --> O_Pk^b --> O_Pk(1)^c, with the first map injective and…
The theory of direct decomposition of a centrally orthocomplete effect algebra into direct summands of various types utilizes the notion of a type-determining (TD) set. A pseudo-effect algebra (PEA) is a (possibly) noncommutative version of…
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…
We study generalized sums of linear orders. These are binary operations that, given linear orders $A$ and $B$, return an order $A \oplus B$ that can be decomposed as an isomorphic copy of $A$ interleaved with a copy of $B$. We show that…
A sum-and-distance system is a collection of finite sets of integers such that the sums and differences formed by taking one element from each set generate a prescribed arithmetic progression. Such systems, with two component sets, arise…
The alternating and non-alternating harmonic sums and other algebraic objects of the same equivalence class are connected by algebraic relations which are induced by the product of these quantities and which depend on their index calss…
We discuss a formal system of mathematics. We use it to construct the natural numbers.
We prove that a countable direct sum of chains has either one, countably many or else continuum many isomorphism classes of siblings. This proves Thomass\'e's conjecture for such structures. Further, we show that a direct sum of chains of…
We introduce an algebra model to study higher order sum rules for orthogonal polynomials on the unit circle. We build the relation between the algebra model and sum rules, and prove an equivalent expression on the algebra side for the sum…
We study the algebraic structure of the Poisson algebra P(O) of polynomials on a coadjoint orbit O of a semisimple Lie algebra. We prove that P(O) splits into a direct sum of its center and its derived ideal. We also show that P(O) is…
The reduction of nonholonomic systems is formulated in terms of Dirac reduction. An optimal reduction method for a class of nonholonomic systems is formulated. Several examples are studied in detail.
We consider the problem of simultaneous direct sum decomposition of a set of multivariate polynomials. To this end, we extend Harrison's center theory for a single homogeneous polynomial to this broader setting. It is shown that the center…
We introduce the concept of a direct $C_{\omega}^{\ast}$-system and show that every non-separable unital $C^{\ast}$-algebra is the limit of essentially unique direct $C_{\omega}^{\ast}$-system. This result is then applied to the problem of…
An algebra $A$ is said to be directly finite if each left invertible element in the (conditional) unitization of $A$ is right invertible. We show that the reduced group ${\rm C}^\ast$-algebra of a unimodular group is directly finite,…
The purpose of this note is to give a short proof of a theorem of Koll\'ar that the derived direct image of the canonical sheaf splits into a sum of its cohomology sheaves. This is deduced from a stronger decomposition theorem for direct…
A mathematical method for constructing fractal curves and surfaces, termed the $p\lambda n$ fractal decomposition, is presented. It allows any function to be split into a finite set of fractal discontinuous functions whose sum is equal…
We derive the algebraic relations of alternating and non-alternating finite harmonic sums up to the sums of depth~6. All relations for the sums up to weight~6 are given in explicit form. These relations depend on the structure of the index…