# Tagged Questions

58 views

### Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
42 views

### Is this a fruitful enrichment of $R[X]$?

Let $R$ be a commutative ring. Then polynomial ring $R\left[X\right]$ can be looked at as an $R$-algebra free over a singleton. If $S$ is another $R$-algebra then for any element $s\in S$ there is a ...
43 views

### Relative topological tensor product

I know that for a pair of topological rings $R$ and $R'$ (perhaps with some additional topological/functional-analytic hypothesis on them?) there exist two topological tensor produts, the injective ...
118 views

### Localization and direct limit

Let $A$ be a ring. Let $I$ be a preordered set, filtering. Let $\Sigma$ a multiplicative subset of $A$. Suppose for any given $i \in I$ a multiplicative subset $S_i$ of $A$ contained ...
69 views

### Defining algebras over noncommutative rings

A definition of "algebra" (that is, an associative algebra, in the sense of ring theory) generally requires a commutative base ring. But there are cases where it's reasonable to consider algebras ...
152 views

### What kind of object is the kernel of a ring homomorphism?

The category $\mathbf{Grp}$ of groups has a zero object, namely the trivial group $1$. Since $\mathbf{Grp}$ is furthermore complete, we have the notion of a kernel of a group homomorphism. The kernel ...
106 views

### Are there categorifications of prime or irreducible elements (of a ring, say)?

I'm very sorry if this is a duplicate in any way or is otherwise a stupid question. I've looked around (for quite a while) but . . . no luck. There's a categorification of what it means to be an ...
72 views

38 views

### Alternative proof for localization isomorphism

Let $f$ be an $A$-module morphism and $\operatorname{res}_{A_m}^A$ be the restriction of scalars functor from $A_m$-mod to $A$-mod. I'm curious if you have proven that for every maximal ideal ...
63 views

### When are all ring homomorphisms also algebra homomorphisms?

Let $k$ be an algebraically closed field, and let $A,B$ be two unitary $k$-algebras. In general, there are more ring homomorphisms $A\to B$ than there are $k$-algebra homomorphisms. More precisely, ...
58 views

### In a Morita context ($A, B, P, Q, f, g$), why are $P$ and $Q$ projective if $f$ is surjective?

The title probably says it all :). This is probably a very very simple question, please bear with me. Let $(A, B, P, Q, f, g)$ be a Morita context (or pre-equivalence data) as defined by Hyman Bass in ...
43 views

### Prime Ideals as Ring theoretic Ultrafilters

I am confused by the following statement in Awodey's Category Theory p. 35: Ring homomorphisms $A\to \mathbb Z$ into the initial ring $\mathbb Z$ play an analogous and equally important role [to ...
48 views

### Coproducts and direct products

Is the arbitrary direct sum of modules a submodule of their coproduct? Ie is $\underset{i \in I}{\coprod} M_i \cong \underset{i \in I}{\bigoplus} M_i$... if not then if each $M_i$ where to be ...
136 views

### $B\otimes_A A[x]=B[x]$

Let $A\rightarrow B$ be a homomorphism of commutative rings. Then $B\otimes_A A[x]\cong B[x]$ as $B$-algebras. How can one demonstrate this nicely, i.e. using universal properties alone and the Yoneda ...
85 views

### The infinite Direct Sum in the category Ring

If you don't have strong personal feelings about it already, most of you have at least witnessed the opposing factions on how we should define a ring and, by extension, how we should define a ring ...
78 views

### How general are $\mathrm{Aut}$ groups and $\mathrm{End}$ rings?

For any locally small category $X$ and object $A\in X$ the set $\mathrm{Aut}_X(A)$ is a group w.r.t. composition $\circ$. For any locally small abelian category $X$ and object $A\in X$ the set ...
39 views

### Proof that the localization $R_S$ is naturally isomorphic to the localization at the saturation $R_{\overline{S}}$?

Localizations have the universal property that if $S$ is a multiplicative subset of a commutative ring $R$, and $i\colon S\to R$ is the canonical embedding, then if $g\colon R\to T$ is any map such ...
134 views

### How to construct the coproduct of two (non-commutative) rings

How to construct/describe the coproduct of two - not necessarily commutative - rings $R$ and $S$? This in category $\mathbf{Rng}$ having as objects rings with a unit and as arrows unitary ...
74 views

### How to look at a polynomial ring based on a ring that is not commutative?

When I first met polynomial rings $R[X]$ I wondered: 'where do they come from?' Later the idea that - if $R$ is commutative - they could be interpreted as $R$-algebras free over a singleton brought ...
59 views

### Is there a special name for ring homomorphisms $f : R \rightarrow S$ with $f^*(C(R)) \subseteq C(S)$?

Edit. For some reason, I called the functor $F$ described below a full functor as opposed to a faithful functor. The problem has now been corrected. For any ring $R$, let $C(R)$ denote the center of ...
87 views

### Lie algebra of Derivations as a functor?

To an associative algebra $A$ one can associate a Lie algebra $\operatorname{Der} A$ of all derivations $D:A\to A$. To any morphism of associative algebras $\alpha:A\to B$, how can one associate a ...
60 views

### Morita theory for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting? I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...
117 views

### Polynomial ring and the free algebra

In the Algebra book of Mac Lane there is an exercise in Chap. IV which tells me to construct a polynomial ring $A[X]$ for any set (not necessarily finite) $X$ ($A$ a ring), and to give correct the ...
264 views

### How to construct polynomial ring $K[x]$ over commutative ring $K$ by making use of universal arrows.

In CWM of Mac Lane I encounter: the construction of a polynomial ring $K\left[x\right]$ in an indeterminate $x$ over a commutative ring $K$ is a universal construction. Unfortunately this ...
55 views

63 views

### Functors that have a natural Isomorphism

Find different functors $T, S: Rng \rightarrow Rng$ both identity on objects IE: for each ring $R, T(R)=S(R)=R$, such that there is a natural isomorphism between T and S. I know that a natural ...
156 views

### What does it mean for a ring to be unital?

What is the category of unital rings like? I only know that it no more has a terminal object. But what about the products and coproducts? Are they as usual, different or nonexistent? In Gelfand ...
145 views

### Grothendieck group of a symmetric monoidal category is a lambda ring?

I understand that taking the Grothendieck group of a braided monoidal (abelian) category gives us a commutative ring and that taking that of a symmetric monoidal (abelian) category gives us a ...
65 views

### $M\cong_{R\operatorname{-Mod}}N$ if and only if $M\cong_{\operatorname{Ab}}N$ (Warning: This statement is FALSE!)

I was rather surprised by the fact that two modules are isomorphic if and only if their abelian group structures are isomorphic. I might just sketch the proof here. Given a ring homomorhpism ...
27 views

### Generators of equivalent rings

Let $A, B$ two rings. I know that $G \in \operatorname{mod}-A$ is a generator for $\operatorname{mod}-A$ if and only if $\operatorname{Hom}(G,-)$ is a faithful functor from $\operatorname{mod}-A$ to ...
291 views

### Examples of Morita equivalent rings

Can someone give some examples of Morita equivalent rings different from the classical one? (i.e. that a ring $R$ is Morita equivalent to the ring $M_n(R)$)