
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
July 14th, 2017, 12:29 AM  #1 
Newbie Joined: Jun 2017 From: Earth Posts: 17 Thanks: 0  Does "free" mean "finitely generated"?
I often hear people say "free XXX" in which XXX is some algebraic structure like abelian group or module. Does "free" mean "finitely generated" (the set of generators is finite) in these context? Thanks.

July 14th, 2017, 12:37 AM  #2 
Senior Member Joined: Oct 2009 Posts: 186 Thanks: 74 
No, it doesn't. There is no relation between the two. https://en.wikipedia.org/wiki/Free_object 
July 14th, 2017, 12:39 AM  #3 
Senior Member Joined: Oct 2009 Posts: 186 Thanks: 74 
For example, $\mathbb{R}^\mathbb{N}$ with usual pointswise operations is an $\mathbb{R}$module that is free but not finitely generated. On the other hand, $\mathbb{Z}_2$ is a $\mathbb{Z}$module that is finitely generated but not free. 
July 14th, 2017, 11:23 AM  #4 
Global Moderator Joined: Dec 2006 Posts: 18,427 Thanks: 1462 
Did you mean "pointwise"? How are free generators defined?

July 14th, 2017, 11:33 AM  #5 
Senior Member Joined: Oct 2009 Posts: 186 Thanks: 74  

Tags 
finitely generated, free 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
A "simple" application of dirac delta "shift theorem"...help  SedaKhold  Calculus  0  February 13th, 2012 12:45 PM 
"separate and integrate" or "Orangutang method"  The Chaz  Calculus  1  August 5th, 2011 10:03 PM 
sample exerimentneed help finding "statistic" and "result"  katie0127  Advanced Statistics  0  December 3rd, 2008 02:54 PM 
terms "nonincreasing" or "nondecreasing"  Ujjwal  Number Theory  2  September 29th, 2008 08:06 AM 