Talk:Free object

From Wikipedia, the free encyclopedia

WikiProject Mathematics     (Rated Start-Class)
Mathematics portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	Mid Priority	Field: Algebra
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Geometry guy 22:35, 10 July 2007 (UTC)

Contents 1 Master 2 Correction 3 Free universal algebras 4 "Free universal algebras" section

[edit] Master

"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.

I agree. I'll cut that.--345Kai (talk) 22:59, 8 May 2009 (UTC)

[edit] Correction

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)

[edit] Free universal algebras

An example of a free algebra. Let X be an arbitrary set and consider the vector spaces over the field K. (F(X),h) is the freely generated algebra where

. h(x)(y) = 1 if x = y, 0 otherwise.

[edit] "Free universal algebras" section

Should the last part be "there exists a unique homomorphism such that σψ = τ."?

Otherwise, I don't know where the sigma came from or what it's supposed to mean.--kundor (talk) 14:18, 8 July 2008 (UTC)