Related papers: Ring coproducts embedded in power-series rings

Let $\fa$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. Let $t$ be a natural integer. It is shown that there is a finite subset $X$ of $\Spec R$, such that $\Ass_R(H_{\fa}^t(M))$ is contained in…

The notion of ring endomorphisms having large images is introduced. Among others, injectivity and surjectivity of such endomorphisms are studied. It is proved, in particular, that an endomorphism S of a prime one-sided noetherian ring R is…

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…

Let $R$ be a commutative local $k$-algebra of Krull dimension one, where $k$ is a field. Let $\alpha$ be a $k$-algebra automorphism of $R$, and define $S$ to be the skew polynomial algebra $R[\theta; \alpha]$. We offer, under some…

Suppose $R$ is a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$ such that $q+q^{-1}$ is invertible. For an oriented surface $\Sigma$, let $\mathcal{S}(\Sigma;R)$ denote the Kauffman bracket skein algebra of…

Let $ \tilde{G} $ be an algebraic group acting on a variety $ \tilde{L} $, and $ G \subset \tilde{G} $ a subgroup which leaves a subvariety $ L \subset \tilde{L} $ stable. For a $ G $-orbit $ O_G = G u (u \in L) $ in $ L $, we can associate…

We associate a ring R to a log Calabi-Yau pair (X,D) or a degeneration of Calabi-Yau manifolds X->B. The vector space underlying R is determined by the tropicalization of (X,D) or X->B, while the product rule is defined using punctured…

Let $A$ and $B$ be C*-algebras and $\varphi\colon A\to B$ be a $*$-homomorphism. We discuss the properties of the kernel and (co-)image of the induced map $\mathrm{K}_{0}(\varphi)\colon \mathrm{K}_{0}(A) \to \mathrm{K}_{0}(B)$ on the level…

In this paper, we construct a local ring $A$ such that the kernel of the map $G_0(A)\subq \to G_0(\hat{A})\subq$ is not zero, where $\hat{A}$ is the comletion of $A$ with respect to the maximal ideal, and $G_0()\subq$ is the Grothendieck…

We prove that a right $R$-module $M$ is $\Sigma$-pure injective if and only if $\mathrm{Add}(M)\subseteq \mathrm{Prod}(M)$. Consequently, if $R$ is a unital ring, the homotopy category $\mathbf{K}({\mathrm{Mod}\text{-} R})$ satisfies the…

Let $\mathcal A$ be a unital algebra equipped with an involution $(\cdot)^\dagger$, and suppose that the multiplicative set $\mathcal S\subseteq \mathcal A$ generated by the elements of the form $1 + a^\dagger a$ satisfies the Ore…

We define and explore the bounded skew power series ring $R^+[[x;\sigma,\delta]]$ defined over a complete, filtered, Noetherian prime ring $R$ with a commuting skew derivation $(\sigma,\delta)$. We establish precise criteria for when this…

For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules…

A module is called automorphism-invariant if it is invariant under any automorphism of its injective hull. In [Algebras for which every indecomposable right module is invariant in its injective envelope, Pacific J. Math., vol. 31, no. 3…

Gersten's injectivity conjecture for a functor $F$ of ``motivic type'', predicts that given a semilocal, ``non-singular'', integral domain $R$ with a fraction field $K$, the restriction morphism induces an injection of $F(R)$ inside $F(K)$.…

This article establishes, for an appropriate localisation of associative rings, a long exact sequence in algebraic K-theory. The main result goes as follows. Let A be an associative ring and let A-->B be the localisation with respect to a…

Let $R$ be a ring with $char(R)\neq2$ whose unit group are denoted by $\mathcal{U}(R)$, $G$ a group, and $RG$ its group ring. Let $*$ be an involution in $G$, $\sigma:G\rightarrow\mathcal{U}(R)$ be a nontrivial group homomorphism, with…

The following representation theorem is proven: A partially ordered commutative ring $R$ is a subring of a ring of almost everywhere defined continuous real-valued functions on a compact Hausdorff space $X$ if and only if $R$ is archimedean…

We prove that the Farrell-Jones assembly map for connective algebraic K-theory is rationally injective, under mild homological finiteness conditions on the group and assuming that a weak version of the Leopoldt-Schneider conjecture holds…

The set of natural integers is fundamental for at least two reasons: it is the free induction algebra over the empty set (and at such allows definitions of maps by primitive recursion) and it is the free monoid over a one-element set, the…