释义 |
FreeWhen referring to a planar object, ``free'' means that the object is regarded as capable of being picked up out of the plane andflipped over. As a result, Mirror Images are equivalent for free objects.
A free abstract mathematical object is generated by elements in a ``free manner,'' i.e., such that the elements satisfyno nontrivial relations among themselves. To make this more formal, an algebraic Gadget is freely generatedby a Subset if, for any function where is any other algebraic Gadget, there exists aunique Homomorphism (which has different meanings depending on what kind of Gadgets you'redealing with) such that restricted to is .
If the algebraic Gadgets are Vector Spaces, then freely generates Iff is a Basis for . If the algebraic Gadgets are Abelian Groups, then freely generates Iff is a Direct Sum of theIntegers, with consisting of the standard Basis. See also Fixed, Gadget, Mirror Image, Rank
|