A sequence of morphisms where the image of one is the kernel of the next. It is useful in abstract algebra (ring/module/group theory) and homology theory in particular. Do not use this tag for sequences of numbers; use (sequences-and-series) instead.

learn more… | top users | synonyms

0
votes
0answers
22 views

thorough proof of Mayer-Vietoris implies Excision

Where could I find a very complete proof of how the Mayer-Vietoris sequence implies the Excision theorem? I've read a few proofs, but they always leave out the details! Thank you!
0
votes
2answers
45 views

Exact sequence - proof

Let $R$ be a ring. Prove that a sequence of left $R$-modules and homomorphisms $$0 \to N_1 \xrightarrow{f} N_2 \xrightarrow{g} N_3$$ is exact if and only if for all left $R$-modules $M$ sequence ...
1
vote
2answers
74 views

What does ''$\le$'' mean here?

What does ''$\le$'' mean here? Do you know the meaning of $\le$ in the second last line in the text below? The sequence $0\to N \to M \to M/N \to 0$ is exact, so by Problem 5, the sequence $0 ...
-2
votes
0answers
10 views

Does exise a,b,c make the same input lead to same output?

The first function is y[n]=x[n]+0.5*x[n-1]+0.25*x[n-2] the other is y[n]=a*x[n+1]+b*x[n]+c*x[n-1] Does exist some ...
2
votes
2answers
66 views

Clarification about the Computation of the Homology of the Connected Sum in degree $n-1$.

There are plenty of questions about the homology of the connected sum of two $n$-manifolds, but I didn't find an explicit explanation of the computation done in degree $n-1$. Let's show some examples ...
0
votes
0answers
22 views

Definition of split of exact sequence

In D&F, they define split as below. (383pg of third edition) Let $R$ be a ring and let $0 \rightarrow A \xrightarrow{\psi} B \xrightarrow{\phi} C \rightarrow 0$ be a short exact sequence of ...
3
votes
1answer
58 views

Why are functors exact if they preserve all short exact sequences?

If a functor $F\colon \mathcal C → \mathcal D$ of abelian categories preserves short exact sequences, why is it exact? I know the argument is supposed to be that you can split up long exact sequences ...
0
votes
1answer
12 views

Is the following short exact sequence always split?

Is it always true that the following short exact sequence of modules split? $0\to N\to M\to M/N\to0$
3
votes
1answer
22 views

Two short exact sequences with projective objects in the middle

Problem: Prove that for two short exact sequences $$ 0\rightarrow A \xrightarrow{f} B \xrightarrow{g} C \rightarrow 0 $$ $$ 0\rightarrow A' \xrightarrow{f'} B' \xrightarrow{g'} C \rightarrow 0, $$ ...
5
votes
1answer
26 views

Right-exactness of Kähler-Differential and zeroth relative homology functor

In Commutative Algebra: with a View Toward Algebraic Geometry Eisenbud describes the Kähler-Differential as a functor that assigns $\Omega_{S/R}$ to an $R$-Algebra $S$ and to a commutative diagramm $$ ...
1
vote
1answer
39 views

How to prove tensor product is exact when acted on split short exact sequence?

I know tensor product is right exact, but I can't figure out why it's exact when it is acted on a split short exact sequence. In addition, can you give an example that tensor product acts on a short ...
0
votes
1answer
30 views

$p_k \colon M_k \to N_k$ is onto for $k>0$, if $p_0$ induces an iso on homology level, prove that $p_0$ is onto

We are working in $\textbf{Ch}_R$, chain complexes of $R-$modules. As the title suggest, I'm given a map (of chain complexes) $p\colon M \to N$ which is onto for $k>0$. It is known that ...
3
votes
1answer
63 views

Show an ideal is a finitely generated projective module via a split exact sequence

Let $I$ be an ideal of $R$ such that the mapping $f:I\otimes_R\operatorname{Hom}_R (I,R)→R$ defined (on the generators) by $f(i\otimes α)=α(i)$ for all $i∈I$ and $α∈\operatorname{Hom}_R (I,R)$ is ...
1
vote
1answer
38 views

An inverse limit exact sequence for complete modules

Let $A$ be a commutative complete ring with unit for the $I$-adic topology, where $I$ is the ideal of $A$. Let $(M_n)_{n\geq 0}$ be $A$-modules such that $I^{n+1}M_n=0$ and that there exist a ...
1
vote
0answers
44 views

Exact sequences free abelian groups

I have an exact sequence ending with \begin{equation*} \cdots \rightarrow A \xrightarrow{f_1} \mathbb{Z} \xrightarrow{f_2} \mathbb{Z} \oplus \mathbb{Z} \xrightarrow{f_3} \mathbb{Z} \rightarrow (0) ...
1
vote
0answers
27 views

Reduced homology isomorphic to homology relative to a point

I'm going over reduced homology following tom Dieck's Algebraic Topology. I don't understand where the short exact sequence in the excerpt below comes from. $j:(X,\emptyset)\hookrightarrow (X,P)$ is ...
1
vote
0answers
45 views

