相关论文: A new simple example of an atomic domain which is …

A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. For a finite simple semigroup we find necessary and sufficient conditions to be an equational domain. Moreover, we study semigroups…

The physical regions (domains or basins) within the molecular structure are open systems that exchange charge between them and consequently house a fractional number of electrons (net charge). The natural framework describing the quantum…

Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero…

In this paper the stable extended domain of a noncommutative rational function is introduced and it is shown that it can be completely described by a monic linear pencil from the minimal realization of the function. This result amends the…

Let $K=\mathbb{Q}(\alpha)$ be a number field generated by a complex root $\alpha$ of a monic irreducible polynomial $f(x)=x^{12}-m$, with $m\neq 1$ is a square free rational integer. In this paper, we prove that if $m \equiv 2$ or $3$ (mod…

We give an example of an aleph-zero-categorical theory which is not G-compact. The countable model of this theory does not have AZ-enumerations.

We combine the language of monoids with the language of preorders so as to refine some fundamental aspects of the classical theory of factorization and prove an abstract factorization theorem with a variety of applications. In particular,…

This article presents the systematic design of a class of relational numerical abstract domains from non-relational ones. Constructed domains represent sets of invariants of the form (vj - vi in C), where vj and vi are two variables, and C…

We survey results on factorizations of non zero-divisors into atoms (irreducible elements) in noncommutative rings. The point of view in this survey is motivated by the commutative theory of non-unique factorizations. Topics covered include…

In this paper, a semigroup algebra consisting of polynomial expressions with coefficients in a field $F$ and exponents in an additive submonoid $M$ of $\mathbb{Q}_{\ge 0}$ is called a Puiseux algebra and denoted by $F[M]$. Here we study the…

We demonstrate a class of local (Noetherian) unique factorization domains (UFDs) that are noncatenary at infinitely many places. In particular, if $A$ is in our class of UFDs, then the prime spectrum of $A$ contains infinitely many disjoint…

In recent years, a new approach to the theory of nuclear reactions leading to a break-down of the interacting subsytems into various channels has been developed. This approach was named the Antisymmetrized Molecular Dynamic (AMD), and its…

Let A be a finitely generated commutative algebra over a field K with a presentation A=K < X_{1}, ..., X_{n} | R >, where R is a set of monomial relations in the generators X_{1}, ..., X_{n}. So A = K[S], the semigroup algebra of the monoid…

We employ constrained path Auxiliary Field Quantum Monte Carlo (AFQMC) in the pursuit of studying physical nuclear systems using a lattice formalism. Since AFQMC has been widely used in the study of condensed-matter systems such as the…

We study classes of atomic models At_T of a countable, complete first-order theory T . We prove that if At_T is not pcl-small, i.e., there is an atomic model N that realizes uncountably many types over pcl(a) for some finite tuple a from N,…

A number field $K$ is called \emph{monogenic} if its ring of integers $\mathbb{Z}_K$ can be expressed as a simple ring extension $\mathbb{Z}[\alpha]$ for some $\alpha \in \mathbb{Z}_K$. A monic irreducible polynomial $f(x)\in\mathbb{Z}[x]$…

A CP semigroup is a semigroup of normal unit-preserving completely positive maps acting on the algebra B(H) of all operators on a separable Hilbert space H. Such a semigroup has a natural generator L; since the individual maps of the…

In 2008 N.~Q.~Chinh and P.~H.~Nam characterized principal ideal domains as integral domains that satisfy the follo\-wing two conditions: (i) they are unique factorization domains, and (ii) all maximal ideals in them are principal. We…

We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron domain. While abstract transfer functions are still rather…

Endowed with the binary operation of set addition, the family $\mathcal P_{{\rm fin},0}(\mathbb N)$ of all finite subsets of $\mathbb N$ containing $0$ forms a monoid, with the singleton $\{0\}$ as its neutral element. We show that the only…