Assertion: associative algebra | /r/HasProperty | free r-module
Facets:
value: including the empty word
type: OTHER
value: with a basis
type: OTHER
value: for r
type: OTHER
Source sentences:
text: For R a commutative ring, the free (associative, unital) algebra on n indeterminates {X 1 ,...,X n } is the free R-module with a basis consisting of all words over the alphabet {X 1 ,...,X n } (including the empty word, which is the unit of the free algebra).