Algebra implicativă

În matematică , o algebră involutivă sau o algebră involutivă este o algebră prevăzută cu un izomorfism pe algebra sa opusă care este involutivă , adică cu un pătrat egal cu identitatea .

În această lucrare, K denotă un inel comutativ , iar algebrele unui inel comutativ sunt presupuse a fi asociative și unitare, iar homomorfismele dintre algebre sunt presupuse a fi unitare, adică trimite 1 peste 1.

Definiții și proprietăți ale algebrelor involutive

Implicații

Să A o algebră de peste K și μ multiplicare A .

Algebra opusă la A , notat A op , este K A -modul prevăzut cu receptorii p multiplicare definit de μ '( x , y ) = μ ( y , x ). Numim antiautomorfismul lui A orice izomorfism al lui K -algebra lui A pe A op .

Chemat involuția (de K algebra) din A tuturor antiautomorphism J a A astfel încât J ∘ J este identitatea A . Involuțiile lui K -algebra lui A nu sunt altele decât automorfismele K -modulul f al lui A astfel încât f ( xy ) = f ( y ) f ( x )), f ( f ( x )) = x și f ( 1) = 1 , indiferent de elementele x și y din a .

Fie R un inel. Numim involuția inelară a lui A orice involuție a lui Z- algebră a lui A , adică orice hartă f de la R la R astfel încât f ( x + y ) = f ( x ) + f ( y ), f ( xy ) = f ( y ) f ( x ), f ( f ( x )) = x și f (1) = 1 , indiferent de elementele x și y din R . În cazul în care R este un corp , vorbim de involuție corpului de R .

Algebre implicative

Chemat algebra involutiv pe K fiecare pereche ( A , σ) , formată dintr - un K algebră A și un σ involuție pe A . Pentru orice element x al A , numit uneori adjunct al x și reprezintă x * sigma elementului ( x ) din A .

Numim inel involutiv orice inel involutiv Z- algebră și numim corp involuant orice inel involutiv al cărui inel subiacent este un corp.

În analiză, definiția algebrelor involutive este puțin diferită: presupunem că sunt algebre complexe și că involuția J este R- liniară și astfel încât J ( ax ) = a J ( x ), pentru orice număr complex a și pentru orice element x al algebrei.

Exemple de algebre implicative

Construcția algebrelor implicative

Algebre involutive centrale simple

Vezi și tu

C * -algebra