Algebra graduata

In matematica, in particolare nell'algebra astratta, un'algebra graduata è un'algebra su campo (o anello commutativo), con un ulteriore pezzo della struttura, conosciuta come una gradazione (o classificazione).

Anello graduato

Un anello graduato A {\displaystyle A} è un anello tale che esista una famiglia { A n } n N {\displaystyle \{A_{n}\}_{n\in \mathbb {N} }} di sottogruppi abeliani additivi di ( A , + ) {\displaystyle (A,+)} che decompongano A {\displaystyle A} in una somma diretta:

A = n N A n = A 0 A 1 A 2 {\displaystyle A=\bigoplus _{n\in \mathbb {N} }A_{n}=A_{0}\oplus A_{1}\oplus A_{2}\oplus \cdots }

in modo tale che l'anello moltiplicativo soddisfi la seguente proprietà:

x A s , y A r x y A s + r , {\displaystyle x\in A_{s},y\in A_{r}\implies xy\in A_{s+r},}

ossia

A s A r A s + r , {\displaystyle A_{s}A_{r}\subseteq A_{s+r},}

per tutti gli indici r , s N {\displaystyle r,s\in \mathbb {N} } .

Gli elementi A n {\displaystyle A_{n}} sono noti come elementi omogenei di grado n {\displaystyle n} . Dalla definizione segue immediatamente che ogni elemento a A {\displaystyle a\in A} ammette una decomposizione unica come somma:

a = n a n , {\displaystyle a=\sum _{n}a_{n},}

dove a n A n {\displaystyle a_{n}\in A_{n}} per tutti gli n N {\displaystyle n\in \mathbb {N} } ; gli elementi a n {\displaystyle a_{n}} sono talvolta chiamati parti omogenee di a {\displaystyle a} .

Un sottoinsieme a A {\displaystyle {\mathfrak {a}}\subset A} è omogeneo se per ogni elemento a a {\displaystyle a\in {\mathfrak {a}}} , le parti omogenee di a {\displaystyle a} sono anche contenute in a . {\displaystyle {\mathfrak {a}}.}

Se I {\displaystyle I} è un ideale omogeneo di A , {\displaystyle A,} allora A / I {\displaystyle A/I} è un anello graduato e possiede la seguente decomposizione:

A / I = n N ( A n + I ) / I . {\displaystyle A/I=\bigoplus _{n\in \mathbb {N} }(A_{n}+I)/I.}

Algebra graduata

Un'algebra A {\displaystyle A} su un anello R {\displaystyle R} è un'algebra graduata se è graduata come anello. Nel caso in cui l'anello R {\displaystyle R} sia anche un anello graduato, allora si richiede che:

  1. A i R j A i + j , {\displaystyle A_{i}R_{j}\subset A_{i+j},}
  2. R i A j A i + j . {\displaystyle R_{i}A_{j}\subset A_{i+j}.}

Si noti che la definizione di anello graduato su un anello non graduato è il caso particolare della definizione di quest'ultimo dove R {\displaystyle R} è graduato in modo banale (ogni elemento di R {\displaystyle R} è di grado zero).

Bibliografia

  • Bourbaki, N. (1974) Algebra I (Chapters 1-3), ISBN 978-3-540-64243-5, Chapter 3, Section 3.
  • (EN) D.V. Volkov, V.P. Akulov, Pisma Zh.Eksp.Teor.Fiz. 16 (1972) 621; Phys. Lett. B46 (1973) 109.
  • (EN) V.P. Akulov, D.V. Volkov, Teor.Mat.Fiz. 18 (1974) 39.

Voci correlate

Collegamenti esterni

  • (EN) A Supersymmetry Primer, S. Martin, 1999.
  • (EN) Introduction to Supersymmetry, Joseph D. Lykken, 1996.
  • (EN) An Introduction to Supersymmetry, Manuel Drees, 1996.
  • (EN) Introduction to Supersymmetry, Adel Bilal, 2001.
  • (EN) An Introduction to Global Supersymmetry (PDF). URL consultato il 17 maggio 2019 (archiviato dall'url originale il 15 gennaio 2013), Philip Arygres, 2001.
  • (EN) Weak Scale Supersymmetry (archiviato dall'url originale il 4 dicembre 2012), Howard Baer and Xerxes Tata, 2006.
  • (EN) Brookhaven National Laboratory (8 gennaio 2004). New g−2 measurement deviates further from Standard Model (archiviato dall'url originale il 26 gennaio 2017).
  • (EN) Fermi National Accelerator Laboratory (25 settembre 2006). Fermilab's CDF scientists have discovered the quick-change behavior of the B-sub-s meson..
  Portale Fisica
  Portale Matematica