|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
"It is probably better to master some special case such as free groups first."
This suggestion does not have any content bearing on the topic.
The first section, the introduction, glosses a point: the set of words is the appropriate starting point only for associative algebras, otherwise, it needs to be the magma of binary trees. I will clarify/fix this later; I am going to an Easter party now. linas 18:03, 8 April 2007 (UTC)
- Have a good time. I've added a note covering this issue. Charles Matthews 18:29, 8 April 2007 (UTC)
Free universal algebras
An example of a free algebra. Let be an arbitrary set and consider the vector spaces over the field . is the freely generated algebra where
. if , otherwise.
"Free universal algebras" section
Should the last part be "there exists a unique homomorphism such that ."?