Welcome to MathOverflow

Question

1

Anyone knows how to describe explicitly the submonoids of Z_n, regarded as a multiplicative monoid?

edited Mar 24 2012 at 19:45

Martin Brandenburg
29.5k●2●47●133

asked Mar 24 2012 at 18:43

Camilo Salazar
19●1

2

Martin, I don't understand your hint. $Z_n$ (which I assume to be integers modulo $n$) is not a group wrt multiplication, and unless $n$ is prime contains non-zero nilpotents, so is not even a sum of submonoids of groups – Yemon Choi Mar 24 2012 at 20:53

Right, I've deleted my comment. Thanks. – Martin Brandenburg Mar 24 2012 at 21:31

Mark Sapir · Answer 1 · 2012-04-16 08:26:59Z UTC

Subsemigroups of finite commutative (even cyclic) semigroups are complicated. For example every finite lattice embeds into the lattice of subsemigroups of a finite cyclic semigroup (hence into the lattice of submonoids of one of the $\mathbb{Z}_n$. See Repnitskii, Vladimir, On subsemigroup lattices without nontrivial identities. Algebra Universalis 31 (1994), no. 2, 256–265.

Benjamin Steinberg · Answer 2 · 2012-03-25 13:11:34Z UTC

To supplement Mark's answer, note that every non-invertible element of $Z/p^n$ is nilpotent. So the idempotents in this case are 0,1. Thus if m is divisible by exactly k primes, then $Z/m$ has semilattice of idempotents the power set of a k-element set by the Chinese remainder theorem. Of course every k element semilattice embeds in the power set of a k-element set so even the lattice of semilattice submonoids can be complicated.

submonoids of Z_n

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.