相关论文: Commutative unital rings elementarily equivalent t…
We introduce a category of noncommutative bundles. To establish geometry in this category we construct suitable noncommutative differential calculi on these bundles and study their basic properties. Furthermore we define the notion of a…
We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…
The Feferman-Vaught theorem provides a way of evaluating a first order sentence $\varphi$ on a disjoint union of structures by producing a decomposition of $\varphi$ into sentences which can be evaluated on the individual structures and the…
For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…
We introduce the class of epsilon-strongly graded rings and show that it properly contains both the class of strongly graded rings and the class of unital partial crossed products. We determine precisely when an epsilon-strongly graded ring…
Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…
In the current article we study structure of a Chevalley group $G(R)$ over a commutative ring $R$. We generalize and improve the following results: (1) standard, relative, and multi-relative commutator formulas; (2) nilpotent structure of…
For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous…
We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product…
A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting…
This article is devoted to the investigation of semidirect products of groups of loops and groups of diffeomorphisms of finite and infinte dimensional real, complex and quaternion manifolds. Necessary statements about quaternion manifolds…
In what follows we generalize the notion of a complemented ring to rings that are not necessarily reduced. We then determine how our concepts fit in with other well-known classes of rings.
Composed ensembles of random unitary matrices are defined via products of matrices, each pertaining to a given canonical circular ensemble of Dyson. We investigate statistical properties of spectra of some composed ensembles and demonstrate…
The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of $E_\infty$-ring spectra in various ways. In this work we first establish,…
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
Let $R$ be an associative ring with unity $1$ and consider $k\in \mathbb{N}$ such that $1+1+..+1=k$ is invertible. Denote by $\omega$ an arbitrary kth root of unity in $R$ and let $UT^{(k)}_{\infty}(R)$ be the group of upper triangular…
We gather some classical results and examples that show strict inclusion between the families of unital rings, rings with enough idempotents, rings with sets of local units, locally unital rings, s-unital rings and idempotent rings.
This paper investigates coherent-like conditions and related properties that a trivial extension might inherit from the ground ring over some classes of modules. It captures previous results dealing primarily with coherence, and also…
In this paper, we describe families of those bounded linear operators on a separable Hilbert space that are simultaneously unitarily equivalent to integral operators on $L_2(R)$ with bounded and arbitrarily smooth Carleman kernels. The main…