MyWikiBiz, Author Your Legacy — Tuesday September 09, 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> |