I have a question and would appreciate a clear answer.
Firstly, I will provide an introduction regarding my understanding, and then I will ask my question.
Let's begin with the definition of a universal morphism from an object $ X $ to a functor $F$:
Let $\mathcal{C}$ and $\mathcal{D}$ be two categories. A universal morphism from object $X\in ob(\mathcal{D}) $to functor $F: \mathcal{C} \longrightarrow \mathcal{D} $ is a pair $ (A, f) $, where $A$ is an object of $\mathcal{C}$ and $ f: X \longrightarrow F(A) $ is a morphism in $\mathcal{D}$. This pair satisfies the universal property, i.e., for every $ B \in \text{ob}(\mathcal{C}) $ and any morphism $ g: X \longrightarrow F(B) $, there exists a unique map $h: A \longrightarrow B$ such that the diagram commutes: $ g = F(h) \circ f $.
Now, if $(\mathcal{C}, F) $ is a concrete category and $f $ is the canonical injection, then the universal morphism $ (A, f) $ is called a free object on a set $ X $.
On the other hand, if $\mathcal{C} $ is the category of groups $\textbf{Grp} $, then the free object reduces to the free group in the category $\textbf{Grp} $.
However, the definition of a free group is:
Free group on generators $x_1,…,x_m,x_1^{-1},…,x_m^{-1}$ is a group whose elements are words in the symbols $x_1,…,x_m,x_1^{-1},…,x_m^{-1}$ subject to the group axioms. The group operation is concatenation.
Now, my question is how to reduce a free object into a free group in the category of groups.
I know that the faithful functor $F$ of the concrete category $(\textbf{Grp}, F)$ is the forgetful functor.
Best Answer
Two things before we start:
You are misquoting the definition of free group. What you describe is the "free group on $x_1,\ldots,x_m$", not on "$x_1,\ldots,x_m,x_1^{-1},\ldots,x_m^{-1}$". The symbols $x_1^{-1},\ldots,x_m^{-1}$ are part of the construction, but they are not part of the definition. So here, the set $X$ is going to be $X=\{x_1,\ldots,x_n\}$, and not the set $\{x_1,\ldots,x_m,x_1^{-1},\ldots,x_m^{-1}\}$.
I am going to change your notation, because the use of $F$ is of course natural for "functor", but in this case it conflicts with the usual notation for "free group" and "underlying set." So instead, I am going to take the "data" functor denoted as $\mathsf{U}$, for "underlying set". Your category $\mathcal{C}$ is $\mathsf{Group}$, and $\mathcal{D}$ is $\mathsf{Set}$. So the particular instance of the "free object on $X$" here would be:
You want to understand the "usual" explicit description of "free group on $x_1,\ldots,x_m$" in terms of this definition. (See point 1 above for what the group is free "on").
So, $X$ is going to be the set $x_1,\ldots,x_m$. The group $A$ is going to be the group you describe: the set of "reduced group words" in the alphabet $x_1,\ldots,x_m$; that is, terms of the form $$w_1^{\epsilon_1}\cdots w_k^{\epsilon_k}$$ where $w_i\in \{x_1,\ldots,x_m\}$, $\epsilon_i\in\{1,-1\}$, $k\geq0$, and where "reduced" means that there is no $i$ such that $w_i=w_{i+1}$ and $\epsilon_i=-\epsilon_{i+1}$. The group operation on $A$ is "concatenate and reduce", which means that you take the words $w_1^{\epsilon_1}\cdots w_k^{\epsilon_k}$ and $v_1^{\delta_1}\cdots v_{\ell}^{\delta_{\ell}}$, and you write the word $$w_1^{\epsilon_1}\cdots w_k^{\epsilon_k}v_{1}^{\delta_1}\cdots v_{\ell}^{\delta_{\ell}},$$ and then if there are any instances of $x_k$ followed by $x_k^{-1}$, or $x_k^{-1}$ followed by $x_k$, you remove those two letters and you check the result. This is a group, and the easiest way to verify the hard part (associativity) is to use van der Waerden's trick.
So this is the group $A$. The set map $f\colon X\to \mathsf{U}(A)$ is just the inclusion map, since each element of $X$ is itself a reduced word in $A$.
To verify that this is a universal morphism (equivalently, that $(A,f)$ is the free group on $X$) we must show that given any group $B$ and any set map $g\colon X\to B$, there is a unique group morphism $h\colon A\to B$ such that $g=\mathsf{U}(h)\circ f$. This morphism $h$ is defined as follows: given a reduced group word $w_1^{\epsilon_1}\cdots w_k^{\epsilon_k}\in A$, with $w_i\in \{x_1,\ldots,x_m\}$, $\epsilon_i\in\{1,-1\}$, we define $$h(w_1^{\epsilon_1}\cdots w_k^{\epsilon_k}) = g(w_1)^{\epsilon_1}\cdots g(w_k)^{\epsilon_k}.$$ It is then a bit of work, but not too hard, to verify that this is indeed a group homomorphism and that it satisfies $g=\mathsf{U}(h)\circ f$. Moreover, it is the unique map that will do this, because $A$ is generated by $f(X)$, and the values of any morphism $\mathfrak{h}\colon A\to B$ is completely determined by its value on the generating set $f(X)$; so if $\mathfrak{h}$ satisfies that $\mathfrak{h}(x_i) = g(x_i)$, then $\mathfrak{h}=h$.
The more common way to think about the free group on $X$ within category theory is in terms of adjoint functors. Specifically, we have the concretizing functor $\mathsf{U}\colon\mathsf{Group}\to\mathsf{Set}$, the underlying set functor, which is faithful. We define a functor $\mathsf{F}\colon \mathsf{Set}\to\mathsf{Group}$ with the following property: given a set $X$ and a group $G$, there is a natural bijection $$\mathsf{Set}(X,\mathsf{U}(G)) \cong \mathsf{Group}(\mathsf{F}(X),G).$$ The functor $\mathsf{F}$ is called the left adjoint of $\mathsf{U}$, and $\mathsf{U}$ is the right adjoint of $\mathsf{F}$; $\mathsf{F}$ is the "free group functor", that associates to each set $X$ the free group on $X$. The standard way to express the universal property is the following, which elides the functor $\mathsf{U}$:
Throughout we are abusing notation by considering a function between groups to be the same as the corresponding function between underlying sets.
So we usually think of "free object on $X$" as the image of $X$ under a functor that is the left adjoint of a concretizing functor, rather than as an object whose image is a universal arrow in the category $\mathsf{Set}$. This gives the "free commutative ring with unity on $X$" (the polynomial ring $\mathbb{Z}[X]$); the "free vector space over $F$ on $X$" (the vector space $F^{(X)}$), the "free topological space on $X$" (the set $X$ together with the discrete topology on $X$), etc.
Another way to think about the free group on $X$, entirely within the confines of group theory (without reference to functors), is to think of "the free group on $X$" as "the most general group that contains $X$ among its elements". In that sense, the set of reduced group words can be thought of as "all group elements we could construct starting from the elements of $X$, subject only to the rules that are inherent in any group: associativity, existence of inverses, and that inverses cancel each other out." You can think of it as taking products of elements, but "leaving everything that is not obvious indicated". We know that $x$ and $x^{-1}$ multiply to the identity, but in general we do not know what $x_1$ and $x_2$ will yield when multiplied... so we just "leave it indicated" by writing $x_1x_2$. When we identify the elements of $X$ with specific elements of a group $G$ via the map $f\colon X\to G$, we can now "evaluate" these products, because now we know which elements of the known group $G$ they are, and the morphism $h$ is just the "go ahead and evaluate all the expressions left indicated" morphism.
Note that like any universal object, there is in general no such thing as "the" free group on $X$. Rather, the free group on $X$ is only determined up to (unique) isomorphism, and there are many constructions that may reify it. "The set of reduced group words on $X$" is one such construction. If you want to see two other constructions, I recommend George Bergman's An Invitation to General Algebra and Universal Constructions, which is published by Springer. There is an older version available as a PDF from his website. In particular, take a look at the extensive discussion of three ways to construct "the free group" in Chapter 3.