Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In the following proof $A^*$ here is a Kleele closure and $*$ is a product of $a$'s or "concatanation":

Proposition 1.9. $A^*$ has the UMP of the free monoid on A.
Proof. Given $f:A\to|N|$, define $\bar{f}:A^* \to N$ by
$\bar{f}(-) = u_N$, the unit of $N$
$\bar{f}(a_1 ... a_i) = f(a_1) \cdot_N ... \cdot_N f(a_i)$

Then $\bar{f}$ is clearly a homomorphism with
$\bar{f}(a) = f(a)$ for all $a \in A$

If $g:A^* \to N$ also satisfies $g(a)=f(a)$ for all $a\in A$, then for all $a_1 ... a_i \in A^*$:

$$ g(a_1 ... a_i) = g(a_1 * ... * a_i)) \\ =g(a_1) \cdot_N ... \cdot_N g(a_i)$$

How does the author get from $*$ to $\cdot_N$?
I mean how does the author know that $g$ also has a $\cdot_N$ operator in $N$?

share|improve this question
add comment

1 Answer 1

up vote 3 down vote accepted

The operation $\cdot_N$ is the monoid operation in $N$; it has nothing to do specifically with $f$ or $g$. In that last line the objects $g(a_1),\dots,g(a_i)$ are elements of $N$, simply because $N$ is the codomain of $g$, so they can be combined using the operation $\cdot_N$ of $N$, just like any other elements of $N$.

share|improve this answer
Yeah, but how does he know that $g(a_1)*g(a_2)$ equals $g(a_1)\cdot_N g(a_2)$ and not, say, $g(a_3)\cdot_N g(a_5)$? –  drozzy Nov 13 '12 at 5:19
@drozzy: Because $g$ satisfies $g(a)=f(a)$ for all $a\in A$ (though you accidentally left that out the $=f(a)$ part of that) and is a monoid homomorphism, so necessarily $g(a_1\ast a_2)=g(a_1)\cdot_N g(a_2)$. The proof is by induction on the number of letters: $g(a)=f(a)$ for $a\in A$ takes care of single letters, and the homomorphism property gives you the induction step. –  Brian M. Scott Nov 13 '12 at 5:29
Oops, fixed. Reading your comment now. Thanks. –  drozzy Nov 13 '12 at 5:30
Ooh shoot. I forgot that $A^*$ was a monoid! I thought it was just a set! And I completely forgot the definition of the homomorphism for categories. Thanks for correcting me twice! –  drozzy Nov 13 '12 at 5:35
@drozzy: You’re welcome! (It happens; don’t worry too much about it.) –  Brian M. Scott Nov 13 '12 at 5:51
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.