Are split exact sequences exact in the opposite direction?

In an abelian category, let $$0\longrightarrow A \overset{f}{\longrightarrow}B\overset{g}{\longrightarrow}C\longrightarrow0$$ be a split short exact sequence with $\ell f=1_A,gr=1_C$. Is the sequence ...
-1
votes
1answer
34 views

Isomorphisms in exact sequence imply an object is zero

In any abelian category, let $$\cdots \longrightarrow A\overset{\cong}{\longrightarrow} B\overset{\pi}{\longrightarrow} C \overset{s}{\longrightarrow} D \overset{\cong}{\longrightarrow} E ...
2
votes
1answer
47 views

How many non-isomorphic central extensions of a cyclic group of order $2$ by the Lamplighter group exist?

In a comment to the question Finitely many group extensions? Derek Holt mentioned that for the Lamplighter Group $L = C_2\wr\mathbb{Z}$ and the cyclic group $C_2$ with two elements there should be ...
3
votes
1answer
65 views

Exact sequence of groups to exact sequence sheaves

For a topological group $G$ and a topological space $X$, denote by $\underline{G^X}$ the sheaf of continuous functions from $X$ into $G$. Suppose we have an exact sequence of groups $$ 1\rightarrow ...
0
votes
0answers
23 views

Partial exactness of the total complex.

The acyclic assembly lemma (pages 59/60 of An introduction to homological algebra, Weibel) establish that if I have a bounded double complex with exact rows (or columns) then the total complex is also ...
1
vote
1answer
62 views

What does a complex of modules mean?

I try to understand from Qing Liu's book Algebraic Geometry and Arithmetic Curves the problem 1.2.16. It goes as follows: Let $(A,\mathfrak m)$ be a Noetherian local ring, and $$C^\bullet:0\to ...
0
votes
1answer
52 views

Tensoring the exact sequence by a faithfully flat module

I have problems to do the exercise 1.2.13 from Liu's "Algebraic Geometry and Arithmetic curves". First, Liu defines that if $M$ is a flat module over a ring $A$, then $M$ is faithfully flat over $A$ ...
1
vote
1answer
56 views

Extensions of short exact sequences and second cohomology group

Let $G=\mathbb{I}_{p}=<g>$ be the cyclic group of order $p$, where $p$ is a prime and $A=\mathbb{Z}_{p}\oplus\mathbb{Z}_{p}$ a $G-$ module with the action $g^{n}(x,y)=(x+ny,y)$. I want to show ...
11
votes
4answers
211 views

Checking that a $3$-D diagram is commutative

When proving certain results I need to use commutative diagrams, some of which quite complicated. My question is: Do we need to check every small square all the time to make sure that they are all ...
4
votes
2answers
35 views

Existence of non-split sequence

Let $G$ be an abelian group such that $G$ contains non-zero elements of finite order. Why there exists some short exact non-split sequence: $0 \rightarrow \mathbb{Z} \rightarrow H \rightarrow G ...
3
votes
1answer
73 views

Invariance of the Fredholm index under finite-dimensional perturbations

Let's call a linear map $f : V \to W$ between vector spaces over some field Fredholm if $\ker(f)$ and $\mathrm{coker}(f)$ are finite-dimensional. (Equivalently, it represents an isomorphism in the ...
2
votes
0answers
72 views

Connecting morphism in an abelian category

I'm trying to understand how one gets the long exact sequence in homology from a short exact sequence of chain complexes in an arbitrary abelian category. So far I have the commutative diagram ...
3
votes
1answer
90 views

Long exact sequence into short exact sequences

This question is the categorical version of this question about splitting up long exact sequences of modules into short exact sequence of modules. I want to understand the general mechanism for ...
1
vote
2answers
25 views

Working out values of sequences using partial sums

I have the sequence $a_n =\sqrt{n+1}-\sqrt{n}$ and $b_n=\dfrac{1}{\sqrt{n}}$ let $s_n$=$a_1 + a_2 + a_3 + ... + a_n =\displaystyle \sum_{k=1}^n a_k$ and $t_n$=$b_1 + b_2 + b_3 + ... + b_n = ...
1
vote
2answers
77 views

Why any short exact sequence of vector spaces may be seen as a direct sum?

This is actually the first time I have worked with short exact sequences and I have no clue why the following assertion is true: Any short exact sequence of vector spaces $$ 0 \longrightarrow U ...
2
votes
0answers
27 views

Short exact sequence for topological join: split needed

I am desperately trying to solve the following problem: Let $X$ and $Y$ be topological spaces and $X * Y$ their join. Prove that there is a short exact sequence $$ 0 \to \tilde{H}_k(X * Y) \to ...
0
votes
1answer
40 views

Exact short sequence vs exact long sequence?

could anyone explain me what exactly the difference between an exact long sequence and an exact short sequence is? I think it pertains to homology theory, right?
5
votes
1answer
144 views

