Documentation
BrauerGroup
Search
return to top
source
Imports
Init
BrauerGroup.AbsoluteIsoH2
BrauerGroup.AlgClosedUnion
BrauerGroup.BrauerGroup
BrauerGroup.BrauerOverR
BrauerGroup.CentralSimple
BrauerGroup.Centralizer
BrauerGroup.CrossProductAlgebra
BrauerGroup.DoubleCentralizer
BrauerGroup.ExtendScalar
BrauerGroup.FieldCat
BrauerGroup.FiniteField
BrauerGroup.FrobeniusTheorem
BrauerGroup.IsoSecond
BrauerGroup.LemmasAboutSimpleRing
BrauerGroup.MatrixCenterEquiv
BrauerGroup.MatrixEquivTensor
BrauerGroup.MoritaEquivalence
BrauerGroup.RelativeBrauer
BrauerGroup.SkolemNoether
BrauerGroup.SplittingOfCSA
BrauerGroup.ToSecond
BrauerGroup.TwoSidedIdeal
BrauerGroup.Wedderburn
BrauerGroup.ZeroSevenFourE
BrauerGroup.Azumaya.Basic
BrauerGroup.Azumaya.Group
BrauerGroup.Azumaya.Mul
BrauerGroup.CSA.ReducedCharPoly
BrauerGroup.Morita.ChangeOfRings
BrauerGroup.Morita.TensorProduct
BrauerGroup.Subfield.Defs
BrauerGroup.Subfield.FiniteDimensional
BrauerGroup.Subfield.Separable
BrauerGroup.Subfield.Splitting
BrauerGroup.Subfield.Subfield
BrauerGroup.examples.CohomologyofCyclic
BrauerGroup.Mathlib.FieldTheory.Separable
BrauerGroup.Mathlib.RingTheory.MatrixAlgebra
BrauerGroup.examples.ShortComplex.LeftHomologyMapData
BrauerGroup.Mathlib.Algebra.Algebra.Equiv
BrauerGroup.Mathlib.Data.DFinsupp.Submonoid
BrauerGroup.Mathlib.LinearAlgebra.LinearIndependent.Defs
BrauerGroup.Mathlib.RingTheory.Congruence.Basic
BrauerGroup.Mathlib.RingTheory.Congruence.Defs
BrauerGroup.Mathlib.RingTheory.NonUnitalSubring.Defs
BrauerGroup.Mathlib.RingTheory.NonUnitalSubsemiring.Basic
BrauerGroup.Mathlib.RingTheory.NonUnitalSubsemiring.Defs
BrauerGroup.Mathlib.RingTheory.TensorProduct.Basic
BrauerGroup.Mathlib.RingTheory.TwoSidedIdeal.Basic
BrauerGroup.Mathlib.RingTheory.TwoSidedIdeal.Kernel
BrauerGroup.Mathlib.RingTheory.TwoSidedIdeal.Lattice
BrauerGroup.Mathlib.RingTheory.TwoSidedIdeal.Operations
BrauerGroup.Mathlib.Algebra.Algebra.Subalgebra.Basic
BrauerGroup.Mathlib.Algebra.Algebra.Subalgebra.Directed
BrauerGroup.Mathlib.Algebra.Algebra.Subalgebra.Lattice
BrauerGroup.Mathlib.LinearAlgebra.Matrix.Charpoly.Basic
BrauerGroup.Mathlib.LinearAlgebra.Matrix.Determinant.Basic
BrauerGroup.Mathlib.LinearAlgebra.Matrix.GeneralLinearGroup.Basic
BrauerGroup.Mathlib.RepresentationTheory.Homological.GroupCohomology.LowDegree
Imported by