Operazioni binarie con stessa identità bilatera

[lewis1]

Ciao a tutti, dopo aver fatto lo scritto devo sostenere l'ultimo esame universitario orale di Matematica Discreta per potermi laureare in Informatica.
Ho problemi nel fare il seguente esercizio presente in un tema d'esame, nel senso che non ho proprio idea di come impostarlo:

Siano:

# : A x A $->$ A
* : A x A $->$ A

due operazioni binarie su un insieme A aventi la stessa identità bilatera e. Si dimostri che se vale l'identità (a*b)#(c*d)=(a#c)*(b#d) per ogni a, b, c, d in A allora le due operazioni sono uguali, commutative ed associative.

Voi sapreste gentilmente aiutarmi?

Grazie in anticipo!

[G.D.5]

Per provare che sono uguali devi far vedere che $\forall (x,y) \in A\times A, \#(x,y)=\star(x,y)$.
Per fare questo ti basta usare quella identità con $a=x,b=y,c=e$.

Se quanto detto non basta, in spoiler c'è un ulteriore indizio.

Parti da $x#y=(x\star y)#(b \star e)$ e prosegui commutando nella parentesi giusta e usando l'identità.

[lewis1]

Ciao.
in realtà non ho capito molto dei suggerimenti che mi hai gentilmente postato...l'unica cosa che ho capito è che, evidentemente, quello che avevo pensato io è follia pura...
infatti io avevo pensato una cosa del genere:
per ipotesi, visto che a,b,c,d $in$ A e le operazioni succitate sono così definite per ipotesi,

(a * b) = e; (b * c) = e

(a #c) = e ; (b#d) = e

perciò l'identità scritta verrebbe tipo

e # e = e * e

ma anche le due operazioni e # e, e * e essendo definite in quel modo per ipotei rissultano essere uguali ciascuna ad e

( le due operazioni sono perciò uguali, no?)

ovviamente, anche applicando la proprietà commutativa viene la stessa cosa, e si possa pertanto dimostrare la commutatività.
dove sta l'errore del mio rgionamento? perchè, in effetti, se l'esercizio si risolvesse così (magari!!!) sarebbe troppo facile...no?

Ciao e grazie per la pazienza.