3
$\begingroup$

Let $S$ be a finite commutative semigroup with identity. Under what conditions (on the semigroup $S$) it is possible to find a ring $R$ such that the multiplicative structure of $R - \{0\}$ is isomorphic to $S$?

$\endgroup$
  • $\begingroup$ R-0 Is rarely a semigroup. You want to look at which commutative semigroups with zero are multiplicative semigroups of rings. The question of which semigroups can be the multiplicative semigroup of a ring is classical. I suggest you google this subject. I am not sure how complete the answers are in general but for finite commutative maybe the answer is known. $\endgroup$ – Benjamin Steinberg Jul 29 '12 at 14:46
  • $\begingroup$ Googling would seem to indicate that this is in general an open question but the answer is known if each element is idempotent (since we are in the Boolean ring case here). $\endgroup$ – Benjamin Steinberg Jul 29 '12 at 15:10
  • $\begingroup$ Note that his conditions would have R be a ring with no zero divisors, so the situation gets close to asking about the structure of multiplication of skew fields and ordinary fields. Gerhard "Ask Me About System Design" Paseman, 2012.07.29 $\endgroup$ – Gerhard Paseman Jul 29 '12 at 16:32
6
$\begingroup$

$S$ must be a cyclic group of order $p^n-1$ for some prime $p$ and natural $n$. Indeed, since $R\setminus \{0\}$ is a semigroup under multiplication, $R$ does not have zero divisors. Hence $R$ is a division ring. Since $S$ is finite, $R$ is a finite division ring, hence, by Wedderburn, a finite field. Therefore $S$ must be the multiplicative group of a finite field, hence a cyclic group of order $p^n-1$. Note that you do not need to assume that $S$ is commutative.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Since S is commutative, Wedderburn seems a bit like overkill, IMHO. $\endgroup$ – user9072 Jul 30 '12 at 16:09
  • $\begingroup$ @quid: Of course, that is why I wrote that one does not need to assume that $S$ is commutative, just finite. $\endgroup$ – user6976 Jul 30 '12 at 16:36
  • $\begingroup$ @Mark Sapir: somehow I overlooked that final remark. Sorry for the noise and thanks for the reply. $\endgroup$ – user9072 Jul 30 '12 at 16:58
  • $\begingroup$ The interesting question is when S is a semigroup with zero when is it the semigroup of a ring. $\endgroup$ – Benjamin Steinberg Jul 31 '12 at 1:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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