All Questions
Tagged with limits-colimits ring-theory
27
questions
1
vote
0
answers
57
views
Non trivial colimit for rings in a finite diagram
I’m trying to understand the concept of colimits for commutative rings, but unable to find a colimit(or at least a compliment) for a finite diagram of rings, is there a(non trivial) example for a ...
-1
votes
1
answer
69
views
Is there a direct limit in the category of rings for hypercomplex numbers [closed]
I recently learned about the concept limits in categories. From R we can construct C the H etc... by iterating the Cayley-Dickson construction.
My question is: Can we construct a (non-associative)ring ...
0
votes
1
answer
74
views
Does profinite integer multiplication have integer "eigenvalues" in general?
Suppose $a \in \widehat{\Bbb{Z}}$, say $a = (\overline{a_1}, \overline{a_2}, \overline{a_3}, \overline{a_4}, \dots)$.
I'm wondering if for any $b \in \widehat{\Bbb{Z}}$ whether there exists a number $...
0
votes
1
answer
105
views
Ideals of direct limit of rings
I am currently studying the direct limit of rings and I am stuck in the following question. Please help me.
Let $\{R_{i}\}_{i \in I}$ be a nonempty family of commutative rings with unity and $\langle ...
2
votes
1
answer
43
views
Direct limits $A_0\to A_1\to... A$ with split monomorphisms.. should the maps $A_i\to A$ be split monos also?
Let $\mathcal{C}$ be the category of $\mathbb{Z}$-graded rings. I have a sequence $A_i$ of $\mathbb{Z}$-graded rings, and split monomorphisms $\varphi_i:A_i\to A_{i+1}$ i.e. $$A_0\rightarrowtail A_1\...
0
votes
1
answer
46
views
Endofunctor of modules induced from pushout of commutative rings
I have commutative rings $A$, $B$ and $C$, and unital ring homomorphisms $f:A\to B$, $g:A\to C$. Using $f$ and $g$, we can regard $B$ and $C$ as $A$-modules, and thus define the $A$-module $B\otimes_A ...
1
vote
1
answer
143
views
To prove $ \Bbb{Z}_p$ is isomorphic to $\lim_{←}\Bbb{Z}_p/p^n \Bbb{Z}_p$ as a ring
I want to prove $ \Bbb{Z}_p$ is isomorphic to $\lim_{←}\Bbb{Z}_p/p^n \Bbb{Z}_p$ as a ring.
Here, $\Bbb{Z}_p$ is completion (as metric space) of
$\Bbb{Z}$ with p adic metric.
My try:
Let define natural ...
0
votes
1
answer
74
views
Does $\lim_←$ and composite of field commutes?
Does inverse limit and composite of field commutes?
For example, let $K_1$ and $K_2$ be fields.
We take $\lim$ with respect to $p$-th Frobenius (not surjective),
then,
$\lim K_1K_2=(\lim K_1)(\lim K_2)...
0
votes
1
answer
100
views
Zero element in an inverse limit in category of rings
Let $(R,f_m)$ be the inverse limit of an inverse system $(R_m,f_{mn})$ of commutative rings with $1$. Let $x \in R$ be s.t. $f_{m}(x)=0$ for all $m$. Is it then true that $x$ must be the $0$ element ...
0
votes
0
answers
36
views
Embedding integers in the inverse limit
Let $S=(R_m,f_{mn})_{m\geq n\geq 0}$ be an inverse system of polynomial rings over the integers and unital ring homomorphisms between them. Let $R_S$ be the inverse limit of $S$ in the category Ring ...
0
votes
1
answer
25
views
Embedding the vertex of a cone inside inverse limit
Let $(R_i,f_{ij})_{i \in I}$ be an inverse system of rings and ring homomorphisms. Let $(L,p_i)_{i \in I}$ be the inverse limit of $(R_i,f_{ij})_{i \in I}$ and let $(K,f_i)_{i \in I}$ be a cone into $...
2
votes
0
answers
72
views
Inverse limit of rings of polynomials in many variables [duplicate]
I am trying to understand inverse limits and so I decided to try and compute one of such limits. We are going to work in the category of rings. Let $R$ be a ring. First, I set up an inverse system. ...
1
vote
0
answers
121
views
Completion of a stalk not integral domain
We consider the closed subscheme $X:= V(Y^2-X^2(x+1))$ of affine plane $\mathbb{A}^2_k= Spec \text{ } k[X,Y]$. field $k$ is arbitrary. let $x:=(0,0)$ the point representing the prime ideal $(X,Y) \...
1
vote
1
answer
108
views
Are (co)limits of topological rings in $\mathsf{Ring}$ with continuous legs always a (co)limit in $\mathsf{Top}$ for a suitable topology?
This question is motivated by the characterization of the $p$-adic numbers as a limit of finite fields via truncation.
Since my knowledge of the former is close to nonexistent, I will try to ask the ...
2
votes
1
answer
321
views
Projective resolution of a filtered colimit
In Cartan and Eilenberg's Homological Algebra, they claim the following
V9.5* If $A = \lim\limits_\longrightarrow A_\alpha$ then there exist projective resolutions $X_\alpha$ of $A_\alpha$ forming ...