OAI/GroupTheory/PolycyclicRecognition/Geometry/WeightedWordSubalgebra.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Word length equals scalar degree in the universal construction

  1. def OAI.PolycyclicRecognition.weightedWord line 13
  2. theorem OAI.PolycyclicRecognition.weightedWord_one line 16
  3. theorem OAI.PolycyclicRecognition.weightedWord_mul line 19
  4. def OAI.PolycyclicRecognition.weightedWordSpan line 23
  5. theorem OAI.PolycyclicRecognition.weightedWordSpan_mul line 26
  6. def OAI.PolycyclicRecognition.weightedWordSubalgebra line 52
  7. theorem OAI.PolycyclicRecognition.weightedWordSubalgebra_parameter_letter line 62