nLab
Weyl ring
Contents
Context
Algebra
Group theory
group theory
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Contents
Idea
A -Weyl algebra.
Definition
Finitely generated Weyl rings
Given an abelian group , the -th Weyl ring is a ring with
-
an abelian group homomorphism
-
a function
-
a function
such that
-
for every number ,
-
for every number ,
-
for every number ,
-
for every number , implies
-
for every other ring with abelian group homomorphism with
-
a function
-
a function
where
-
for every number ,
-
for every number ,
-
for every number ,
-
for every number , implies
there is a unique ring homomorphism such that .
General Weyl rings
Given an abelian group and a set with stable equality, the -generated Weyl ring is a ring with
-
an abelian group homomorphism
-
a function
-
a function
such that
-
for every number ,
-
for every number ,
-
for every number ,
-
for every number , implies
-
for every other ring with abelian group homomorphism with
where
-
for every number ,
-
for every number ,
-
for every number ,
-
for every number , implies
there is a unique ring homomorphism such that .
See also
Last revised on May 11, 2022 at 12:00:32.
See the history of this page for a list of all contributions to it.