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