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

This question is somewhat related to Tilmans notorious problem in this post. Let $(M,\cdot)$ be a monoid with unit $1$ and set $$(M,\cdot)^{\times} := \lbrace x \in M \mid \exists y \in M : xy=yx=1 \rbrace.$$ Let $k$ be a field (say $\mathbb Z/ 2 \mathbb Z$) and let $k[M]$ be the monoid ring of $M$ with coefficients in $k$. Consider now $$GL(k[M]) := (k[M],\cdot)^{\times}.$$

Question:(answered by Torsten Ekedahl) Can it happen that $(M,\cdot)^{\times} = \lbrace 1 \rbrace$ but $\lbrace 1 \rbrace \subsetneq GL(k[M])$?

EDIT: Torsten Ekedahl has nicely answered the above question. However, since I was really missing a condition, I will take the opportunity to change it slightly.

Question: If $(M,\cdot)^{\times} = \lbrace 1 \rbrace$, can $k[M]$ contain an invertible element $z \in GL(k[M])$, such that the coefficient of $z$ at $1$ is zero?

share|improve this question

2 Answers 2

Let $R$ be a finite dimensional algebra over $\mathbb Z/2$. Then $\{1\}\neq R^\times$ unless $R=(\mathbb Z/2)^n$. Indeed, if $N$ is the radical of $R$, then $1+N\subseteq R^\times$ so we may assume $R$ is semi-simple. Then $R=\prod_iR_i$ where the $R_i$ are simple algebras and $R^\times=\prod_iR_i^\times$ so we may assume that $R$ is simple and hence a matrix algebra over some extension field of $\mathbb Z/2$. The only such algebra with only the trivial unit is $\mathbb Z/2$.

Now, pick any finite monoid $M$ with $M^\times=\{1\}$ and apply the above to $R=\mathbb Z/2[M]$. This gives that $R^\times=\{1\}$ precisely when $M$ is a commutative monoid where every element is idempotent. As an explicit example where this is not the case we may let $M$ be the identity matrix plus all non-invertible matrices of fixed size $>1$ over some finite field.

share|improve this answer
    
I see. This also implies that every unit in such a monoid ring contains 1 in its support. That is were I went wrong. I thought existence of non-trivial left-invertible elements would be a consequence of the existence of units in the monoid ring, but that is wrong. I hope you allow me to change the question slightly. –  Andreas Thom Oct 23 '10 at 12:17

If your monoid $M$ is finite the non-invertible elements form an ideal of the monoid and hence they span an ideal of kM. So any invertible element of the algebra must have an invertible element of the monoid in its support. So the answer to your second question is no.

share|improve this answer
    
Yes, the same holds if left-invertible is equivalent to right-invertible; which if holds in finite monoids. The question is only interesting if these notions are not equivalent. –  Andreas Thom Jun 24 '11 at 6:08
    
Sorry, I had the impression from the previous answers that you were looking at finite monoids. More generally, the set of elements $L$ of the monoid $M$ that are not left invertible is a proper left ideal. Therefore, the span $kL$ is a proper left ideal of $kM$. It follows that any invertible element must contain a left invertible element in its support and dually a right invertible element. I will try to think whether this situation can come up without having an invertible element. –  Benjamin Steinberg Jun 25 '11 at 14:00
    
I checked in the literature and it seems that every unit in the algebra of the monoid defined by the presentation $\langle a,b\mid ab=1\rangle$ does have $1$ in its support. –  Benjamin Steinberg Jun 27 '11 at 20:55
    
Benjamin, your second comment is precisely the difficult part. Why should there be an invertible element in the support? –  Andreas Thom Jul 3 '11 at 11:45

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.