The pushout (also cofiber product , cocartesian square , fiber sum , amalgamated sum ) is a term from the mathematical subfield of category theory . It is the dual construction for pullback .
Pushout of modules
Let and two homomorphisms between modules over a ring . If one sets , the pushout of and is defined as
α
1
:
X
→
X
1
{\ displaystyle \ alpha _ {1}: X \ rightarrow X_ {1}}
α
2
:
X
→
X
2
{\ displaystyle \ alpha _ {2}: X \ rightarrow X_ {2}}
R.
{\ displaystyle R}
Q
: =
{
(
α
1
(
x
)
,
α
2
(
x
)
)
:
x
∈
X
}
⊂
X
1
⊕
X
2
{\ displaystyle Q: = \ {(\ alpha _ {1} (x), \ alpha _ {2} (x)): \, x \ in X \} \ subset X_ {1} \ oplus X_ {2} }
α
1
{\ displaystyle \ alpha _ {1}}
α
2
{\ displaystyle \ alpha _ {2}}
P
: =
(
X
1
⊕
X
2
)
/
Q
{\ displaystyle P: = (X_ {1} \ oplus X_ {2}) / Q}
with the homomorphisms
φ
1
:
X
1
→
P
,
φ
1
(
x
1
)
: =
(
x
1
,
0
)
+
Q
{\ displaystyle \ varphi _ {1}: X_ {1} \ rightarrow P, \, \ varphi _ {1} (x_ {1}): = (x_ {1}, 0) + Q}
and
φ
2
:
X
2
→
P
,
φ
2
(
x
2
)
: =
(
0
,
-
x
2
)
+
Q
{\ displaystyle \ varphi _ {2}: X_ {2} \ rightarrow P, \, \ varphi _ {2} (x_ {2}): = (0, -x_ {2}) + Q}
One can show that
and that has the following universal property :
φ
1
∘
α
1
=
φ
2
∘
α
2
{\ displaystyle \ varphi _ {1} \ circ \ alpha _ {1} = \ varphi _ {2} \ circ \ alpha _ {2}}
P
,
φ
1
,
φ
2
{\ displaystyle P, \ varphi _ {1}, \ varphi _ {2}}
If there is any module with homomorphisms and such that , then there is exactly one homomorphism with and .
Y
{\ displaystyle Y}
R.
{\ displaystyle R}
ψ
1
:
X
1
→
Y
{\ displaystyle \ psi _ {1}: X_ {1} \ rightarrow Y}
ψ
2
:
X
2
→
Y
{\ displaystyle \ psi _ {2}: X_ {2} \ rightarrow Y}
ψ
1
∘
α
1
=
ψ
2
∘
α
2
{\ displaystyle \ psi _ {1} \ circ \ alpha _ {1} = \ psi _ {2} \ circ \ alpha _ {2}}
ρ
:
P
→
Y
{\ displaystyle \ rho: P \ rightarrow Y}
ψ
1
=
ρ
∘
φ
1
{\ displaystyle \ psi _ {1} = \ rho \ circ \ varphi _ {1}}
ψ
2
=
ρ
∘
φ
2
{\ displaystyle \ psi _ {2} = \ rho \ circ \ varphi _ {2}}
Pushout in categories
Motivated by the above example, the pushout is defined in any category as follows.
Let there be and two morphisms of one category. A pair of morphisms in this category is called a pushout of if:
α
1
:
X
→
X
1
{\ displaystyle \ alpha _ {1}: X \ rightarrow X_ {1}}
α
2
:
X
→
X
2
{\ displaystyle \ alpha _ {2}: X \ rightarrow X_ {2}}
(
φ
1
,
φ
2
)
{\ displaystyle (\ varphi _ {1}, \ varphi _ {2})}
φ
i
:
X
i
→
P
{\ displaystyle \ varphi _ {i}: X_ {i} \ rightarrow P}
(
α
1
,
α
2
)
{\ displaystyle (\ alpha _ {1}, \ alpha _ {2})}
φ
1
∘
α
1
=
φ
2
∘
α
2
{\ displaystyle \ varphi _ {1} \ circ \ alpha _ {1} = \ varphi _ {2} \ circ \ alpha _ {2}}
If there is a pair of morphisms with , then there is exactly one morphism with and .
(
ψ
1
,
ψ
2
)
{\ displaystyle (\ psi _ {1}, \ psi _ {2})}
ψ
i
:
X
i
→
Y
{\ displaystyle \ psi _ {i}: X_ {i} \ rightarrow Y}
ψ
1
∘
α
1
=
ψ
2
∘
α
2
{\ displaystyle \ psi _ {1} \ circ \ alpha _ {1} = \ psi _ {2} \ circ \ alpha _ {2}}
ρ
:
P
→
Y
{\ displaystyle \ rho: P \ rightarrow Y}
ψ
1
=
ρ
∘
φ
1
{\ displaystyle \ psi _ {1} = \ rho \ circ \ varphi _ {1}}
ψ
2
=
ρ
∘
φ
2
{\ displaystyle \ psi _ {2} = \ rho \ circ \ varphi _ {2}}
Sometimes you just call the object a pushout, meaning that there are morphisms that meet the above definition. The diagram too
P
{\ displaystyle P}
φ
i
:
X
i
→
P
{\ displaystyle \ varphi _ {i}: X_ {i} \ rightarrow P}
X
→
α
1
X
1
↓
α
2
↓
φ
1
X
2
→
φ
2
P
{\ displaystyle {\ begin {array} {ccc} X & {\ xrightarrow {\ alpha _ {1}}} & X_ {1} \\\ downarrow _ {\ alpha _ {2}} && \ downarrow _ {\ varphi _ {1}} \\ X_ {2} & {\ xrightarrow {\ varphi _ {2}}} & P \ end {array}}}
is sometimes referred to as a pushout. The notation is analogous to the pullback .
P
=
X
1
⊔
X
X
2
{\ displaystyle P = X_ {1} \ sqcup _ {X} X_ {2}}
Examples
Every pullback in a category is a pushout in the dual category , because obviously the pushout is exactly the concept that is dual to the pullback.
K
{\ displaystyle {\ mathcal {K}}}
K
O
p
{\ displaystyle {\ mathcal {K}} ^ {op}}
In an Abelian category , the pushout is closed
X
→
α
1
X
1
↓
0
0
{\ displaystyle {\ begin {array} {ccc} X & {\ xrightarrow {\ alpha _ {1}}} & X_ {1} \\\ downarrow _ {0} && \\ 0 && \ end {array}}}
like the coke of .
α
1
{\ displaystyle \ alpha _ {1}}
If the zero object is an additive category with the above designation , the pushout is equal to the direct sum .
X
{\ displaystyle X}
X
1
⊕
X
2
{\ displaystyle X_ {1} \ oplus X_ {2}}
The introductory example shows that there are always pushouts in the category of modules.
R.
{\ displaystyle R}
There is always a pushout in the category of groups. With the above designations, this is equal to the free product modulo that generated by the normal divider with the natural images. This construction occurs in Seifert-van Kampen's theorem .
X
1
∗
X
2
{\ displaystyle X_ {1} * X_ {2}}
{
α
1
(
x
)
α
2
(
x
)
-
1
:
x
∈
X
}
{\ displaystyle \ {\ alpha _ {1} (x) \ alpha _ {2} (x) ^ {- 1}: \, x \ in X \}}
N
{\ displaystyle N}
φ
i
:
X
i
→
X
1
∗
X
2
→
X
1
∗
X
2
/
N
{\ displaystyle \ varphi _ {i}: X_ {i} \ rightarrow X_ {1} * X_ {2} \ rightarrow X_ {1} * X_ {2} / N}
In the category of commutative rings with one element, the pushout with the above designations is equal to the tensor product provided with the one and the multiplication determined by the one .
X
1
⊗
X
X
2
{\ displaystyle X_ {1} \ otimes _ {X} X_ {2}}
1
⊗
1
{\ displaystyle 1 \ otimes 1}
(
a
⊗
b
)
⋅
(
c
⊗
d
)
: =
(
a
⋅
c
)
⊗
(
b
⋅
d
)
{\ displaystyle (a \ otimes b) \ cdot (c \ otimes d): = (a \ cdot c) \ otimes (b \ cdot d)}
In the category of sets this is the pushout , where the equivalence relation generated by is on the disjoint union .
(
X
1
⊔
X
2
)
/
∼
{\ displaystyle (X_ {1} \ sqcup X_ {2}) / {\ sim}}
∼
{\ displaystyle \ sim}
{
(
α
1
(
x
)
,
α
2
(
x
)
)
:
x
∈
X
}
{\ displaystyle \ {(\ alpha _ {1} (x), \ alpha _ {2} (x)): x \ in X \}}
X
: =
X
1
⊔
X
2
{\ displaystyle X: = X_ {1} \ sqcup X_ {2}}
Pushouts of topological spaces can be described in a similar way. These play a role in adhesive structures.
Individual evidence
↑ Louis D. Tarmin: Lineare Algebra, Modules 2 , Book X Verlag (April 2008), ISBN 3-9346-7151-9 , sentence 4.158.3
^ Peter Hilton: Lectures in Homological Algebra , American Mathematical Society (2005), ISBN 0-8218-3872-5 , definition 4.1
^ Joseph J. Rotman: An Introduction to the Theory of Groups . Springer, Graduate Texts in Mathematics, 1995, ISBN 0-3879-4285-8 , Theorem 11.58
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">