# Tagged Questions

41 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 ...
41 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 ...
122 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 ...
68 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 ...
73 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 ...
36 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 ...
97 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 ...
68 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 ...
54 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 ...
71 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 ...
57 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 ...
92 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 ...
151 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 ...
51 views

60 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 ...
147 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 ...
129 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 ...
63 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 ...
26 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 ...
199 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)$)
765 views

247 views

### Some isomorphism conditions

Here I want to ask some true or false problems regarding isomorphisms (and if false, is there some extra condition to make it true). I do not what is the correct title for these problem. And I also ...