MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search
485 bytes added
, 19:42, 12 February 2009
| Line 4,047: |
Line 4,047: |
| | | valign="top" | | | | valign="top" | |
| | <math>\begin{align} | | <math>\begin{align} |
| − | \operatorname{Der}(L) | + | \operatorname{Der}^L |
| | & = & \{ & (x, y) \in S \times I ~: \\ | | & = & \{ & (x, y) \in S \times I ~: \\ |
| | & & & \begin{align} | | & & & \begin{align} |
| Line 4,062: |
Line 4,062: |
| | |- style="height:40px" | | |- style="height:40px" |
| | | | | | |
| − | | <math>\operatorname{F2.2b.}</math> | + | | valign="top" | <math>\operatorname{F2.2b.}</math> |
| − | | <math>\upharpoonleft \operatorname{Der}^L \upharpoonright</math> | + | | valign="top" | |
| | + | <math>\begin{align} |
| | + | \upharpoonleft \operatorname{Der}^L \upharpoonright |
| | + | & = & \upharpoonleft \{ & (x, y) \in S \times I ~: \\ |
| | + | & & & \begin{align} |
| | + | \underset{o \in O}{\operatorname{Conj}} \\ |
| | + | & \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) & = \\ |
| | + | & \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) & \\ |
| | + | \end{align} \\ |
| | + | & & \} \upharpoonright & \\ |
| | + | \end{align}</math> |
| | | style="border-left:1px solid black; text-align:center" | | | | style="border-left:1px solid black; text-align:center" | |
| | <math>\operatorname{F2.2b~:~R11b}</math> | | <math>\operatorname{F2.2b~:~R11b}</math> |