bonjour,
T interne et associative c'est immédiat puisque°l'est
tu cherches
*s'il y a bien un élément neutre e' c'est à dire s'il existe e' de G tel que pour tout x de G  xTe'=x=e'Tx soit x°a°e'=e'°a°x=x
*si tout x de G admet bien un symétrique pour T c'est à dire s'il existe y de G tel que xTy=e'=yTx