In algebra astratta, l'Algebra di Weyl è l'anello formato dagli operatori differenziali con coefficienti polinomiali in una sola variabile. Le algebre di Weyl prendono il nome da Hermann Weyl, che le introdusse in meccanica quantistica nello studio del principio di indeterminazione di Heisenberg.

Definizione modifica

Dato un campo  ,   è l'anello dei polinomi nella variabile   a coefficienti in  . Indicando la derivata rispetto a   con il simbolo  , un elemento dell'algebra è scritto nella forma:

 

dove  .

Proprietà modifica

L'algebra di Weyl è un esempio di anello semplice che non è un anello di matrici su un anello con divisione. Inoltre è anche un dominio non commutativo e una estensione di Ore.

Definizione tramite presentazione modifica

L'algebra di Weyl si può definire anche come l'algebra generata dalla seguente presentazione:

 ,

ovvero come il quoziente dell'algebra libera con due generatori   sull'ideale generato dalla relazione  .

Estensioni modifica

L'agebra di Weyl è un caso particolare di una famiglia infinita di algebre (algebre di Weyl); l'n-esima algebra di Weyl è l'anello degli operatori differenziali con coefficienti polinomiali in n variabili, generata da   e  .

Bibliografia modifica

Collegamenti esterni modifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica