Bonjour,
J'ai un souci :
Soitune algèbre unitaire munie d'une involution (noté avec une barre) compatible avec l'addition et la multiplication (
et
), soit
un élément n'appartenant pas à
, et on considère l'ensemble
On impose les axiomes suivants :
et
Je ne vois pas comment ces axiomes permettent de calculer
J'ai trouvé cela dans un document de John Baez (qui ne chante pas mais travaille à l'université de Californie Riverside), du coup je me demande si c'est moi qui ne comprends pas quelque chose ou s'il manque un axiome ...
Tout éclairage sera le bienvenu
Merci
-----