**3**

votes

**1**answer

61 views

### Splitting lemma for semigroups or monoids

I know there is a splitting lemma for groups, but is there a similar lemma for semigroups or monoids? And do you have the proof of that?

**5**

votes

**1**answer

354 views

### Do all exact sequences $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split for finitely generated abelian groups?

Suppose $A$ and $B$ are finitely generated Abelian groups. Are all exact sequences of the form $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split?
If not, is there an example?
...

**3**

votes

**0**answers

99 views

### Exact sequence of the fundamental group of the general fiber

Let $f\colon X\rightarrow Y$ be a morphism of complex algebraic varieties.
Let $y\in Y$ be a general point, then we have a sequence of homomorphisms
of fundamental groups induced by the inclusion of ...

**15**

votes

**5**answers

2k views

### Origin of exact sequences

I have seen exact sequences appearing a lot in algebraic texts with different purposes. But I've never seen names of the people associated with it. Also I don't understand what's so good about showing ...

**3**

votes

**1**answer

140 views

### Canonical sheaf of the fiber of a flat morphism

This is probably a trivial question.
While reading the paper
R. Elkik, Singularites rationnelles et deformations, Invent. Math. 47 Ž1978., 139147.
I came across the following short exact sequence. ...

**1**

vote

**0**answers

190 views

### does s.e.s 0->A->B->C->0 of profinite groups imply C=B/A and A<B topologically?

Assume $A, B, C$ are profinite groups and $0\to A\to B\to C\to 0$ is an exact sequence of continuous maps. Which of the following assertions follows?:
(i) the subspace-topology induced on $A$ via ...

**2**

votes

**3**answers

307 views

### Finite / uniquely divisible abelian groups

Is there any counter example for the following statement?
STATEMENT:
Let $0 \to F \to A \to Q \to 0$ be a short exact sequence of abelian groups.
Assume that $F$ is a finite group, and $Q$ is a ...

**4**

votes

**0**answers

268 views

### Exactness of completed tensor product of nuclear spaces

Let $0 \to V \to W \to L \to 0$ be a strict short exact sequence
of (complete) nuclear spaces, i.e. it is a short exact sequence of
(complete) nuclear spaces, all the maps are continuous, the map ...

**10**

votes

**2**answers

448 views

### Exact sequence of monoids

What is the right definition of an exact sequence of monoid homomorphisms?
I can't seem to find a consistent in my searches; indeed Balmer (Remark 2.6,
...

**1**

vote

**1**answer

472 views

### What is exact sequence in higher categories?

What is the higher categorical generalization of exact sequence (3 terms or $\mathbb{Z}$ terms)? In particularly, consider the simplest cases: chain complexes, $L_\infty$-algebras.

**24**

votes

**1**answer

1k views

### Do all exact 1 -> A -> AxB -> B -> 1 split for finite groups?

Let $A$, $B$ be finite groups. Is it true that all short exact sequences $1 \rightarrow A \rightarrow A \times B \rightarrow B \rightarrow 1$ split on the right?
In other words, do there exist ...

**13**

votes

**2**answers

2k views

### Elementary short exact sequence of sheaves

This question arised when I was trying to use this answer to understand Reid's "Young Person's guide to Canonical Singularities". In particular page 352 when computing the blow-up $Y\rightarrow ...

**0**

votes

**3**answers

571 views

### Topologically split extensions of topological groups

Let $1 \to N \to G \to H \to 1$ be a short exact sequence of topological groups. Such an exact sequence is said to be topologically split if $G$ is $N \times H$ as a
topological space.
Can someone ...

**10**

votes

**1**answer

951 views

### When is the torsion subgroup of an abelian group a direct summand?

For an abelian group $G$, let $G[\operatorname{tors}]$ be its torsion subgroup.
Consider the torsion sequence:
$0 \rightarrow G[\operatorname{tors}] \rightarrow G \rightarrow ...

**5**

votes

**2**answers

622 views

### Can Lie algebra cohomology prove Cartan's Semisimplicity Criterion?

Here is what I mean by "Cartan's semisimplicity criterion":
Let $\mathfrak g$ be a finite-dimensional Lie algebra over a field of characteristic $0$. Assume that the center of $\mathfrak g$ is ...

**4**

votes

**2**answers

483 views

### Does the Grothendieck group depend on the embedding?

This might turn out to be a silly question, but here goes.
Let $\mathcal{C}$ be a full additive subcategory of an abelian category $\mathcal{A}$. I'm wondering if the Grothendieck group ...

**7**

votes

**7**answers

2k views

### What are the advantages of phrasing results in terms of exact sequences and commutative diagrams?

For example, I find the first group isomorphism theorem to be vastly more opaque when presented in terms of commutative diagrams and I've had similar experiences with other elementary results being ...

**6**

votes

**6**answers

2k views

### Exact short sequences of vector spaces

If possible, how could one prove that every short exact sequence $0 \to A \xrightarrow f B \xrightarrow g C \to 0$ of vector spaces (here $A$, $B$ and $C$) splits without using any basis of $A$, $B$ ...

**2**

votes

**6**answers

967 views

### Splitting lemma under assumption of the axiom of choice

The splitting lemma says:
Given a short exact sequence with maps $q$ and $r$:
$0 \rightarrow A \overset{q}{\rightarrow} B \overset{r}{\rightarrow} C \rightarrow 0$
then the following are ...

**9**

votes

**1**answer

289 views

### An “existence contra partition of unity” statement for integer matrices?

While reading a blog post on partitions of unity at the Secret Blogging Seminar the following question came into my mind.
Let $n$ be a positive integer and let $B_1$ and $B_2$ be $n \times n$ ...

**16**

votes

**12**answers

2k views

### Homological Algebra for Commutative Monoids?

Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...