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

I think the title speaks for itself. Thus I just explain the story behind the question. Of course, you may want to skip the story.

Story: Currently, I teach a course in linear algebra and matrices with a mathematician colleague of mine. In preparing for the class, we discussed together about one of the standard theorems of matrices saying the product of two invertible matrices is invertible. To understand the theorem and its converse, I naturally came to the question asked in the title. To my surprise, neither the colleague I discussed with, nor four other mathematician colleagues of mine could come up with an answer. But the question seems very natural and it is very surprising if it has been remained unnoticed. That is why I came to MO to find the answer.

PS. None of the colleagues I asked the question is an expert in algebra, and I am a mathematics educator.

PPS. You may replace "monoid" with whatever you wish, providing that you keep the rest of the title intact! Please keep your example natural (if there is one)!

share|improve this question
3  
See the first answer to this question. It also gives a counterexample to your question. –  J.-E. Pin Sep 17 '13 at 15:49
    
The question you linked, and its answers, indeed also included both examples and counterexamples to some of my attempts to solve the problems. Thanks. –  Amir Asghari Sep 17 '13 at 18:10
2  
it seems we have 3 answers with the same counterexample! –  Benjamin Steinberg Sep 17 '13 at 19:04
    
@BenjaminSteinberg And I wonder which one I shall "accept"! :) –  Amir Asghari Sep 17 '13 at 19:17
    
All of them???? –  Benjamin Steinberg Sep 17 '13 at 19:19

3 Answers 3

up vote 10 down vote accepted

Well, why not?

Let $\oplus_{n \in \mathbb{N}} k$ be a direct sum of countably many copies of a 1-dimensional space over a field $k$; the direct sum affords a standard basis $e_i = (0, \ldots, 0, 1, 0, \ldots)$ with $1$ in the $i^{th}$ place. Define endomorphisms $A$, $B$ by $A(e_i) = e_{i-1}$ for $i \gt 1$, $A(e_1) = e_1$, and $B(e_i) = e_{i+1}$. I think you'll agree that $A B$ (first apply $B$, then apply $A$) is the identity, but $B A$ isn't invertible.

share|improve this answer
2  
Heck, why even bother with vector spaces. For monoids, just use the same idea applied to the set $\mathbb{N}$. But since this came up while discussing linear algebra... –  Todd Trimble Sep 17 '13 at 15:43
1  
@AmirAsghari: In Todd's example, $A(e_1) = A(e_2) = e_1$, thus $A$ is not invertible. Further, $e_1 \notin {\rm im}(B)$, thus $B$ is not invertible either. –  Stefan Kohl Sep 17 '13 at 16:02
    
@StefanKohl At the first glance, I didn't get the point of Todd's answer. But, then I worked on the details, and I got it. Yet, I thank you for the details you added –  Amir Asghari Sep 17 '13 at 18:00

There is exactly one monoid generated by two elements $p,q$ such that $pq=1$ but $qp\ne 1$. This is the bicyclic monoid $B$. In this monoid $p,q$ are not invertible while their product is 1 (hence invertible). Conversely, if a monoid contains $a,b$ such that $ab$ is invertible, then for some $c, abc=1$. If in addition $a$ is not invertible, then $bca\ne 1$. Hence $a, bc$ must generate a copy of the bicyclic monoid $B$. Thus $B$ is the smallest counterexample to your question.

share|improve this answer
    
Dear Mark. Many thanks for your answer. I "accepted" Todd's since as a "general" reader I learned more from that. –  Amir Asghari Sep 19 '13 at 19:11

The shift operator $S$ and its adjoint $S^*$ on $\ell^2(\mathbb{N})$ make another example. They are defined as follows: $$S(\delta_n):=\delta_{n+1}, \quad \forall n\in \mathbb{N}$$ and $$S^*(\delta_{n+1}):=\delta_{n}, \quad \forall n\in \mathbb{N}$$ and $S^*(\delta_{1}):=0$, where $\delta_n$ is the characteristic function of the set $\{n\}$ and we extend $S$ and $S^*$ linearly. It is easy to see that $SS^*\neq id$, while $S^* S=id$. Therefore, they are not invertible, but $S^* S$ is invertible.

share|improve this answer
1  
Oops, I just noticed Todd's answer uses the same idea! –  Vahid Shirbisheh Sep 17 '13 at 17:43
1  
Dear Vahid, many thanks for your answer. I am sure it doesn't matter that much, but since your answer was essentially the same as Todd's, I accepted his answer. He was first :) –  Amir Asghari Sep 19 '13 at 19:16

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.