Related papers: Atomicity in integral domains
To constitute atoms of a $\sigma$ algebra is not a easy task due to the large number of its elements. However, determining them via generators seems a feasible and simple way since most $\sigma$ algebras are generated by their smaller…
Idempotent elements play a fundamental role in ring theory, as they encode significant information about the underlying algebraic structure. In this paper, we study idempotent matrices from two perspectives. First, we analyze the partially…
The integrability condition called shape invariance is shown to have an underlying algebraic structure and the associated Lie algebras are identified. These shape-invariance algebras transform the parameters of the potentials such as…
Algebraic independence is an advanced notion in commutative algebra that generalizes independence of linear polynomials to higher degree. Polynomials {f_1, ..., f_m} \subset \F[x_1, ..., x_n] are called algebraically independent if there is…
We determine many of the atoms of the algebraic lattices arising in $\mathfrak{q}$-theory of finite semigroups.
Modern quantum chemistry can make quantitative predictions on an immense array of chemical systems. However, the interpretation of those predictions is often complicated by the complex wave function expansions used. Here we show that an…
Let H be an algebraic group scheme over a field k acting on a commutative k-algebra A which is a unique factorisation domain. We show that, under certain mild assumptions, the monoid of nonzero H-stable principal ideals in A is free…
We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together…
The gauge invariant observables of the closed bosonic string are quantized without anomalies in four space-time dimensions by constructing their quantum algebra in a manifestly covariant approach. The quantum algebra is the kernel of a…
For a commutative domain $R$ with nonzero identity and $I$ an ideal of $R$, we say $a=\lambda b_1 \cdots b_k$ is a $\tau_I$-factorization of $a$ if $\lambda \in R$ is a unit and $b_i \equiv b_j$(mod $I$) for all $1\leq i \leq j \leq k$.…
This paper unites two research lines. The first involves finding categorical models of quantum programming languages and their type systems. The second line concerns the program of quantization of mathematical structures, which amounts to…
We aim at studying collections of algebraic structures defined over a commutative ring and investigating the complexity of significant constructions carried out on these objects. The assignment of measures of size, via a multiplicity…
Drawing inspiration from Emmy Noether'set-theoretic foundations for algebra and Charles Ehresmann's topology without points, we adopt a new order-theoretic approach to ideal theory. For this we emphasize the order of divisibility in…
We study atomic decompositions in Fr\'echet spaces and their duals, as well as perturbation results. We define shrinking and boundedly complete atomic decompositions on a locally convex space, study the duality of these two concepts and…
We construct a counter example showing, for the quadratic quantization, the identity $(\Gamma(T))^*= \Gamma(T^*)$ is not necessarily true. We characterize all operators on the one-particle algebra whose quadratic quantization are…
In this paper we put forward a new solution of the well-known problem of relevant logics, i.e. we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the…
The assumption of complete domain knowledge is not warranted for robot planning and decision-making in the real world. It could be due to design flaws or arise from domain ramifications or qualifications. In such cases, existing planning…
We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure $M$. We prove that if $T$ is a complete $L$-theory, then $T$ is mutually algebraic if and only if there is some model $M$ of $T$ for…
In quantum electrodynamics a classical part of the S-matrix is normally factored out in order to obtain a quantum remainder that can be treated perturbatively without the occurrence of infrared divergences. However, this separation, as…
In the setting of product systems over group-embeddable monoids, we consider nuclearity of the associated Toeplitz C*-algebra in relation to nuclearity of the coefficient algebra. Our work goes beyond the known cases of single…