Questions tagged [exact-sequence]
A sequence of morphisms where the image of one is the kernel of the next. It is a useful thing to examine in the study of abstract algebra and homological algebra. Use this tag if your question is about the general theory of exact sequences, not just because an exact sequence appears in it. For sequences of numbers use the tag (sequences-and-series) instead.
1,184
questions
0
votes
0
answers
13
views
How to conclude the order of $G$ is $p^{m+n}$.
I have this exact sequence $$
0\to \mathbb{Z}_{p^m}\overset{f}\to G\overset{g}\to \mathbb{Z}_{p^n}{\to} 0
$$
Where's $G$ is finitely generated. I want to prove that $|G|=p^{m+n}$ and a friend told me ...
- 83
1
vote
0
answers
26
views
Equivalent Definition of injective $R$-module using exact sequences
We call an $R$-module $D$ injective if one of the two equivalent conditions holds:
If $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ is an exact sequence of $R$-modules then the induced ...
- 53
3
votes
1
answer
24
views
Set of complementary subspaces as an affine space
Let $V$ be a vector space and $W$ a fixed vector subspace of $V$. Denote by $\mathcal{E}$ the set of vector subspaces $U$ of $V$ such that $V=U\oplus W$. It is stated in the Examples section here that ...
- 1,865
0
votes
1
answer
31
views
$A$ noetherian ring, $M$ finite $A$-module. Why is this an exact sequence?
So I read that under this conditions, for some $p$ (which I believe to be prime but I am not entirely sure) we can generate the following short exact sequence:
$$0\longrightarrow\ker\beta\xrightarrow{...
- 1,323
0
votes
1
answer
23
views
Exact sequence splits iff it kind of weakly splits through other sequence
This is an exercise from Assem's book "Algèbre et module" (more precisely, III.50). I couldn't solve it after thinking for a while. Let
$\require{AMScd}$
\begin{CD}
0 @>>> L @>...
- 4,883
0
votes
0
answers
12
views
Usage of exact sequences to show that $A/\mathfrak a \otimes_A M \cong M/\mathfrak aM$ [duplicate]
Let $A$ be a commutative ring & $\mathfrak a$ an ideal and $M$ an $A$-module. Show that $A/\mathfrak a \otimes_A M \cong M/\mathfrak aM$. [Tensor the exact sequence $0 \longrightarrow \mathfrak a \...
- 35
1
vote
1
answer
37
views
Exactness of sequence induced by $\operatorname{Hom}(G,\cdot)$.
$\newcommand{\Hom}{\operatorname{Hom}}$
For this problem, we let $0\rightarrow A\xrightarrow{i} B \xrightarrow{j}C\rightarrow 0$ be a short exact sequence of groups, and $G$ an abelian group. It's not ...
2
votes
1
answer
66
views
On an exact sequence of complex vector spaces
Let us consider the following exact sequence of complex vector spaces:
$0 \to A \to B \to C \to D \to E \to.....\to 0$, where $E$ and the later vector spaces are not necessarily zero.
By rank nullity ...
- 863
3
votes
0
answers
29
views
Splitting Lemma for Vector Bundles
I am asked to solve the following exercise.
Let $E = E[M; \pi, \mathbb{R}^n]$,$F = F[M; \pi, \mathbb{R}^m]$, $H = H[M; \pi, \mathbb{R}^k]$ be three smooth vector bundles over $M$ of finite rank $n,m,k ...
- 381
1
vote
0
answers
22
views
An exact sequence of cyclic groups related to the lcm
The sequence
$0 \longrightarrow\mathbb{Z}/(a\vee b \vee c)\mathbb{Z} \underset{\phi_1}{\longrightarrow} \mathbb{Z}/a\mathbb{Z} \bigoplus \mathbb{Z}/b\mathbb{Z} \bigoplus \mathbb{Z}/c\mathbb{Z}\...
- 3,270
1
vote
1
answer
92
views
Action of a map on homology
I'm currently studying algebraic topology from Hatcher's text, and I came across the following problem from an old qualifying exam:
The coefficient sequence $0 \rightarrow \mathbb{Z} \xrightarrow{p} \...
- 1,349
5
votes
0
answers
64
views
For a family of short exact sequences of coherent sheaves, can we define the splitting subscheme?
Let $k$ be an algebraically closed field of characteristic zero. Let $X$ be a projective scheme over $k$. We can talk about short exact sequences of coherent sheaves on $X$. Suppose we have a family ...
- 1,121
0
votes
0
answers
66
views
Direct sum and short exact sequence, as well as, tensor product and what?
In an abelian category, the notion of direct sum is generalized by the notion of short exact sequence (see split exact sequence).
Question: In a monoidal category, can the notion of tensor product be ...
- 5,487
3
votes
1
answer
97
views
Ext and split short exact sequence
Let $R$ be a commutative ring. $I$,$J$ are two ideals of $R$ such that $I\cap J=0$. We have a short exact sequence,
$$0 \longrightarrow R\stackrel{f} \longrightarrow R/I\oplus R/J\stackrel{g}{\...
- 705
0
votes
2
answers
32
views
Proof that sequence is not split using left inverse
For the following exact sequence, i am trying to proof that it is not split
$0\to 2\mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}/2\mathbb{Z} \to 0$
I want to show that for injective function $i : 2\mathbb{...
- 23
0
votes
0
answers
17
views
Why induced exact sequence implies injectivity in question
N is a module and M & L are submodules of N
I want to show that $\beta$ is injective but am having trouble understanding why the exact sequence above implies injectivity.
- 23
7
votes
0
answers
67
views
Representations and central extensions of $A_5$
I'm taking a course on representation theory this semester, and the professor assumed we had some knowledge in central extensions. Unfortunately, I'm not very familiar with the topic, and I'm having ...
- 352
3
votes
1
answer
60
views
How do I prove if the functor is right exact or left exact?
Hello I have the following question:
I need to show if the functor $\Bbb{Q}\otimes_R-$ from $\Bbb{Z}$-modules to $\Bbb{Q}$ vector spaces are left exact, right exact or even nothing.
I somehow ...
- 1,284
1
vote
1
answer
34
views
Prove that if $\alpha_{3}$ is an isomorphism, then the sequence is a short exact sequence.
I am having trouble making some connections in proving this result and I'd like some help sorting this out.
So here is the commutative diagram of $R$-modules and $R$-module homomorphisms.
Each row is ...
- 489
1
vote
2
answers
66
views
How do I prove if the following functor is exact?
I have the following exercise:
Prove if the functor that sends an abelian group to it's $n$-torsion subgroup for $n\geq 2$ is exact.
I know that I need to take $f\colon M\to N$ and $g\colon N\to L$ ...
- 1,284
1
vote
0
answers
84
views
How do I prove if the forgetful functor is exact?
Hello I have the following problem:
Check if the forgetful functor from $R$-modules to abelian groups for a ring $R$ is exact or not.
As I understood our case we have the following functor $$F:Mod(R)...
- 1,029
2
votes
0
answers
33
views
A sufficient condition for Automorphism of an exact sequence
I am given the following commutative diagram with non-split exact rows with $L, M, N$ being finite dimensional $A$ modules where $A$ is a finite dimensional $\mathbb{C}$ algebra.
where $L$ is an ...
- 2,988
1
vote
1
answer
41
views
$0\to \text{Hom}(P_0,G)\to \text{Hom}(P_1,G)\to \text{Hom}(P_2,G)\to\dots$ is an exact sequence. [duplicate]
I am reading ''Algebraic number theory'' by Cassels and Fröhlich and in the chapter IV.4 it says the following:
If $\dots\to P_2\to P_1\to P_0\to\mathbb{Z}\to 0$ is a projective resolution and $G$ is ...
- 1,408
-1
votes
1
answer
43
views
Is a module a limit of n-presented modules?
Let n be an integer. A module M is said to be n-presented if there exist an exact sequence of the form
$$ F_{n}\to F_{n-1}\to ...\to F_{1}\to F_{0}\to M \to 0$$ with every $F_{i}$ is a finitely ...
- 117
0
votes
0
answers
54
views
Right exact sequence of tensor algebra
Let $R$ be a ring. Given an exact sequence of $R$-modules $$K\longrightarrow N\longrightarrow M\longrightarrow0$$ deduce $$T(N)\otimes K\otimes T(N)\longrightarrow T(N)\longrightarrow T(M)\...
- 705
0
votes
0
answers
59
views
Exact sequence multiplies an ideal
let $A,B,C$ be $R$-modules and $I\subset R$ be an ideal. Given that $A\xrightarrow{f} B\xrightarrow{g} C\to 0$ is exact, do we have that $IA\xrightarrow{f'} IB\xrightarrow{g'} IC\to 0$ is exact? I ...
- 195
2
votes
1
answer
43
views
Faithful flatness and split-exactness
Suppose $R\to S$ is a faithfully flat morphism of commutative unital rings, and suppose $A\to B\to C\to 0$ is an exact sequence of finitely-generated $R$-modules. If we know that $0\to A\otimes_R S\to ...
- 2,159
1
vote
0
answers
42
views
Commutator subgroup of a Wang group is finite iff abelian
We say a group $ G $ is a Wang group if it fits into a SES
$$
0 \to N \to G \to \mathbb{Z}^k \to 0
$$
where $ N $ is nilpotent finitely generated and torsion free. Such a group $ G $ is always ...
- 2,908
0
votes
1
answer
30
views
why can $g$ be considered as a linear function?
Here is the question I am trying to understand its solution:
Compute the homology groups $H_n(X, A)$ when $X$ is $S^2$ or $S^1 \times S^1$ and $A$ is a finite set of points in $X.$
Here is the part I ...
- 1,187
1
vote
1
answer
45
views
Why $H_1(S^2, A) = \operatorname{im}g$? or we can prove it using splitting lemma? [closed]
Here is the question I am trying to understand its solution:
$(a)$ Compute the homology groups $H_n(X, A)$ when $X$ is $S^2$ or $S^1 \times S^1$ and $A$ is a finite set of points in $X.$
And here is a ...
- 1,187
3
votes
0
answers
59
views
Vector bundles from short exact sequences
In the following I consider complex manifolds and holomorphic vector bundles. I'm trying to understand the construction of non-trivial vector bundles $V$ via short exact sequences involving sums of ...
- 1,379
4
votes
1
answer
83
views
Extending a commutative diagram of exact sequences
Let $R$ be a ring and $L_1,L_2,M_2,M_2,N_1,N_2$ $R$-modules. Say you have the following diagram:
$\require{AMScd}$
\begin{CD}
0 @>{}>> L_1 @>{f_1}>> M_1 @>{g_1}>> N_1 @> &...
- 742
1
vote
1
answer
88
views
Splitting of the short exact sequence $0\to \frac{H_n(X)}{p H_n(X)}\to H_n(X,\mathbb{Z}_p)\to \ker\{ p: H_{n-1}(X)\to H_{n-1}(X)\}\to 0$
One of the assignments for my algebraic topology course is to solve the following problem from Topology and Geometry by Bredon.
Multiplication by the prime $p$ fits a short exact sequence $$0\to \...
- 1,005
1
vote
1
answer
50
views
Zariski tangent space and exactness of $\operatorname{Der}_R(A,-)$ functor
Let $A$ be an $R$-algebra (for $R$ a commutative ring). Let $\def\Der{\operatorname{Der}}\Der_R(A,-): A-\mathrm{mod}\to A-\mathrm{mod}$ be the covariant functor, where $\Der_R(A,M)$ is the set of all $...
- 95
0
votes
1
answer
37
views
What are the values of $g$ on $(0,1)$ and $(1,0)$?
I am trying to find a short exact sequence of the following form:
$$0 \to \mathbb Z_4 \xrightarrow{f} \mathbb Z_8 \oplus \mathbb Z_2 \xrightarrow{g} \mathbb Z_4 \to 0$$
I assumed that actually there ...
- 1,187
0
votes
2
answers
69
views
Consequences of $f$ is injective and $g$ is surjective in the following sequence?
I am trying to study if there can be a SES of the following form
$$0 \to \mathbb Z_4 \xrightarrow{f} \mathbb Z_8 \oplus \mathbb Z_2 \xrightarrow{g} \mathbb Z_4 \to 0.$$
So, I know if there is one, $f$ ...
- 1,187
3
votes
0
answers
53
views
SES of finitely generated modules over noetherian ring split, given existence of an isomorphism.
I recently came across the following statement, however I always fail to prove it. I'm also a bit unsure where the assumption "noetherian" is used:
Let $R$ be a noetherian ring, and $M_i$ ...
1
vote
1
answer
136
views
Finitely generated $R$-module that is not projective or finitely presented
Give an example of a finitely generated $R$-module $M$ (for some commutative ring $R$) that is not projective and is not finitely presented.
I was able to find an example of a finitely generated $R$-...
- 873
1
vote
2
answers
66
views
When does the short exact sequence of Module and submodule not split?
Consider a commutative Ring $R$ and a module $M$ over $R$. Now let $N \subset M$ be a submodule. Then we have a canonical short exact sequence:
$$0 \rightarrow N \xrightarrow{i} M \xrightarrow{p}M/N \...
2
votes
0
answers
26
views
Finding the inverse of a group isomorphism linked to a short exact sequence
Exercise: Construct an explicit inverse of $\phi$ in the following theorem
Theorem: Given a short exact sequence with a right split (this is, a $v: K \to G$ such that $\epsilon v = 1$), which ...
- 129
2
votes
1
answer
63
views
Showing that a certain map in a commutative diagram with exact rows is injective
This exercise is from Dummit and Foote, Section 10.5. (Exercise 1, part d)
The following diagram is commutative with exact rows. We know that $\alpha,\gamma$ are surjective, and $\beta$ is injective. ...
- 518
0
votes
0
answers
56
views
Splitting lemma, a detail
Let R be a commutative unitary ring and let $0\overset{}{\to}N \overset{f}{\to} M \overset{g}{\to} P \to 0$ a short exact sequence of R-modules. Now suppose that the sequence splits.
If N and P are ...
- 179
0
votes
1
answer
18
views
What does it mean for the sequence $\text{Hom}(E,\text{Hom}(N,P))$ to be exact, where $E$ is an exact sequences of $A$-modules, and $N,P$ $A$-modules?
Here $E$ is the exact sequence $M^{\prime} \stackrel{f}{\rightarrow} M \stackrel{g}{\rightarrow} M^{\prime \prime} \rightarrow 0$. I know what an exact sequence of $A$-modules is, but not what $\text{...
- 2,015
0
votes
0
answers
20
views
Product of functors (A,_) being a generator and the arbitrary sum of left-exact functors
In Peter Freyd's book Abelian Categories he states a theorem saying that $\mathscr{L}(\mathscr{A})$ is complete and has an injective generator, with $\mathscr{L}(\mathscr{A})$ being the category of ...
- 39
0
votes
1
answer
89
views
Showing an induced sequence is exact.
Edit: I got stuck in a couple of places in proving the statement below. Specifically:
$d$ is well-defined.
$\text{ker}(d) \subseteq \text{im}(\bar{v})$
$\text{ker}(\bar{v}’) = \text{im}(\bar{u}’)$
...
- 2,015
-1
votes
2
answers
71
views
The limit of the sequence: $U_n=(2\times3)^{-(3\times4)^{..^{\mathrm{-n(n+1)}}}}$
I trying solving this equation here ,I find that the limit l verify:
$2=l^{-6^{-12^{..^{\mathrm{-\infty}}}}}$ So now I need the limit of $U_n=(2\times3)^{-(3\times4)^{..^{\mathrm{-n(n+1)}}}}$
0
votes
3
answers
65
views
Proof of $\tilde{H}_*(X) \cong H_*(X, x_0) $.
Let $X$ be a topological space and $x_0 \in X$. I want to show that the relative homology group, $H_*(X, x_0)$, is isomorphic to the reduced homology group, $\tilde{H}_*(X)$. By considering the long ...
- 2,465
2
votes
0
answers
25
views
Proof of $\tilde{H}_k(X \lor Y) \cong \tilde{H}_k(X) \oplus \tilde{H}_k(Y)$.
In my algebraic topology course, we showed the following statement: Let $X, Y$ two topological spaces, $(x_0, y_0) \in X \times Y$ and $X\lor Y$ the wedge product of $(X, x_0)$ and $(Y, y_0)$. If $x_0$...
- 2,465
1
vote
2
answers
98
views
Tensor product and exact sequences
I'm having some problems with tensor product.
I know that, in general, for $M$ an $R-$module and $I$ an ideal it holds
$$M \otimes_R R/I = M/IM.$$
I also know that for $M_1$, $M_2$ and $N$ $R-$modules ...
- 121
1
vote
0
answers
49
views
Confusion about a definition in Atiyah-Macdonald
In chapter 2 of Atiyah-Macdonald are introduced the flat modules, and the algebras. However it is not given any definition of flat algebra, while in exercise 5 and 8, for example, is needed. I don't ...
- 2,443