Lemma 4
Tag 061A, permanent. Cite it as [Bourbaki, Tag 061A].
Algebra, chapter III, § 4. Tensor products of algebras
Let E be a graded algebra of type and S a set of homogeneous elements ; the set F of elements of E all of whose homogeneous components satisfy relation (36) for all is a graded subalgebra of E.
It suffices to note that: (1) if are two homogeneous elements of the same degree , a homogeneous element of degree and , , then also ; (2) if are two homogeneous elements of respective degrees , a homogeneous element of degree and , , then
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.