Related papers: Atomicity in integral domains
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
In this paper, we show that it is possible for a commutative ring with identity to be non-atomic (that is, there exist non-zero nonunits that cannot be factored into irreducibles) and yet have a strongly atomic polynomial extension. In…
This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…
Consider the set $M_{a,b} = \{n \in \mathbb Z_{\ge 1} : n \equiv a \bmod b\} \cup \{1\}$ for $a, b \in \mathbb Z_{\ge 1}$. If $a^2 \equiv a \bmod b$, then $M_{a,b}$ is closed under multiplication and known as an arithmetic congruence monoid…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
These results stem from a course on ring theory. Quantum planes are rings in two variables $x$ and $y$ such that $yx=qxy$ where $q$ is a nonzero constant. When $q=1$ a quantum plane is simply a commutative polynomial ring in two variables.…
In this paper, we address the challenge of obtaining a comprehensive and symmetric representation of point particle groups, such as atoms in a molecule, which is crucial in physics and theoretical chemistry. The problem has become even more…
An algebraizable singularity is a germ of a singular holomorphic foliation which can be defined in some appropriate local chart by a differential equation with algebraic coefficients. We show that there exists at least countably many…
The main purpose of this paper is investigating classes of acts that are injective relative to all embeddings with indecomposable domains or codomains. We give some homological classifications of monoids in light of such kinds of…
An algebraic theory of dualities is developed based on the notion of bond algebras. It deals with classical and quantum dualities in a unified fashion explaining the precise connection between quantum dualities and the low temperature…
Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this paper, we study the atomicity of the finitely generated…
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,…
Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection of sets closed under disjoint unions, whenever they are…
Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…
A subset $S$ of an integral domain $R$ is called a semidomain if the pairs $(S,+)$ and $(S, \cdot)$ are semigroups with identities; additionally, we say that $S$ is additively reduced provided that $S$ contains no additive inverses. Given…
Recently there has been considerable interest in studying the length and the depth of finite groups, algebraic groups and Lie groups. In this paper we introduce and study similar notions for algebras. Let $k$ be a field and let $A$ be an…
A double-index atomic partitioning of the molecular first-order density matrix is proposed. Contributions diagonal in the atomic indices correspond to atomic density matrices, whereas off-diagonal contributions carry information about the…
We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…
Molecular packing, crystallinity, and texture of semiconducting polymers are often critical to performance. Although frame-works exist to quantify the ordering, interpretations are often just qualitative, resulting in imprecise and liberal…
We give a new simple example of an atomic domain which is not ACCP. Our example is a monoid domain $F[X;M]$, where $F$ is a field and $M$ is a submonoid of the additive monoid of nonnegative rational numbers.