Documentation

LeanPool.BrauerGroupNew

Brauer Group Core #

Source: url:https://doi.org/10.1017/9781316661277 Authors: Yunzhou Xie, Yichen Feng, Jujian Zhang, Yael Dillies Status: verified Main declarations: BrauerGroup.BruaerGroup, BrauerGroupHom.Br, WedderburnArtin Tags: algebra, ring-theory, central-simple-algebras, brauer-groups MSC: 16K20, 16K50, 16S35