corootSpanMem_reflectionPerm_self

English

There is a symmetric relation between coroots and their span invariants under reflection, i.e., corootSpanMem self-reflection equals its negative.

Русский

Существуют симметричные взаимоотношения между короетами и их областями, при отражении: corootSpanMem_self отражение равно минусу.

LaTeX

$$$P.corootSpanMem\;S\;(P.reflectionPerm\;i\;i) = -P.corootSpanMem\;S\;i$$$

Lean4

theorem corootSpanMem_reflectionPerm_self [Module S N] (i : ι) :
    P.corootSpanMem S (P.reflectionPerm i i) = -P.corootSpanMem S i := by ext; simp

Похожие утверждения