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$?
$\begingroup$
$\endgroup$
3
-
$\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 SteinbergCommented Jul 29, 2012 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 SteinbergCommented Jul 29, 2012 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 PasemanCommented Jul 29, 2012 at 16:32
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
4
$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.
-
$\begingroup$ Since S is commutative, Wedderburn seems a bit like overkill, IMHO. $\endgroup$– user9072Commented Jul 30, 2012 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$– user6976Commented Jul 30, 2012 at 16:36
-
$\begingroup$ @Mark Sapir: somehow I overlooked that final remark. Sorry for the noise and thanks for the reply. $\endgroup$– user9072Commented Jul 30, 2012 at 16:58
-
$\begingroup$ The interesting question is when S is a semigroup with zero when is it the semigroup of a ring. $\endgroup$ Commented Jul 31, 2012 at 1:49