Algebra

[marpessio]

Ho dei problemi con questi quesiti:
1)ogni sottosemigruppo di Z,+ è un sottogruppo?
2)Siano G un gruppo e H un sottogruppo.Si definisca la relazione p su G tramite: x p y se e solo se esiste h che appartiene ad H tale che y= hxh^-1
Si determini la classe di equivalenza di 1.
Nel caso in cui G=S4 e H=(id,(123),(132)), si determini la classe di equivalenza di (12)

Grazie