The diamond lemma
Spa: The Diamond Lemma provides a general method in order to prove that certain sets are bases of algebras which are defined in terms of generators and relations. For instance, the Poincar´e-Birkhoff-Witt theorem for enveloping algebras can be derived from it. We present some examples that illustrat...
| Автор: | |
|---|---|
| Формат: | Documento de Conferencia |
| Мова: | spa |
| Опубліковано: |
2021
|
| Онлайн доступ: | http://repositorio.uptc.edu.co/handle/001/7824 |
