Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am aware that the following question is a very basic one and therefore I would not be at all offended if it were to be closed. Moreover, I am not familiar at all with category theory.

Let $\mathcal{C}$ be a concrete category and $X$ be a free object of $\mathcal{C}$.

If $Y_1$ and $Y_2$ are both free subobjects of $X$, then is the intersection, $Y_1 \cap Y_2,$ free?

share|improve this question

2 Answers 2

up vote 6 down vote accepted

It's not in general true for the category of modules for a ring.

For example, let $R=\mathbb{C}[x]/(x^2)$, let $X=R\oplus R$ be the free module on two generators, and let $Y_1$ and $Y_2$ be the submodules of $X$ generated by $(1,0)$ and $(1,x)$ respectively. Then $Y_1$ and $Y_2$ are both free modules on one generator, but $Y_1\cap Y_2$ is one-dimensional, spanned by $(x,0)$, and is not free.

share|improve this answer
    
Great example. Thanks, Jeremy. –  Samuele Giraudo Jan 10 at 22:05

This is true for submonoids of a free monoid, but not for free submonoids of non-free monoid. See

Tilson, B., The Intersection of Free Submonoids of a Free Monoid is Free. Semigroup Forum 4, (1972), 345-350.

Addendum: Recently I found an article:

Shubh Narayan Singh, K.V. Krishna. A sufficient condition for the Hanna Neumann property of submonoids of a free monoid. Semigroup Forum, 86(2013), pp.537–554.

It contains many useful references.

share|improve this answer
    
Indeed, I know for the while only the proof given in Lothaire's $\textit{Combinatorics on words}$. The reason why I ask this is because I consider intersection of many other free (combinatorial) algebraic structures than monoids and I would hope that a categorical argument imply their freeness. Since this is not the case (see Jeremy's answer) the only way seems to proceed case by case. –  Samuele Giraudo Jan 10 at 22:10
    
Yes, I think you are right. –  Boris Novikov Jan 10 at 22:23
    
And by the way, thanks for the reference! –  Samuele Giraudo Jan 10 at 22:26
    
You are welcome. –  Boris Novikov Jan 10 at 22:26

Your Answer

 
discard

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.