Definition 4
Tag 060N, permanent. Cite it as [Bourbaki, Tag 060N].
Algebra, chapter III, § 4. Tensor products of algebras
Given an algebra G over a commutative field K, two subalgebras E, F of G are said to be linearly disjoint over K if they satisfy the following conditions: (1) every element of E commutes with every element of F; (2) the canonical homomorphism of into G is injective.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.