OAI/GroupTheory/PolycyclicRecognition/Algebra/RationalScalarTwist.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Rational scalar twists of an ambient coefficient representation

  1. def OAI.PolycyclicRecognition.rationalScalarTwist line 18
  2. def OAI.PolycyclicRecognition.rationalScalarTwistRestrictionIso line 21
  3. def OAI.PolycyclicRecognition.normalHomologyAddAction line 37
  4. theorem OAI.PolycyclicRecognition.scalarTwist_conjugation_naturality line 43
  5. theorem OAI.PolycyclicRecognition.scalarTwistHomology_trivial line 60