Ensemble luni d'une loi

[biss]

Salut je voudrais posé une question
Dès fois on me donne un ensemble muni d'une loi * et puis je dois montrer que c'est un groupe seulement ça m'est impossible de savoir s'il admet une loi de composition interne alors je me suis dis que peut être en disant ''Ensemble muni d'une loi * '' ils veulent dire ''Ensemble muni d'une loi de composition interne * '' cc'est vrai que la phrase est plus lon du coup et cça prend de la place :zen: alors a votre avis ?

[Sylviel]

De deux choses l'une :
- soit la loi est définie sur un sur-ensemble de l'ensemble étudié et il faut vérifié qu'elle induit bien une loi de composition interne (i.e si pour tout x,y\inE, si x*y a du sens, il faut montrer que x*y \in E aussi).
- soit la loi n'est pas explicite et dans ce cas on peut supposer que par "loi" est sous-entendu "loi de composition interne"

[biss]

De deux choses l'une :
- soit la loi est définie sur un sur-ensemble de l'ensemble étudié et il faut vérifié qu'elle induit bien une loi de composition interne (i.e si pour tout x,y\inE, si x*y a du sens, il faut montrer que x*y \in E aussi).
- soit la loi n'est pas explicite et dans ce cas on peut supposer que par "loi" est sous-entendu "loi de composition interne"

Merci
Du coup ou se trouve la place de cet exo par mis les 2 que ta cité [img][img]http://image.noelshack.com/minis/2015/48/1448559625-img-20151127-174141.png[/img][/IMG]

[Sylviel]

Dans le deuxième ta loi est forcément interne.

[biss]

Mais pourtant il disent juste que c'est une loi associative et donc rien ne dis que c'est aussi une loi de composition interne

[zygomatique]

salut

que voudrais-tu faire avec une loi qui ne soit pas interne ? ....

[biss]

Montrer qu'il est interne

[Sylviel]

Si ta loi n'est pas interne l'exercice n'a pas de sens !
que pourrais bien signifier (a*b)*c ? (nécessaire pour que * soit associative).