Question on proof of Lefschetz Fixed Point Theorem (from Hatcher Theorem 2C.3)

In Hatcher's statement of the Lefschetz Fixed Point Theorem (2C.3), he has a hypothesis that the space $X$ in question must be a retract of a finite simplicial complex. The first part of the proof ...
0
votes
1answer
34 views

Split exact sequences.

Edit: The setting is some abelian category. The splitting lemma says that the following conditions are equivalent for a short exact sequence $$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$ ...
2
votes
0answers
47 views

What kind of objects are both subobjects and quotients?

Fix an object $B$ in some category. What does the existence of a diagram $A \rightarrowtail B \twoheadrightarrow A$ imply about $A$ and $B$? What if $A \rightarrowtail B \twoheadrightarrow ...
3
votes
1answer
95 views

Meaning of a long exact sequence

Edit: The setting for the question is some abelian category. From this question I learned that one way to view a short exact sequence $$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$ is as ...
1
vote
1answer
78 views

counterexample to “symmetric” nine lemma

Consider a commutative diagram of $R$-modules ...
3
votes
1answer
73 views

Commutative diagram with exact sequences as columns and rows

Suppose that we have the following commutative diagram of groups and homomorphisms $$\newcommand\twoheaduparrow{\mathrel{\rotatebox{90}{$\twoheadrightarrow$}}} \begin{array} A & A_3 & ...
1
vote
2answers
27 views

Non exact sequence of quotients by torsion subgroups

$$0\rightarrow G_{1}\rightarrow G_{2}\rightarrow G_{3}\rightarrow 0$$ is a short exact sequence of finitely generated abelian groups. We call $\bar{G_{i}}$ the quotient of $G_{i}$ by its torsion ...
5
votes
1answer
171 views

Splitting of an exact sequence

Let $(R,\mathfrak m)$ be a Noetherian local ring. Suppose that $x \in \mathfrak m \setminus \mathfrak m^2$. Is it true that $$ \frac{\mathfrak m}{x\mathfrak m} \cong \frac{\mathfrak m}{(x)} ...
3
votes
1answer
87 views

Exactness of Hom Functor

The picture above is from Dummit and Foote, Third Edition, Chapter 10. In the text the authors claim that the sequence given by $ Hom $'s is exact if and only if there is a bijection $ F ...
0
votes
0answers
38 views

Equivalence of short exact sequences

The above image is from the book of Dummit and Foote, Edition 3. In the fourth paragraph, the authors claim that "equivalences involving the same extension module $ B $ are automorphisms of $ B ...
0
votes
1answer
59 views

Example of a non-splitting exact sequence $0 → M → M\oplus N → N → 0$

Recently, someone stated that every short exact sequence (of, say, modules) of the form $$0 → M → M \oplus N → N → 0$$ splits. I think this is false in general because the arrow $M → M \oplus N$ might ...
5
votes
4answers
197 views

Finding all abelian groups such that there exists certain short exact sequence.

I have to find all abelian groups $A$ such that there exists a short exact sequence $0\rightarrow\mathbb{Z}\rightarrow A\rightarrow\mathbb{Z}\oplus\mathbb{Z}_{6}\rightarrow 0$. I have found ...
2
votes
1answer
73 views

Exactness and Naturality

I'm trying to read this blog post about exact functors, and I see mentions of naturality which I have not stumbled upon elsewhere. In particular, in the proof of the Theorem, the author says By ...
0
votes
1answer
31 views

Exact sequence of modules exercise

Show that if $$0 \rightarrow M_1 \xrightarrow{f} M_2 \xrightarrow{g} M_3$$ is an exact sequence of $R$-modules, then for all $R$-module $$0 \rightarrow \operatorname{Hom}_R(M,M_1) \xrightarrow{f_*} ...
2
votes
1answer
44 views

Exact sequence and Noetherian modules

Let $R$ be a ring, $X,Y,Z$ and $T$ four $R-$ modules such that there exists a short exact sequence $$0 \rightarrow X \xrightarrow{f_1} Y \xrightarrow{f_2} Z \xrightarrow{f_3} T \rightarrow 0 $$ Prove ...
0
votes
1answer
42 views

$Pi(n) = Pi(n-2) + x\times [Pi(n-1)]$ for all convergent numerators and denominators. True?

Where $x = A001203$, $Pi = A002486$, $A002485$ $Pi(n) = Pi(n-2) + x\times [Pi(n-1)]$ for all $Pi > n+1 $ Hypothesis: This relation evaluates true for all $A002486$ and $A002485$. Lemma: All ...
1
vote
2answers
36 views

Noetherian property for exact sequence

Let $0 \to M' \xrightarrow{\alpha} M \xrightarrow{\beta} M'' \to 0$ be an exact sequence of $A$-modules. Then $M$ is Noetherian is equivalent to $M'$ and $M''$ are Noetherian. For the ...