In a short exact sequence of vector fields 0 → A → B → C→ 0,B must be the direct sum B=A⊕C of the subgroup A and the quotient group C=B/A.
Allen Hatcher

seen from China
seen from Russia
seen from China
seen from United States
seen from Netherlands

seen from Germany

seen from United States
seen from Türkiye
seen from Japan
seen from Türkiye
seen from Ireland
seen from Malaysia
seen from Singapore
seen from China
seen from United States
seen from France
seen from United States

seen from Germany

seen from Ireland

seen from United Kingdom
In a short exact sequence of vector fields 0 → A → B → C→ 0,B must be the direct sum B=A⊕C of the subgroup A and the quotient group C=B/A.
Allen Hatcher

Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
Free to watch • No registration required • HD streaming
conformal compactification of two copies of minkowski space along their conformal infinities into S¹ × Sⁿ⁻¹
by user Hachi1 (Yeet Bundle) on Graduate Texts in Memes discord chat.
What is a disjoint union?
The union of {a,d,e} and {b,d,e} would be {a,b,d,e}.
But the disjoint union of those two would be something like {(0,a), (0,d), (0,e), (1,b), (1,d), (1,e)}.
Direct sum ⊕ and formal sum are similar. These ideas come up in tensors—using linearity to treat simple ideas that are given a complex symbology.
They also show up in Ghrist’s E.A.T., Hartshorne appendix C, and Fast Khovanov Homology Computations. Maybe I'll add more examples later.
Around minute 20, a good exposition of ℤ₂ ⊕ ℤ₄.
And I'll add my usual advice for watching maths videos on Youtube: open the file as a 'network stream' in vlc then use ]]] to speed up and shift+→ to skip ahead a few seconds whenever the presenter is slowly writing.)
Direct Sum
This 6-minute video by Lorenzo Sadun explained direct sums to me, after I'd seen the word used many times and wasn't really getting it. The idea is that if you wanted to combine two incompatible things, you could pad each of them with zeroes.
Example:
(a₁, a₂, a₃) + (b₁, b₂, b₃)
(a₁, a₂, a₃, 0, 0, 0) + (0, 0, 0, b₁, b₂, b₃)
(a₁, a₂, a₃, b₁, b₂, b₃)

Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
Free to watch • No registration required • HD streaming
Both direct sum and tensor product are standard ways of putting together little Hilbert spaces to form big ones. They are used for different purposes. Suppose we have two physical systems.... Roughly speaking, if ... a physical system's ... states are either of A OR of B, its Hilbert space will be [a] direct sum.... If we have a system whose states are states of A AND states of B, its Hilbert space will be [a] tensor product.... MEASURE SPACE disjoint union Cartesian product HILBERT SPACE direct sum tensor product
John Baez
@isomorphisms We use direct sums and products of small covariance matrices to generate full-size covariance structures in mixed models.
— Luis A. Apiolaza (@zentree) July 12, 2014