24/01/2019, 00:32
28/01/2019, 01:30
emdant ha scritto:Per mostrare la prima parte ($\Rightarrow$) ho considerato, essendo $S^1 = S uu {1}$, allora $S^1$ è un monoide, per provare che è cancellativo ho detto che $AA t_1, t_2 in S^1$ si ha che
$1*t_1 = 1*t_2 rArr t_1 = t_2$ e
$t_1*1 = t_2*1 rArr t_1 = t_2$ (sia a destra che a sinistra perché 1 è identità),
per cui $S^1$ è un monoide cancellativo.
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.