Talk:Free object

From Wikipedia, the free encyclopedia

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)

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

[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) : X \longrightarrow K$ . $h (x)(y) = 1$ if $x = y$ , $0$ otherwise.