Monoidring/Obermonoid/Endlicher Abschluss/ist Monoid/Aufgabe

Seien ${}M\subseteq N$ kommutative Monoide. Zeige, dass durch

{}{\tilde {M}}={\left\{n\in N\mid {\text{es gibt }}k\in \mathbb {N} _{+}{\text{ mit }}kn\in M\right\}}\,

ein Untermonoid von

{}N

gegeben ist, das

{}M

umfasst.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.