Difference between revisions of "User:Ulf Rehmann/Table of automatically generated TeX code"
Ulf Rehmann (talk | contribs) (Corrections (Draft)) |
Ulf Rehmann (talk | contribs) m (Ulf Rehmann moved page User:Ulf Rehmann/Table to User:Ulf Rehmann/Table of automatically generated TeX code) |
||
(47 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | {| class="wikitable | + | This page gives an analysis of [[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|the code here]], [[User:Maximilian Janisch/latexlist|generated automatically from some png files underlying our old wiki pages]]. |
− | !| Nr. | + | As this page does contain a lot of $\TeX$ code, it loads slowly. |
− | !| Image of png File | + | |
− | !| $\TeX$, | + | Under the name of some of our EoM-pages the table below lists some png files, displaying their image and their $TeX$ rendering (automatically retrieved and corrected by hand). |
− | !| $\TeX$, | + | The first column gives the running number in this table, followed (in parentheses) by the number used [[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E| here]]. |
− | !| Confidence, F? | + | The last column gives the confidence and the name of the png file, followed (in parentheses) by the number it has in the sequence of all png files called by its calling EoM-page. |
− | + | ||
− | + | Here is a short survey of the more systematic errors which seem to occur: | |
− | + | ||
+ | ; 1. Trailing punctuation is dismissed. | ||
+ | :[concerns almost all images] ; technically: pixels in sparse last pixel columns of bit images are suppressed/ignored? | ||
+ | |||
+ | ; 2. "Displayed" images are not recognized as such. | ||
+ | :[concerns almost all images] | ||
+ | :Therefore these are displayed too small, and like "inline" $\TeX$ format. | ||
+ | : | ||
+ | :Remark: This cannot be discovered from the png file, it has to be retrieved from the html markup in the calling file: Displayed images are embedded in some html <table> markup. | ||
+ | : | ||
+ | ;3. Sparse initial column pixels of the bit image are dismissed | ||
+ | :(in parts this affects essential symbols), [see nr. 15,16,36,43,58,59,60,61,62,63,97,109] | ||
+ | |||
+ | ;4. Some fonts are not recognized: | ||
+ | :\cal: [7.12.25.26,30,31,32,33,95,111] \mathbf: [30,83,111,127] \bf:[ 133,148,149] | ||
+ | : | ||
+ | ;5. Semi-colon is interpreted as double pipe = "||" :[33,49,86,101] | ||
+ | : | ||
+ | ;6. Some code is not displayed at all. | ||
+ | : (This seems to be a bug of our MathJax TeX interpreter.) [67,74,78,81,83,94,101,106] | ||
+ | : This seems to happen when a string "\text {" is involved, can apparently be fixed by using "\text{", but still unclear. | ||
+ | : | ||
+ | ;7. Questions: | ||
+ | : The different interpretation of the matrix delimiters in [56-63] is a bit surprising. Should be checked! | ||
+ | : Also, the vanishing of some '-' signs in the first column of some matrices, maybe that is related to 3.? | ||
+ | |||
+ | ==[[Algebraic curve]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 1.(23.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011450/a01145065.png || $g \leq \left\{ \begin{array} { l l } { \frac { ( n - 2 ) ^ { 2 } } { 4 } } & { \text { for even } n } \\ { \frac { ( n - 1 ) ( n - 3 ) } { 4 } } & { \text { for odd } n } \end{array} \right.$ || | + | | 1.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|23.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011450/a01145065.png | ||
+ | || $g \leq \left\{ \begin{array} { l l } { \frac { ( n - 2 ) ^ { 2 } } { 4 } } & { \text { for even } n } \\ { \frac { ( n - 1 ) ( n - 3 ) } { 4 } } & { \text { for odd } n } \end{array} \right.$ | ||
+ | ||$$g\leq \left\{ | ||
+ | \begin {array}{ll} | ||
+ | {\frac {(n-2)^2}4} &{\text{ for even }n,}\\ | ||
+ | {\frac {(n-1)(n-3)}4} &{\text{ for odd }n,} | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.698 | ||
− | + | a01145065.png (65) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Algebraic geometry]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 2.(116.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150014.png || $\theta = \int _ { 0 } ^ { \lambda } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ || | + | | 2.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|116.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150014.png | ||
+ | || $\theta = \int _ { 0 } ^ { \lambda } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ | ||
+ | ||$$\theta =\int\limits _ 0^{\lambda }\frac {dx}{\sqrt {(1-c^2x^2)(1-e^2x^2)}},$$ | ||
+ | || conf 0.997 | ||
− | + | a01150014.png (14) | |
|- | |- | ||
− | | 3.(133.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150021.png || $\omega = 2 \int _ { 0 } ^ { 1 / c } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ || | + | | 3.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|133.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150021.png | ||
+ | || $\omega = 2 \int _ { 0 } ^ { 1 / c } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ | ||
+ | ||$$\omega =2\int\limits _ 0^{1/c}\frac {dx}{\sqrt {(1-c^2x^2)(1-e^2x^2)}},$$ | ||
+ | || conf 0.973 | ||
− | + | a01150021.png (21) | |
|- | |- | ||
− | | 4.(67.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150022.png || $\overline { w } = 2 \int _ { 0 } ^ { 1 / \varepsilon } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ || $$\widetilde | + | | 4.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|67.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150022.png | ||
+ | || $\overline { w } = 2 \int _ { 0 } ^ { 1 / \varepsilon } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ | ||
+ | ||$$\widetilde w=2\int\limits _ 0^{1/\varepsilon }\frac {dx}{\sqrt {(1-c^2x^2)(1-e^2x^2)}},$$ | ||
+ | || conf 0.107 | ||
− | + | a01150022.png (22) | |
|- | |- | ||
− | | 5.(105.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150044.png || $\theta ( v + \pi i r ) = \theta ( r ) , \quad \theta ( v + \alpha _ { j } ) = e ^ { L _ { j } ( v ) } \theta ( v )$ || | + | | 5.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|105.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150044.png | ||
+ | || $\theta ( v + \pi i r ) = \theta ( r ) , \quad \theta ( v + \alpha _ { j } ) = e ^ { L _ { j } ( v ) } \theta ( v )$ | ||
+ | ||$$\theta (v+\pi i r )=\theta (r),\quad \theta (v+\alpha _ j)=e^{L_j(v)}\theta (v),$$ | ||
+ | || conf 0.775 | ||
− | + | a01150044.png (44) | |
|- | |- | ||
− | | 6.(17.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150078.png || $\left( \begin{array} { l l } { \alpha } & { b } \\ { c } & { d } \end{array} \right) \equiv \left( \begin{array} { l l } { 1 } & { 0 } \\ { 0 } & { 1 } \end{array} \right) ( \operatorname { mod } 7 )$ || | + | | 6.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|17.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011500/a01150078.png | ||
+ | || $\left( \begin{array} { l l } { \alpha } & { b } \\ { c } & { d } \end{array} \right) \equiv \left( \begin{array} { l l } { 1 } & { 0 } \\ { 0 } & { 1 } \end{array} \right) ( \operatorname { mod } 7 )$ | ||
+ | ||$$\left( | ||
+ | \begin {array}{ll} | ||
+ | {\alpha } &b\\ | ||
+ | c &d | ||
+ | \end {array} | ||
+ | \right)\equiv \left( | ||
+ | \begin {array}{ll} | ||
+ | 1&0\\ | ||
+ | 0&1 | ||
+ | \end {array} | ||
+ | \right)(\operatorname {mod}7).$$ | ||
+ | || conf 0.440 | ||
− | + | a01150078.png (78) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Algebraic surface]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 7.(144.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a011640132.png || $0 \rightarrow O _ { V } \rightarrow E _ { \alpha } \rightarrow T _ { V } \rightarrow 0$ || $$0 \rightarrow {\cal O} | + | | 7.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|144.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a011640132.png | ||
+ | || $0 \rightarrow O _ { V } \rightarrow E _ { \alpha } \rightarrow T _ { V } \rightarrow 0$ | ||
+ | ||$$0\rightarrow {\cal O}_V\rightarrow E _ {\alpha }\rightarrow T _ V\rightarrow 0$$ | ||
+ | || conf 0.981 | ||
− | + | a011640132.png (132) | |
|- | |- | ||
− | | 8.(73.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a011640137.png || $M = \operatorname { dim } \operatorname { Im } ( H ^ { 1 } ( V , E _ { \alpha } ) \rightarrow H ^ { 1 } ( V , T _ { V } ) )$ || | + | | 8.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|73.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a011640137.png | ||
+ | || $M = \operatorname { dim } \operatorname { Im } ( H ^ { 1 } ( V , E _ { \alpha } ) \rightarrow H ^ { 1 } ( V , T _ { V } ) )$ | ||
+ | ||$$M=\operatorname {dim}\operatorname {Im}(H^1(V,E_{\alpha })\rightarrow H ^1(V,T_V)).$$ | ||
+ | || conf 0.997 | ||
− | + | a011640137.png (137) | |
|- | |- | ||
− | | 9.(88.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a011640139.png || $\operatorname { dim } _ { k } H ^ { 2 } ( V , E _ { \alpha } ) + \operatorname { dim } _ { k } H ^ { 2 } ( V , T _ { V } )$ || | + | | 9.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|88.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a011640139.png | ||
+ | || $\operatorname { dim } _ { k } H ^ { 2 } ( V , E _ { \alpha } ) + \operatorname { dim } _ { k } H ^ { 2 } ( V , T _ { V } )$ | ||
+ | ||$$\operatorname {dim}_kH^2(V,E_{\alpha })+\operatorname {dim}_kH^2(V,T_V).$$ | ||
+ | || conf 0.996 | ||
− | + | a011640139.png (139) | |
|- | |- | ||
− | | 10.(117.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164027.png || $N _ { m } = \left( \begin{array} { c } { m + 3 } \\ { 3 } \end{array} \right) - d m + 2 t + \tau + p - 1$ || | + | | 10.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|117.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164027.png | ||
+ | || $N _ { m } = \left( \begin{array} { c } { m + 3 } \\ { 3 } \end{array} \right) - d m + 2 t + \tau + p - 1$ | ||
+ | ||$$N_m=\left(\begin {array}c{m+3}\\ | ||
+ | 3 | ||
+ | \end {array} | ||
+ | \right)-dm+2t+\tau +p-1.$$ | ||
+ | || conf 0.369 | ||
− | + | a01164027.png (27) | |
|- | |- | ||
− | | 11.(72.) || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164029.png || $p _ { \alpha } ( V ) = \left( \begin{array} { c } { n - 1 } \\ { 3 } \end{array} \right) - d ( n - 1 ) + 2 t + \tau + p - 1$ || | + | | 11.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|72.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164029.png | ||
+ | || $p _ { \alpha } ( V ) = \left( \begin{array} { c } { n - 1 } \\ { 3 } \end{array} \right) - d ( n - 1 ) + 2 t + \tau + p - 1$ | ||
+ | ||$$p_{\alpha }(V)=\left(\begin {array}c{n-1}\\ | ||
+ | 3 | ||
+ | \end {array} | ||
+ | \right)-d(n-1)+2t+\tau +p-1$$ | ||
+ | || conf 0.396 | ||
− | + | a01164029.png (29) | |
|- | |- | ||
− | | 12.(68.)*|| https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164047.png || $p _ { x } ( V ) = - \operatorname { dim } _ { k } H _ { 1 } ( V , O _ { V } ) + \operatorname { dim } _ { k } H ^ { 2 } ( V , O _ { V } ) =$ || | + | | 12.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|68.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164047.png | ||
+ | || $p _ { x } ( V ) = - \operatorname { dim } _ { k } H _ { 1 } ( V , O _ { V } ) + \operatorname { dim } _ { k } H ^ { 2 } ( V , O _ { V } ) =$ | ||
+ | ||$$p_{\alpha }(V)=-\operatorname {dim}_kH_1(V,{\cal O}_V)+\operatorname {dim}_kH^2(V,{\cal O}_V)=$$ | ||
+ | || conf 0.756 F | ||
− | + | a01164047.png (47) | |
|- | |- | ||
− | | 13.(93.)*|| https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164053.png || $1 + p _ { x } ( V ) = \frac { \operatorname { deg } ( c _ { 1 } ^ { 2 } ) + \operatorname { deg } ( c _ { 2 } ) } { 12 }$ || | + | | 13.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|93.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/a/a011/a011640/a01164053.png | ||
+ | || $1 + p _ { x } ( V ) = \frac { \operatorname { deg } ( c _ { 1 } ^ { 2 } ) + \operatorname { deg } ( c _ { 2 } ) } { 12 }$ | ||
+ | ||$$1+p_{\alpha }(V)=\frac {\operatorname {deg}(c_1^2)+\operatorname {deg}(c_2)}{12},$$ | ||
+ | || conf 0.752 F | ||
− | + | a01164053.png (53) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Cartan subalgebra]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 14.(33.)*|| https://www.encyclopediaofmath.org/legacyimages/c/c020/c020550/c0205509.png || $\mathfrak { g } 0 = \{ X \in \mathfrak { g } : \forall H \in \mathfrak { t } \exists \mathfrak { n } X , H \in Z ( ( \text { ad } H ) ^ { n } X , H ( X ) = 0 ) \}$ || | + | | 14.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|33.]])* |
− | + | || https://www.encyclopediaofmath.org/legacyimages/c/c020/c020550/c0205509.png | |
− | + | || $\mathfrak { g } 0 = \{ X \in \mathfrak { g } : \forall H \in \mathfrak { t } \exists \mathfrak { n } X , H \in Z ( ( \text { ad } H ) ^ { n } X , H ( X ) = 0 ) \}$ | |
+ | ||$$\mathfrak g_0=\big\{X\in \mathfrak g:\forall H \in \mathfrak t\exists n_{X,H}\in {\mathbb Z}((\text{ ad }H)^{n_{X,H}}(X)=0)\big\},$$ | ||
+ | || conf 0.110 F | ||
+ | |||
+ | c0205509.png (9) | ||
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Cartan theorem]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 15.(49.)*|| https://www.encyclopediaofmath.org/legacyimages/c/c020/c020570/c0205704.png || $f _ { j } ] = \delta _ { i j } h _ { i } , \quad [ h _ { i } , e _ { j } ] = \alpha _ { i j } e _ { j } , \quad [ h _ { i } , f _ { j } ] = - \alpha _ { j } f _ { j }$ || | + | | 15.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|49.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/c/c020/c020570/c0205704.png | ||
+ | || $f _ { j } ] = \delta _ { i j } h _ { i } , \quad [ h _ { i } , e _ { j } ] = \alpha _ { i j } e _ { j } , \quad [ h _ { i } , f _ { j } ] = - \alpha _ { j } f _ { j }$ | ||
+ | ||$$[e_i,f_j]=\delta _ {ij}h_i,\quad [h_i,e_j]=\alpha _ {ij}e_j,\quad [h_i,f_j]=-\alpha _ {ij}f_j,$$ | ||
+ | || conf 0.149 F | ||
− | + | c0205704.png (4) | |
|- | |- | ||
− | | 16.(55.)*|| https://www.encyclopediaofmath.org/legacyimages/c/c020/c020570/c02057064.png || $\rightarrow H ^ { p } ( X , S ) \rightarrow H ^ { p } ( X , F ) \stackrel { \phi p } { \rightarrow } H ^ { p } ( X , G ) \rightarrow$ || | + | | 16.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|55.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/c/c020/c020570/c02057064.png | ||
+ | || $\rightarrow H ^ { p } ( X , S ) \rightarrow H ^ { p } ( X , F ) \stackrel { \phi p } { \rightarrow } H ^ { p } ( X , G ) \rightarrow$ | ||
+ | ||$$\dots \rightarrow H ^p(X,S)\rightarrow H ^p(X,F)\stackrel {\phi_p }{\rightarrow }H^p(X,G)\rightarrow $$ | ||
+ | || conf 0.853 F | ||
− | + | c02057064.png (64) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Comitant]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 17.(7.) || https://www.encyclopediaofmath.org/legacyimages/c/c023/c023330/c02333033.png || $H = \frac { 1 } { 36 } \left| \begin{array} { c c } { \frac { \partial ^ { 2 } f } { \partial x ^ { 2 } } } & { \frac { \partial ^ { 2 } f } { \partial x \partial y } } \\ { \frac { \partial ^ { 2 } f } { \partial x \partial y } } & { \frac { \partial ^ { 2 } f } { \partial y ^ { 2 } } } \end{array} \right| =$ || | + | | 17.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|7.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/c/c023/c023330/c02333033.png | ||
+ | || $H = \frac { 1 } { 36 } \left| \begin{array} { c c } { \frac { \partial ^ { 2 } f } { \partial x ^ { 2 } } } & { \frac { \partial ^ { 2 } f } { \partial x \partial y } } \\ { \frac { \partial ^ { 2 } f } { \partial x \partial y } } & { \frac { \partial ^ { 2 } f } { \partial y ^ { 2 } } } \end{array} \right| =$ | ||
+ | ||$$H=\frac 1{36}\left| | ||
+ | \begin {array}{cc} | ||
+ | {\frac {\partial ^2f}{\partial x ^2}} &{\frac {\partial ^2f}{\partial x \partial y }}\\ | ||
+ | {\frac {\partial ^2f}{\partial x \partial y }} &{\frac {\partial ^2f}{\partial y ^2}} | ||
+ | \end {array} | ||
+ | \right|=$$ | ||
+ | || conf 0.956 | ||
− | + | c02333033.png (33) | |
|- | |- | ||
− | | 18.(76.) || https://www.encyclopediaofmath.org/legacyimages/c/c023/c023330/c02333034.png || $= ( a _ { 0 } a _ { 2 } - a _ { 1 } ^ { 2 } ) x ^ { 2 } + ( a _ { 0 } a _ { 3 } - a _ { 1 } a _ { 2 } ) x y + ( a _ { 1 } a _ { 3 } - a _ { 2 } ^ { 2 } ) y ^ { 2 }$ || | + | | 18.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|76.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/c/c023/c023330/c02333034.png | ||
+ | || $= ( a _ { 0 } a _ { 2 } - a _ { 1 } ^ { 2 } ) x ^ { 2 } + ( a _ { 0 } a _ { 3 } - a _ { 1 } a _ { 2 } ) x y + ( a _ { 1 } a _ { 3 } - a _ { 2 } ^ { 2 } ) y ^ { 2 }$ | ||
+ | ||$$=(a_0a_2-a_1^2)x^2+(a_0a_3-a_1a_2)xy+(a_1a_3-a_2^2)y^2$$ | ||
+ | || conf 0.549 | ||
− | + | c02333034.png (34) | |
|- | |- | ||
− | | 19.(11.)*|| https://www.encyclopediaofmath.org/legacyimages/c/c023/c023330/c02333035.png || $( \alpha _ { 0 } , \alpha _ { 1 } , \alpha _ { 2 } , \alpha _ { 3 } ) \mapsto ( \alpha _ { 0 } \alpha _ { 2 } - \alpha _ { 1 } ^ { 2 } , \frac { 1 } { 2 } ( \alpha _ { 0 } \alpha _ { 3 } - \alpha _ { 1 } \alpha _ { 2 } ) , \alpha _ { 1 } \alpha _ { 3 } - \alpha _ { 2 } ^ { 2 } )$ || | + | | 19.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|11.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/c/c023/c023330/c02333035.png | ||
+ | || $( \alpha _ { 0 } , \alpha _ { 1 } , \alpha _ { 2 } , \alpha _ { 3 } ) \mapsto ( \alpha _ { 0 } \alpha _ { 2 } - \alpha _ { 1 } ^ { 2 } , \frac { 1 } { 2 } ( \alpha _ { 0 } \alpha _ { 3 } - \alpha _ { 1 } \alpha _ { 2 } ) , \alpha _ { 1 } \alpha _ { 3 } - \alpha _ { 2 } ^ { 2 } )$ | ||
+ | ||$$(\alpha _ 0,\alpha _ 1,\alpha _ 2,\alpha _ 3)\mapsto (\alpha _ 0\alpha _ 2-\alpha _ 1^2,\frac 12(\alpha _ 0\alpha _ 3-\alpha _ 1\alpha _ 2),\alpha _ 1\alpha _ 3-\alpha _ 2^2)$$ | ||
+ | || conf 0.521 F | ||
− | + | c02333035.png (35) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Deformation]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 20.(26.) || https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700175.png || $\operatorname { Aut } _ { R ^ { \prime } } ( X ^ { \prime } | X _ { 0 } ) \rightarrow \operatorname { Aut } _ { R } ( X _ { R ^ { \prime } } ^ { \prime } \otimes R | X _ { 0 } )$ || | + | | 20.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|26.]]) |
− | + | || https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700175.png | |
− | + | || $\operatorname { Aut } _ { R ^ { \prime } } ( X ^ { \prime } | X _ { 0 } ) \rightarrow \operatorname { Aut } _ { R } ( X _ { R ^ { \prime } } ^ { \prime } \otimes R | X _ { 0 } )$ | |
+ | ||$$\operatorname {Aut}_{R^{\prime }}(X^{\prime }|X_0)\rightarrow \operatorname {Aut}_R(X_{R^{\prime }}^{\prime }\otimes R |X_0)$$ | ||
+ | || conf 0.683 | ||
+ | \ | ||
+ | d030700175.png (175) | ||
|- | |- | ||
− | | 21.(27.) || https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700190.png || $\operatorname { dim } _ { k } H ^ { 1 } ( X _ { 0 } , T _ { X _ { 0 } } ) - \operatorname { dim } M _ { X _ { 0 } } \leq \operatorname { dim } _ { k } H ^ { 2 } ( X _ { 0 } , T _ { X _ { 0 } } )$ || | + | | 21.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|27.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700190.png | ||
+ | || $\operatorname { dim } _ { k } H ^ { 1 } ( X _ { 0 } , T _ { X _ { 0 } } ) - \operatorname { dim } M _ { X _ { 0 } } \leq \operatorname { dim } _ { k } H ^ { 2 } ( X _ { 0 } , T _ { X _ { 0 } } )$ | ||
+ | ||$$\operatorname {dim}_kH^1(X_0,T_{X_0})-\operatorname {dim}M_{X_0}\leq \operatorname {dim}_kH^2(X_0,T_{X_0}).$$ | ||
+ | || conf 0.944 | ||
− | + | d030700190.png (190) | |
|- | |- | ||
− | | 22.(78.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700263.png || $\alpha \circ b = \alpha b + \sum _ { i = 1 } ^ { \infty } \phi _ { i } ( \alpha , b ) t ^ { i } , \quad \alpha , b \in V$ || | + | | 22.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|78.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700263.png | ||
+ | || $\alpha \circ b = \alpha b + \sum _ { i = 1 } ^ { \infty } \phi _ { i } ( \alpha , b ) t ^ { i } , \quad \alpha , b \in V$ | ||
+ | ||$$\alpha \circ b =\alpha b +\sum _ {i=1}^{\infty }\phi _ i(\alpha ,b)t^i,\quad \alpha ,b\in V,$$ | ||
+ | || conf 0.097 F | ||
− | + | d030700263.png (263) | |
|- | |- | ||
− | | 23.(96.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700270.png || $\Phi ( \alpha ) = \alpha + \sum _ { i = 1 } ^ { \infty } t ^ { i } \phi _ { i } ( \alpha ) , \quad \alpha \in V$ || | + | | 23.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|96.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d030/d030700/d030700270.png | ||
+ | || $\Phi ( \alpha ) = \alpha + \sum _ { i = 1 } ^ { \infty } t ^ { i } \phi _ { i } ( \alpha ) , \quad \alpha \in V$ | ||
+ | ||$$\Phi (\alpha )=\alpha +\sum _ {i=1}^{\infty }t^i\phi _ i(\alpha ),\quad \alpha \in V,$$ | ||
+ | || conf 0.873 F | ||
− | + | d030700270.png (270) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Differential algebra]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 24.(106.) || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830107.png || $S ^ { t } F = \sum _ { j = 1 } ^ { r } c _ { j } A ^ { p _ { j } } A _ { 1 } ^ { i _ { 1 j } } \dots A _ { m - l } ^ { i _ { m - l } , j }$ || | + | | 24.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|106.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830107.png | ||
+ | || $S ^ { t } F = \sum _ { j = 1 } ^ { r } c _ { j } A ^ { p _ { j } } A _ { 1 } ^ { i _ { 1 j } } \dots A _ { m - l } ^ { i _ { m - l } , j }$ | ||
+ | ||$$S^tF=\sum _ {j=1}^rc_jA^{p_j}A_1^{i_{1j}}\dots A _ {m-l}^{i_{{m-l},j}},$$ | ||
+ | || conf 0.149 | ||
− | + | d031830107.png (107) | |
|- | |- | ||
− | | 25.(146.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830141.png || $( \eta _ { 1 } , \ldots , \eta _ { k } ) \rightarrow F ( \zeta _ { 1 } , \ldots , \zeta _ { k } )$ || | + | | 25.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|146.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830141.png | ||
+ | || $( \eta _ { 1 } , \ldots , \eta _ { k } ) \rightarrow F ( \zeta _ { 1 } , \ldots , \zeta _ { k } )$ | ||
+ | ||$(\eta _ 1,\ldots ,\eta _ k)\rightarrow {}_{\cal F}(\zeta _ 1,\ldots ,\zeta _ k)$ | ||
+ | || conf 0.562 F | ||
− | + | d031830141.png (141) | |
|- | |- | ||
− | | 26.(145.)$^F$*|| https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830150.png || $( \eta _ { 1 } , \ldots , \eta _ { n } ) \rightarrow F ( \zeta _ { 1 } , \ldots , \zeta _ { n } )$ || | + | | 26.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|145.]])$^F$* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830150.png | ||
+ | || $( \eta _ { 1 } , \ldots , \eta _ { n } ) \rightarrow F ( \zeta _ { 1 } , \ldots , \zeta _ { n } )$ | ||
+ | ||$(\eta _ 1,\ldots ,\eta _ n)\rightarrow {}_{\cal F}(\zeta _ 1,\ldots ,\zeta _ n)$ | ||
+ | || conf 0.376 F | ||
− | + | d031830150.png (150) | |
|- | |- | ||
− | | 27.(57.) || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183016.png || $\omega _ { V } = \sum _ { 0 \leq i \leq m } \alpha _ { i } \left( \begin{array} { c } { x + i } \\ { i } \end{array} \right)$ || | + | | 27.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|57.]]) |
+ | |||
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183016.png | ||
+ | |||
+ | || $\omega _ { V } = \sum _ { 0 \leq i \leq m } \alpha _ { i } \left( \begin{array} { c } { x + i } \\ { i } \end{array} \right)$ | ||
+ | |||
+ | ||$$\omega _ V=\sum _ {0\leq i \leq m }\alpha _ i\left( | ||
+ | \begin {array}c{x+i}\\ | ||
+ | i | ||
+ | \end {array} | ||
+ | \right),$$ | ||
+ | || conf 0.780 | ||
− | + | d03183016.png (16) | |
|- | |- | ||
− | | 28.(111.) || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183043.png || $e _ { i j } = \operatorname { ord } _ { Y } _ { j } F _ { i } , \quad 1 \leq i \leq n , \quad i \leq j \leq n$ || | + | | 28.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|111.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183043.png | ||
+ | || $e _ { i j } = \operatorname { ord } _ { Y } _ { j } F _ { i } , \quad 1 \leq i \leq n , \quad i \leq j \leq n$ | ||
+ | ||$$e_{ij}=\operatorname {ord}_{Y_j}F_i,\quad 1 \leq i \leq n ,\quad i \leq j \leq n,$$ | ||
+ | || conf 0.187 | ||
− | + | d03183043.png (43) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Dimension polynomial]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 29.(48.) || https://www.encyclopediaofmath.org/legacyimages/d/d032/d032490/d03249029.png || $\omega _ { \eta / F } ( x ) = \sum _ { 0 \leq i \leq m } \alpha _ { i } \left( \begin{array} { c } { x + i } \\ { i } \end{array} \right)$ || | + | | 29.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|48.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d032/d032490/d03249029.png | ||
+ | || $\omega _ { \eta / F } ( x ) = \sum _ { 0 \leq i \leq m } \alpha _ { i } \left( \begin{array} { c } { x + i } \\ { i } \end{array} \right)$ | ||
+ | ||$$\omega _ {\eta /F}(x)=\sum _ {0\leq i \leq m }\alpha _ i\left(\begin {array}c{x+i}\\ | ||
+ | i | ||
+ | \end {array} | ||
+ | \right),$$ | ||
+ | || conf 0.968 | ||
− | + | d03249029.png (29) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Duality]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 30.(118.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120173.png || $H ^ { p } ( X , F ) \times H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) ) \rightarrow C$ || | + | | 30.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|118.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120173.png | ||
+ | || $H ^ { p } ( X , F ) \times H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) ) \rightarrow C$ | ||
+ | ||$$H^p(X,{\cal F})\times H _ c^{n-p}(X,\operatorname {Hom}({\cal F},\Omega ))\rightarrow {\mathbf C},$$ | ||
+ | || conf 0.824 F | ||
− | + | d034120173.png (173) | |
|- | |- | ||
− | | 31.(59.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120175.png || $H ^ { p } ( X , F ) \times H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) ) \rightarrow H _ { c } ^ { n } ( X , \Omega )$ || | + | | 31.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|59.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120175.png | ||
+ | || $H ^ { p } ( X , F ) \times H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) ) \rightarrow H _ { c } ^ { n } ( X , \Omega )$ | ||
+ | ||$$H^p(X,{\cal F})\times H _ c^{n-p}(X,\operatorname {Hom}({\cal F},\Omega ))\rightarrow H _ c^n(X,\Omega )$$ | ||
+ | || conf 0.921 F | ||
− | + | d034120175.png (175) | |
|- | |- | ||
− | | 32.(124.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120184.png || $( H ^ { p } ( X , F ) ) ^ { \prime } \cong H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) )$ || | + | | 32.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|124.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120184.png | ||
+ | || $( H ^ { p } ( X , F ) ) ^ { \prime } \cong H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) )$ | ||
+ | ||$$(H^p(X,{\cal F}))^{\prime }\cong H _ c^{n-p}(X,\operatorname {Hom}({\cal F},\Omega )).$$ | ||
+ | || conf 0.829 F | ||
− | + | d034120184.png (184) | |
|- | |- | ||
− | | 33.(29.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120236.png || $\beta : \operatorname { Ext } _ { c } ^ { n - p - 1 } ( X F , \Omega ) \rightarrow \operatorname { Ext } _ { c } ^ { n - p - 1 } ( X \backslash Y || F , \Omega )$ || | + | | 33.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|29.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120236.png | ||
+ | || $\beta : \operatorname { Ext } _ { c } ^ { n - p - 1 } ( X F , \Omega ) \rightarrow \operatorname { Ext } _ { c } ^ { n - p - 1 } ( X \backslash Y | ||
+ | || F , \Omega )$ | ||
+ | ||$$\beta :\operatorname {Ext}_c^{n-p-1}(X;{\cal F},\Omega )\rightarrow \operatorname {Ext}_c^{n-p-1}(X\backslash Y ;{\cal F},\Omega ).$$ | ||
+ | || conf 0.634 | ||
+ | || F | ||
− | + | d034120236.png (236) | |
|- | |- | ||
− | | 34.(77.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120247.png || $\underset { n \rightarrow \infty } { \operatorname { lim } } | \alpha _ { n } | ^ { 1 / n } = \sigma < + \infty$ || | + | | 34.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|77.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120247.png | ||
+ | || $\underset { n \rightarrow \infty } { \operatorname { lim } } | \alpha _ { n } | ^ { 1 / n } = \sigma < + \infty$ | ||
+ | ||$$\underset {n\rightarrow \infty }{\overline {\lim }}|\alpha _ n|^{1/n}=\sigma <+\infty.$$ | ||
+ | || conf 0.521 F | ||
− | + | d034120247.png (247) | |
|- | |- | ||
− | | 35.(58.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120253.png || $h ( \phi ) = \operatorname { lim } _ { r \rightarrow \infty } \frac { \operatorname { ln } | A ( r e ^ { i \phi } ) | } { r }$ || | + | | 35.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|58.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120253.png | ||
+ | || $h ( \phi ) = \operatorname { lim } _ { r \rightarrow \infty } \frac { \operatorname { ln } | A ( r e ^ { i \phi } ) | } { r }$ | ||
+ | ||$$h(\phi )=\underset {n\rightarrow \infty }{\overline {\lim }}\frac {\operatorname {ln}|A(re^{i\phi })|}r$$ | ||
+ | || conf 0.861 F | ||
− | + | d034120253.png (253) | |
|- | |- | ||
− | | 36.(69.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120360.png || $\operatorname { sup } _ { l \in E ^ { \perp } } | l ( \omega ) | = \operatorname { inf } _ { x \in E } \| \omega - x \|$ || | + | | 36.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|69.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120360.png | ||
+ | || $\operatorname { sup } _ { l \in E ^ { \perp } } | l ( \omega ) | = \operatorname { inf } _ { x \in E } \| \omega - x \|$ | ||
+ | ||$$\operatorname*{sup}_{l\in E^\perp \atop \|l\|\le 1 }|l(\omega )|=\operatorname*{inf}_{x\in E }\|\omega -x\|,$$ | ||
+ | || conf 0.293 F | ||
− | + | d034120360.png (360) | |
|- | |- | ||
− | | 37.(15.) || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120376.png || $\operatorname { sup } _ { f \in B ^ { 1 } } | \int _ { \partial G } f ( \zeta ) \omega ( \zeta ) d \zeta | = \operatorname { inf } _ { \phi \in E ^ { 1 } } \int _ { \partial G } | \omega ( \zeta ) - \phi ( \zeta ) \| d \zeta |$ || | + | | 37.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|15.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120376.png | ||
+ | || $\operatorname { sup } _ { f \in B ^ { 1 } } | \int _ { \partial G } f ( \zeta ) \omega ( \zeta ) d \zeta | = \operatorname { inf } _ { \phi \in E ^ { 1 } } \int _ { \partial G } | \omega ( \zeta ) - \phi ( \zeta ) \| d \zeta |$ | ||
+ | ||$$\operatorname*{sup}_{f\in B ^1}\big|\int\limits _ {\partial G }f(\zeta )\omega (\zeta )d\zeta \big|=\operatorname*{inf}_{\phi \in E ^1}\int\limits _ {\partial G }|\omega (\zeta )-\phi (\zeta ) | ||
+ | ||d\zeta |.$$ | ||
+ | || conf 0.508 | ||
− | + | d034120376.png (376) | |
|- | |- | ||
− | | 38.(52.) || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120509.png || $f = \{ f _ { \alpha } \} \in \prod _ { \alpha } F _ { \alpha } , \quad g = \{ g _ { \alpha } \} \in \oplus _ { \alpha } G _ { \alpha }$ || | + | | 38.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|52.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120509.png | ||
+ | || $f = \{ f _ { \alpha } \} \in \prod _ { \alpha } F _ { \alpha } , \quad g = \{ g _ { \alpha } \} \in \oplus _ { \alpha } G _ { \alpha }$ | ||
+ | ||$$f=\{f_{\alpha }\}\in \prod _ {\alpha }F_{\alpha },\quad g =\{g_{\alpha }\}\in \operatorname*\oplus _ {\alpha }G_{\alpha }.$$ | ||
+ | || conf 0.491 | ||
− | + | d034120509.png (509) | |
|- | |- | ||
− | | 39.(140.) || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120535.png || $f ^ { * } ( x ^ { * } ) = \operatorname { sup } _ { x \in X } ( \langle x ^ { * } , x \rangle - f ( x ) )$ || | + | | 39.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|140.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120535.png | ||
+ | || $f ^ { * } ( x ^ { * } ) = \operatorname { sup } _ { x \in X } ( \langle x ^ { * } , x \rangle - f ( x ) )$ | ||
+ | ||$$f^{*}(x^{*})=\operatorname*{sup}_{x\in X }(\langle x ^{*},x\rangle -f(x))$$ | ||
+ | || conf 0.900 | ||
− | + | d034120535.png (535) | |
|- | |- | ||
− | | 40.(94.) || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120555.png || $f _ { 0 } ( x ) \rightarrow \text { inf, } \quad f _ { i } ( x ) \leq 0 , \quad i = 1 , \ldots , m , \quad x \in B$ || | + | | 40.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|94.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d034120555.png | ||
+ | || $f _ { 0 } ( x ) \rightarrow \text { inf, } \quad f _ { i } ( x ) \leq 0 , \quad i = 1 , \ldots , m , \quad x \in B$ | ||
+ | ||$$f_0(x)\rightarrow \text{ inf, }\quad f _ i(x)\leq 0 ,\quad i =1,\ldots ,m,\quad x \in B,$$ | ||
+ | || conf 0.810 | ||
− | + | d034120555.png (555) | |
|- | |- | ||
− | | 41.(74.)*|| https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d03412079.png || $( c _ { \gamma } , c ^ { r } ) = \sum _ { t ^ { r } \in K } c _ { r } ( t ^ { \prime } ) c ^ { r } ( t ^ { r } ) \operatorname { mod } 1$ || | + | | 41.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|74.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/d/d034/d034120/d03412079.png | ||
+ | || $( c _ { \gamma } , c ^ { r } ) = \sum _ { t ^ { r } \in K } c _ { r } ( t ^ { \prime } ) c ^ { r } ( t ^ { r } ) \operatorname { mod } 1$ | ||
+ | ||$$(c_{\gamma },c^r)=\sum _ {t^r\in K }c_r(t^{\prime })c^r(t^r)\operatorname {mod}1$$ | ||
+ | || conf 0.117 F | ||
− | + | d03412079.png (79) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Extension of a differential field]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 42.(63.) || https://www.encyclopediaofmath.org/legacyimages/e/e036/e036960/e03696024.png || $F _ { 1 } F _ { 2 } = F _ { 1 } \langle F _ { 2 } \rangle = F _ { 1 } ( F _ { 2 } ) = F _ { 2 } ( F _ { 1 } ) = F _ { 2 } \langle F _ { 1 } \rangle$ || | + | | 42.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|63.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/e/e036/e036960/e03696024.png | ||
+ | || $F _ { 1 } F _ { 2 } = F _ { 1 } \langle F _ { 2 } \rangle = F _ { 1 } ( F _ { 2 } ) = F _ { 2 } ( F _ { 1 } ) = F _ { 2 } \langle F _ { 1 } \rangle$ | ||
+ | ||$$F_1F_2=F_1\langle F _ 2\rangle =F_1(F_2)=F_2(F_1)=F_2\langle F _ 1\rangle,$$ | ||
+ | || conf 0.628 | ||
− | + | e03696024.png (24) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Formal group]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 43.(120.)*|| https://www.encyclopediaofmath.org/legacyimages/f/f040/f040820/f040820118.png || $\operatorname { og } F _ { MU } ( X ) = \sum _ { i = 1 } ^ { \infty } i ^ { - 1 } [ C ^ { - } P ^ { - 1 } ] X ^ { i }$ || | + | | 43.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|120.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/f/f040/f040820/f040820118.png | ||
+ | || $\operatorname { og } F _ { MU } ( X ) = \sum _ { i = 1 } ^ { \infty } i ^ { - 1 } [ C ^ { - } P ^ { - 1 } ] X ^ { i }$ | ||
+ | ||$$\operatorname {log}F_{\rm MU }(X)=\sum _ {i=1}^{\infty }i^{-1}[{\rm CP}^{i-1}]X^i,$$ | ||
+ | || conf 0.098 F | ||
− | + | f040820118.png (118) | |
|- | |- | ||
− | | 44.(147.)*|| https://www.encyclopediaofmath.org/legacyimages/f/f040/f040820/f04082059.png || $( x _ { 1 } , \ldots , x _ { x } ) \circ ( y _ { 1 } , \ldots , y _ { n } ) = ( z _ { 1 } , \ldots , z _ { x } )$ || | + | | 44.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|147.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/f/f040/f040820/f04082059.png | ||
+ | || $( x _ { 1 } , \ldots , x _ { x } ) \circ ( y _ { 1 } , \ldots , y _ { n } ) = ( z _ { 1 } , \ldots , z _ { x } )$ | ||
+ | ||$$(x_1,\ldots ,x_n)\circ (y_1,\ldots ,y_n)=(z_1,\ldots ,z_n),$$ | ||
+ | || conf 0.553 F | ||
− | + | f04082059.png (59) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Gel'fond-Schneider method]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 45.(148.) || https://www.encyclopediaofmath.org/legacyimages/g/g130/g130020/g1300205.png || $\alpha ^ { \beta } = \operatorname { exp } \{ \beta \operatorname { log } \alpha \}$ || | + | | 45.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|148.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/g/g130/g130020/g1300205.png | ||
+ | || $\alpha ^ { \beta } = \operatorname { exp } \{ \beta \operatorname { log } \alpha \}$ | ||
+ | ||$\alpha ^{\beta }=\operatorname {exp}\{\beta \operatorname {log}\alpha \}$ | ||
+ | || conf 0.979 | ||
− | + | g1300205.png (5) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Group]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 46.(22.)*|| https://www.encyclopediaofmath.org/legacyimages/g/g045/g045210/g04521075.png || $\left. \begin{array} { l l l } { A } & { \rightarrow Y } & { \square } \\ { \downarrow } & { \square } & { } & { \square } \\ { X } & { \square } & { } & { A } \end{array} \right.$ || | + | | 46.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|22.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/g/g045/g045210/g04521075.png | ||
+ | || $\left. \begin{array} { l l l } { A } & { \rightarrow Y } & { \square } \\ { \downarrow } & { \square } & { } & { \square } \\ { X } & { \square } & { } & { A } \end{array} \right.$ | ||
+ | | style="text-align:center;"| source incomplete | ||
+ | || conf 0.226 F | ||
− | + | g04521075.png (75) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Homogeneous space]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 47.(89.) || https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769069.png || $\mathfrak { g } = \mathfrak { f } + \mathfrak { m } , \quad \mathfrak { f } \cap \mathfrak { m } = \{ 0 \}$ || | + | | 47.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|89.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/h/h047/h047690/h04769069.png | ||
+ | || $\mathfrak { g } = \mathfrak { f } + \mathfrak { m } , \quad \mathfrak { f } \cap \mathfrak { m } = \{ 0 \}$ | ||
+ | ||$$\mathfrak g=\mathfrak f+\mathfrak m,\quad \mathfrak f\cap \mathfrak m=\{0\},$$ | ||
+ | || conf 0.793 | ||
− | + | h04769069.png (69) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Hopf algebra]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 48.(103.) || https://www.encyclopediaofmath.org/legacyimages/h/h047/h047970/h047970129.png || $m \circ ( \iota \otimes 1 ) \circ \mu = m \circ ( 1 \otimes \iota ) \circ \mu = e \circ \epsilon$ || | + | | 48.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|103.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/h/h047/h047970/h047970129.png | ||
+ | || $m \circ ( \iota \otimes 1 ) \circ \mu = m \circ ( 1 \otimes \iota ) \circ \mu = e \circ \epsilon$ | ||
+ | ||$m\circ (\iota \otimes 1 )\circ \mu =m\circ (1\otimes \iota )\circ \mu =e\circ \epsilon$ | ||
+ | || conf 0.618 | ||
− | + | h047970129.png (129) | |
|- | |- | ||
− | | 49.(107.)*|| https://www.encyclopediaofmath.org/legacyimages/h/h047/h047970/h047970139.png || $F _ { 1 } ( X || Y ) , \ldots , F _ { n } ( X || Y ) \in K [ X _ { 1 } , \ldots , X _ { n } || Y _ { 1 } , \ldots , Y _ { n } ] \}$ || | + | | 49.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|107.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/h/h047/h047970/h047970139.png | ||
+ | || $F _ { 1 } ( X | ||
+ | || Y ) , \ldots , F _ { n } ( X | ||
+ | || Y ) \in K [ X _ { 1 } , \ldots , X _ { n } | ||
+ | || Y _ { 1 } , \ldots , Y _ { n } ] \}$ | ||
+ | ||$F_1(X;Y),\ldots ,F_n(X;Y)\in K [X_1,\ldots ,X_n;Y_1,\ldots ,Y_n]\}$ | ||
+ | || conf 0.353 F | ||
− | + | h047970139.png (139) | |
|- | |- | ||
− | | 50.(97.) || https://www.encyclopediaofmath.org/legacyimages/h/h047/h047970/h04797042.png || $\epsilon ( x ) = 0 , \quad \delta ( x ) = x \bigotimes 1 + 1 \bigotimes x , \quad x \in \mathfrak { g }$ || | + | | 50.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|97.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/h/h047/h047970/h04797042.png | ||
+ | || $\epsilon ( x ) = 0 , \quad \delta ( x ) = x \bigotimes 1 + 1 \bigotimes x , \quad x \in \mathfrak { g }$ | ||
+ | ||$$\epsilon (x)=0,\quad \delta (x)=x\otimes 1 +1\otimes x ,\quad x \in \mathfrak g.$$ | ||
+ | || conf 0.213 | ||
− | + | h04797042.png (42) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Invariants, theory of]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 51.(149.)*|| https://www.encyclopediaofmath.org/legacyimages/i/i052/i052350/i05235015.png || $\alpha _ { 1 } , \ldots , i _ { R } \rightarrow \alpha _ { 2 } ^ { \prime } , \ldots , i _ { R }$ || | + | | 51.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|149.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/i/i052/i052350/i05235015.png | ||
+ | || $\alpha _ { 1 } , \ldots , i _ { R } \rightarrow \alpha _ { 2 } ^ { \prime } , \ldots , i _ { R }$ | ||
+ | ||$$\alpha _ {i_1,\dots,i_n}\rightarrow \alpha _ {i_1,\dots,i_n}^{\prime }.$$ | ||
+ | || conf 0.142 F | ||
− | + | i05235015.png (15) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Jordan algebra]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 52.(150.) || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054270/j05427030.png || $H ( C _ { 3 } , \Gamma ) = \{ X \in C _ { 3 } : X = \Gamma ^ { - 1 } X \square ^ { \prime } \Gamma \}$ || | + | | 52.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|150.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054270/j05427030.png | ||
+ | || $H ( C _ { 3 } , \Gamma ) = \{ X \in C _ { 3 } : X = \Gamma ^ { - 1 } X \square ^ { \prime } \Gamma \}$ | ||
+ | ||$$(C_3,\Gamma )=\big\{X\in C _ 3:X=\Gamma ^{-1}X\square ^{\prime }\Gamma \big\},$$ | ||
+ | || conf 0.651 | ||
− | + | j05427030.png (30) | |
|- | |- | ||
− | | 53.(42.) || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054270/j05427031.png || $\Gamma = \operatorname { diag } \{ \gamma _ { 1 } , \gamma _ { 2 } , \gamma _ { 3 } \} , \quad \gamma _ { i } \neq 0 , \quad \gamma _ { i } \in F$ || | + | | 53.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|42.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054270/j05427031.png | ||
+ | || $\Gamma = \operatorname { diag } \{ \gamma _ { 1 } , \gamma _ { 2 } , \gamma _ { 3 } \} , \quad \gamma _ { i } \neq 0 , \quad \gamma _ { i } \in F$ | ||
+ | ||$$\Gamma =\operatorname {diag}\{\gamma _ 1,\gamma _ 2,\gamma _ 3\},\quad \gamma _ i\neq 0 ,\quad \gamma _ i\in F,$$ | ||
+ | || conf 0.987 | ||
− | + | j05427031.png (31) | |
|- | |- | ||
− | | 54.(125.)*|| https://www.encyclopediaofmath.org/legacyimages/j/j054/j054270/j05427077.png || $\mathfrak { g } = \mathfrak { g } - 1 + \mathfrak { g } \mathfrak { d } + \mathfrak { g } _ { 1 }$ || | + | | 54.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|125.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054270/j05427077.png | ||
+ | || $\mathfrak { g } = \mathfrak { g } - 1 + \mathfrak { g } \mathfrak { d } + \mathfrak { g } _ { 1 }$ | ||
+ | ||$\mathfrak g=\mathfrak g_{-1}+\mathfrak g_0+\mathfrak g_1$ | ||
+ | || conf 0.598 F | ||
− | + | j05427077.png (77) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Jordan matrix]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 55.(6.)*|| https://www.encyclopediaofmath.org/legacyimages/j/j054/j054340/j0543403.png || $J = \left| \begin{array} { c c c c } { J _ { n _ { 1 } } ( \lambda _ { 1 } ) } & { \square } & { \square } & { \square } \\ { \square } & { \ldots } & { \square } & { 0 } \\ { 0 } & { \square } & { \ldots } & { \square } \\ { \square } & { \square } & { \square } & { J _ { n _ { S } } ( \lambda _ { s } ) } \end{array} \right|$ || | + | | 55.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|6.]])* |
− | J_{n_1}(\lambda_1) | + | || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054340/j0543403.png |
− | + | || $J = \left| \begin{array} { c c c c } { J _ { n _ { 1 } } ( \lambda _ { 1 } ) } & { \square } & { \square } & { \square } \\ { \square } & { \ldots } & { \square } & { 0 } \\ { 0 } & { \square } & { \ldots } & { \square } \\ { \square } & { \square } & { \square } & { J _ { n _ { S } } ( \lambda _ { s } ) } \end{array} \right|$ | |
− | + | ||$$J=\left\| | |
− | + | \begin {array}{cccc} | |
− | + | ||
+ | J_{n_1}(\lambda_1) &0 &0 &0\\ | ||
+ | |||
+ | 0 &\ddots &\ddots &0\\ | ||
+ | |||
+ | 0 &\ddots &\ddots &0\\ | ||
+ | |||
+ | 0 &0 &0 &J_{n_s}(\lambda_s) | ||
− | + | \end {array} | |
+ | \right\|,$$ | ||
+ | || conf 0.072 F | ||
+ | |||
+ | j0543403.png (3) | ||
|- | |- | ||
− | | 56.(64.) || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054340/j05434030.png || $C _ { m } ( \lambda ) = \operatorname { rk } ( A - \lambda E ) ^ { m - 1 } - 2 \operatorname { rk } ( A - \lambda E ) ^ { m } +$ || | + | | 56.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|64.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054340/j05434030.png | ||
+ | || $C _ { m } ( \lambda ) = \operatorname { rk } ( A - \lambda E ) ^ { m - 1 } - 2 \operatorname { rk } ( A - \lambda E ) ^ { m } +$ | ||
+ | ||$$C_m(\lambda )=\operatorname {rk}(A-\lambda E )^{m-1}-2\operatorname {rk}(A-\lambda E )^m+$$ | ||
+ | || conf 0.955 | ||
− | + | j05434030.png (30) | |
|- | |- | ||
− | | 57.(1.)*|| https://www.encyclopediaofmath.org/legacyimages/j/j054/j054340/j0543406.png || $J _ { m } ( \lambda ) = \| \begin{array} { c c c c c c } { \lambda } & { 1 } & { \square } & { \square } & { \square } & { \square } \\ { \square } & { \lambda } & { 1 } & { \square } & { 0 } & { \square } \\ { \square } & { \square } & { \cdots } & { \square } & { \square } & { \square } \\ { \square } & { \square } & { \square } & { \cdots } & { \square } & { \square } \\ { \square } & { 0 } & { \square } & { \square } & { \lambda } & { 1 } \\ { \square } & { \square } & { \square } & { \square } & { \square } & { \lambda } \end{array} ]$ || $$J_m(\lambda) = \left\| \begin{array} { | + | | 57.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|1.]])* |
− | + | || https://www.encyclopediaofmath.org/legacyimages/j/j054/j054340/j0543406.png | |
− | + | || $J _ { m } ( \lambda ) = \| \begin{array} { c c c c c c } { \lambda } & { 1 } & { \square } & { \square } & { \square } & { \square } \\ { \square } & { \lambda } & { 1 } & { \square } & { 0 } & { \square } \\ { \square } & { \square } & { \cdots } & { \square } & { \square } & { \square } \\ { \square } & { \square } & { \square } & { \cdots } & { \square } & { \square } \\ { \square } & { 0 } & { \square } & { \square } & { \lambda } & { 1 } \\ { \square } & { \square } & { \square } & { \square } & { \square } & { \lambda } \end{array} ]$ | |
− | + | ||$$J_m(\lambda)=\left\| | |
− | + | \begin {array}{cccccc} | |
− | |||
− | |||
− | |||
− | + | \lambda &1 &\square &\square &\square &\square \\ | |
+ | |||
+ | \square &\lambda &1 &\square &0 &\square \\ | ||
+ | |||
+ | \square &\square &\ddots &\ddots &\square &\square\\ | ||
+ | |||
+ | \square &\square &\square &\ddots &\ddots &\square \\ | ||
+ | |||
+ | \square &0 &\square &\square &\lambda &1\\ | ||
+ | |||
+ | \square &\square &\square &\square &\square &\lambda | ||
+ | \end {array} | ||
+ | \right\|,$$ | ||
+ | || conf 0.098 F | ||
+ | |||
+ | j0543406.png (6) | ||
|- | |- | ||
− | + | |} | |
+ | ==[[Lie algebra, semi-simple]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 58.(5.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510127.png || $\left\| \begin{array} { r r r r r r } { 2 } & { - 1 } & { 0 } & { \dots } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 1 } & { \dots } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { \dots } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 2 } & { - 2 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 2 } \end{array} \right\|$ || $$B_n: \quad \left\| \begin{array} { | + | | 58.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|5.]]) |
− | + | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510127.png | |
− | { - 1 } & | + | || $\left\| \begin{array} { r r r r r r } { 2 } & { - 1 } & { 0 } & { \dots } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 1 } & { \dots } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { \dots } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 2 } & { - 2 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 2 } \end{array} \right\|$ |
− | + | ||$$B_n:\quad \left\| | |
− | \cdot | + | \begin {array}{rrrrrr} |
− | + | ||
− | + | 2 &{-1} &0 &{\dots } &0 &0\\ | |
− | + | ||
− | + | {-1} &2 &{-1} &{\dots } &0 &0\\ | |
+ | |||
+ | 0 &{-1} &2 &{\dots } &0 &0\\ | ||
+ | |||
+ | \cdot &\cdot &\cdot &\dots &\cdot &\cdot \\ | ||
+ | |||
+ | 0 &0 &0 &{\dots } &{-1} &0\\ | ||
+ | |||
+ | 0 &0 &0 &{\dots } &2 &{-2}\\ | ||
+ | |||
+ | 0 &0 &0 &{\dots } &{-1} &2 | ||
− | + | \end {array} | |
+ | \right\|,$$ | ||
+ | || conf 0.232 | ||
+ | |||
+ | l058510127.png (127) | ||
|- | |- | ||
− | | 59.(3.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510129.png || $\| \left. \begin{array} { r r r r r r r } { 2 } & { - 1 } & { 0 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 1 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 2 } & { - 1 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 0 } & { - 1 } & { 2 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 0 } & { - 1 } & { 0 } & { 2 } \end{array} \right. |$ || | + | | 59.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|3.]])* |
− | \left\| \begin{array} { | + | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510129.png |
− | + | || $\| \left. \begin{array} { r r r r r r r } { 2 } & { - 1 } & { 0 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 1 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 2 } & { - 1 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 0 } & { - 1 } & { 2 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 0 } & { - 1 } & { 0 } & { 2 } \end{array} \right. |$ | |
− | { - 1 } & | + | ||$$D_n:\quad \left\| |
− | + | \begin {array}{rrrrrrr} | |
− | \cdot | + | |
− | + | 2 &{-1} &0 &{\dots } &0 &0 &0 &0\\ | |
− | + | ||
− | + | {-1} &2 &{-1} &{\dots } &0 &0 &0 &0\\ | |
− | + | ||
− | \end{array} \right\|,$$ || conf 0.055 F | + | 0 &{-1} &2 &{\dots } &0 &0 &0 &0\\ |
+ | |||
+ | \cdot &\cdot &\cdot &\dots &\cdot &\cdot &\cdot &\cdot \\ | ||
+ | |||
+ | 0 &0 &0 &{\dots } &2 &{-1} &0 &0\\ | ||
+ | |||
+ | 0 &0 &0 &{\dots } &{-1} &2 &{-1} &{-1}\\ | ||
+ | |||
+ | 0 &0 &0 &{\dots } &0 &{-1} &2 &0\\ | ||
+ | |||
+ | 0 &0 &0 &{\dots } &0 &{-1} &0 &2 | ||
+ | |||
+ | \end {array} | ||
+ | \right\|,$$ | ||
+ | || conf 0.055 F | ||
− | + | l058510129.png (129) | |
|- | |- | ||
− | | 60.(8.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510130.png || $\left\| \begin{array} { r r r r r r } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } \\ { - 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\|$ || $$E_6: | + | | 60.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|8.]])* |
− | \quad \left\| \begin{array} { | + | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510130.png |
− | + | || $\left\| \begin{array} { r r r r r r } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } \\ { - 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\|$ | |
− | + | ||$$E_6: | |
− | { - 1 } & | + | \quad \left\| |
− | + | \begin {array}{rrrrrr} | |
− | + | ||
− | + | 2 &0 &{-1} &0 &0 &0\\ | |
− | \end{array} \right\|,$$ || conf 0.628 F | + | |
+ | 0 &2 &0 &{-1} &0 &0\\ | ||
+ | |||
+ | {-1} &0 &2 &{-1} &0 &0\\ | ||
+ | |||
+ | 0 &{-1} &{-1} &2 &{-1} &0\\ | ||
+ | |||
+ | 0 &0 &0 &{-1} &2 &{-1}\\ | ||
+ | |||
+ | 0 &0 &0 &0 &{-1} &2 | ||
+ | |||
+ | \end {array} | ||
+ | \right\|,$$ | ||
+ | || conf 0.628 F | ||
− | + | l058510130.png (130) | |
|- | |- | ||
− | | 61.(4.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510131.png || $\left\| \begin{array} { r r r r r r r } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\|$ || $$E_7: \quad | + | | 61.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|4.]]) |
− | \left\| \begin{array} { | + | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510131.png |
− | + | || $\left\| \begin{array} { r r r r r r r } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\|$ | |
− | + | ||$$E_7:\quad \left\| | |
− | {-1 } & | + | \begin {array}{rrrrrrr} |
− | + | ||
− | + | 2 &0 &{-1} &0 &0 &0 &0\\ | |
− | + | ||
− | + | 0 &2 &0 &{-1} &0 &0 &0\\ | |
− | + | ||
+ | {-1} &0 &2 &{-1} &0 &0 &0\\ | ||
+ | |||
+ | 0 &{-1} &{-1} &2 &{-1} &0 &0\\ | ||
− | + | 0 &0 &0 &{-1} &2 &{-1} &0\\ | |
+ | |||
+ | 0 &0 &0 &0 &{-1} &2 &{-1}\\ | ||
+ | |||
+ | 0 &0 &0 &0 &0 &{-1} &2 | ||
+ | |||
+ | \end {array} | ||
+ | \right\|,$$ | ||
+ | || conf 0.278 | ||
+ | |||
+ | l058510131.png (131) | ||
|- | |- | ||
− | | 62.(2.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510132.png || $\left. \begin{array} { r l l l l l l l } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right.$ || $$E_8: \quad | + | | 62.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|2.]])* |
− | \left\| \begin{array} { | + | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510132.png |
− | + | || $\left. \begin{array} { r l l l l l l l } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right.$ | |
− | + | ||$$E_8:\quad \left\| | |
− | {-1 } & | + | \begin {array}{rrrrrrrr} |
− | + | ||
− | + | 2 &0 &{-1} &0 &0 &0 &0 & | |
− | + | 0\\ | |
− | + | 0 &2 &0 &{-1} &0 &0 &0 &0\\ | |
− | + | ||
− | \end{array} \right\|,$$ || conf 0.354 F | + | {-1} &0 &2 &{-1} &0 &0 &0 &0\\ |
+ | |||
+ | 0 &{-1} &{-1} &2 &{-1} &0 &0 &0\\ | ||
+ | |||
+ | 0 &0 &0 &{-1} &2 &{-1} &0 &0\\ | ||
+ | |||
+ | 0 &0 &0 &0 &{-1} &2 &{-1} &0\\ | ||
+ | |||
+ | 0 &0 &0 &0 &0 &{-1} &2 &{-1}\\ | ||
+ | |||
+ | 0 &0 &0 &0 &0 &0 &{-1} &2 | ||
+ | |||
+ | \end {array} | ||
+ | \right\|,$$ | ||
+ | || conf 0.354 F | ||
− | + | l058510132.png (132) | |
|- | |- | ||
− | | 63.(10.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510133.png || $\left\| \begin{array} { r r r r } { 2 } & { - 1 } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 2 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\| , \quad G _ { 2 } : \quad \left\| \begin{array} { r r } { 2 } & { - 1 } \\ { - 3 } & { 2 } \end{array} \right\|$ | + | | 63.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|10.]])* |
− | || $$F_4: \quad \left\| \begin{array} { | + | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l058510133.png |
+ | || $\left\| \begin{array} { r r r r } { 2 } & { - 1 } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 2 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\| , \quad G _ { 2 } : \quad \left\| \begin{array} { r r } { 2 } & { - 1 } \\ { - 3 } & { 2 } \end{array} \right\|$ | ||
+ | |||
+ | ||$$F_4:\quad \left\| | ||
+ | \begin {array}{rrrr} | ||
+ | 2 &{-1} &0 &0\\ | ||
+ | {-1} &2 &{-2} &0\\ | ||
+ | 0 &{-1} &2 &{-1}\\ | ||
+ | 0 &0 &{-1} &2 | ||
+ | \end {array} | ||
+ | \right\|,\quad G _ 2:\quad \left\| | ||
+ | \begin {array}{rr} | ||
+ | 2&{-1}\\ | ||
+ | {-3}&2 | ||
+ | \end {array} | ||
+ | \right\|.$$ | ||
+ | || conf 0.374 F | ||
− | + | l058510133.png (133) | |
|- | |- | ||
− | | 64.(98.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851030.png || $\mathfrak { g } _ { \alpha } = \{ X \in \mathfrak { g } : [ H , X ] = \alpha ( H ) X , H \in \mathfrak { h } \}$ || | + | | 64.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|98.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851030.png | ||
+ | || $\mathfrak { g } _ { \alpha } = \{ X \in \mathfrak { g } : [ H , X ] = \alpha ( H ) X , H \in \mathfrak { h } \}$ | ||
+ | ||$$\mathfrak g_{\alpha }=\{X\in \mathfrak g:[H,X]=\alpha (H)X,H\in \mathfrak h\}.$$ | ||
+ | || conf 0.976 | ||
− | + | l05851030.png (30) | |
|- | |- | ||
− | | 65.(126.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851037.png || $\mathfrak { g } = \mathfrak { h } + \sum _ { \alpha \in \Sigma } \mathfrak { g } _ { \alpha }$ || | + | | 65.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|126.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851037.png | ||
+ | || $\mathfrak { g } = \mathfrak { h } + \sum _ { \alpha \in \Sigma } \mathfrak { g } _ { \alpha }$ | ||
+ | ||$$\mathfrak g=\mathfrak h+\sum _ {\alpha \in \Sigma }\mathfrak g_{\alpha }.$$ | ||
+ | || conf 0.945 | ||
− | + | l05851037.png (37) | |
|- | |- | ||
− | | 66.(61.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851044.png || $\mathfrak { g } _ { \alpha } = \operatorname { dim } [ \mathfrak { g } _ { \alpha } , \mathfrak { g } _ { - \alpha } ] = 1$ || | + | | 66.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|61.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851044.png | ||
+ | || $\mathfrak { g } _ { \alpha } = \operatorname { dim } [ \mathfrak { g } _ { \alpha } , \mathfrak { g } _ { - \alpha } ] = 1$ | ||
+ | ||$$\mathfrak g_{\alpha }=\operatorname {dim}[\mathfrak g_{\alpha },\mathfrak g_{-\alpha }]=1.$$ | ||
+ | || conf 0.520 F | ||
− | + | l05851044.png (44) | |
|- | |- | ||
− | | 67.(65.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851050.png || $[ H _ { \alpha } , X _ { \alpha } ] = 2 X _ { \alpha } \quad \text { and } \quad [ H _ { \alpha } , Y _ { \alpha } ] = - 2 Y _ { 0 }$ || | + | | 67.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|65.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851050.png | ||
+ | || $[ H _ { \alpha } , X _ { \alpha } ] = 2 X _ { \alpha } \quad \text { and } \quad [ H _ { \alpha } , Y _ { \alpha } ] = - 2 Y _ { 0 }$ | ||
+ | ||$$[H_{\alpha },X_{\alpha }]=2X_{\alpha }\quad {\rm and }\quad [H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }.$$ | ||
+ | || conf 0.539 F | ||
− | + | l05851050.png (50) | |
|- | |- | ||
− | | 68.(70.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851051.png || $\beta ( H _ { \alpha } ) = \frac { 2 ( \alpha , \beta ) } { ( \alpha , \alpha ) } , \quad \alpha , \beta \in \Sigma$ || | + | | 68.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|70.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851051.png | ||
+ | || $\beta ( H _ { \alpha } ) = \frac { 2 ( \alpha , \beta ) } { ( \alpha , \alpha ) } , \quad \alpha , \beta \in \Sigma$ | ||
+ | ||$$\beta (H_{\alpha })=\frac {2(\alpha ,\beta )}{(\alpha ,\alpha )},\quad \alpha ,\beta \in \Sigma,$$ | ||
+ | || conf 0.997 | ||
− | + | l05851051.png (51) | |
|- | |- | ||
− | | 69.(112.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851057.png || $[ \mathfrak { g } _ { \alpha } , \mathfrak { g } _ { \beta } ] = \mathfrak { g } _ { \alpha + \beta }$ || | + | | 69.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|112.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851057.png | ||
+ | || $[ \mathfrak { g } _ { \alpha } , \mathfrak { g } _ { \beta } ] = \mathfrak { g } _ { \alpha + \beta }$ | ||
+ | ||$$[\mathfrak g_{\alpha },\mathfrak g_{\beta }]=\mathfrak g_{\alpha +\beta }$$ | ||
+ | || conf 0.917 | ||
− | + | l05851057.png (57) | |
|- | |- | ||
− | | 70.(127.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851064.png || $H _ { \alpha _ { 1 } } , \ldots , H _ { \alpha _ { k } } , X _ { \alpha } \quad ( \alpha \in \Sigma )$ || | + | | 70.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|127.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851064.png | ||
+ | || $H _ { \alpha _ { 1 } } , \ldots , H _ { \alpha _ { k } } , X _ { \alpha } \quad ( \alpha \in \Sigma )$ | ||
+ | ||$$H_{\alpha _ 1},\ldots ,H_{\alpha _ k},X_{\alpha }\quad (\alpha \in \Sigma )$$ | ||
+ | || conf 0.432 | ||
− | + | l05851064.png (64) | |
|- | |- | ||
− | | 71.(113.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851069.png || $[ [ X _ { \alpha _ { i } } , X _ { - } \alpha _ { i } ] , X _ { - \alpha _ { j } } ] = - n ( i , j ) X _ { \alpha _ { j } }$ || | + | | 71.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|113.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851069.png | ||
+ | || $[ [ X _ { \alpha _ { i } } , X _ { - } \alpha _ { i } ] , X _ { - \alpha _ { j } } ] = - n ( i , j ) X _ { \alpha _ { j } }$ | ||
+ | ||$$[[X_{\alpha _ i},X_{-}\alpha _ i],X_{-\alpha _ j}]=-n(i,j)X_{\alpha _ j},$$ | ||
+ | || conf 0.628 F | ||
− | + | l05851069.png (69) | |
|- | |- | ||
− | | 72.(79.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851073.png || $n ( i , j ) = \alpha _ { j } ( H _ { i } ) = \frac { 2 ( \alpha _ { i } , \alpha _ { j } ) } { ( \alpha _ { j } , \alpha _ { j } ) }$ || | + | | 72.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|79.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851073.png | ||
+ | || $n ( i , j ) = \alpha _ { j } ( H _ { i } ) = \frac { 2 ( \alpha _ { i } , \alpha _ { j } ) } { ( \alpha _ { j } , \alpha _ { j } ) }$ | ||
+ | ||$$n(i,j)=\alpha _ j(H_i)=\frac {2(\alpha _ i,\alpha _ j)}{(\alpha _ j,\alpha _ j)}.$$ | ||
+ | || conf 0.992 | ||
− | + | l05851073.png (73) | |
|- | |- | ||
− | | 73.(13.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851074.png || $[ X _ { \alpha } , X _ { \beta } ] = \left\{ \begin{array} { l l } { N _ { \alpha , \beta } X _ { \alpha + \beta } } & { \text { if } \alpha + \beta \in \Sigma } \\ { 0 } & { \text { if } \alpha + \beta \notin \Sigma } \end{array} \right.$ || | + | | 73.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|13.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851074.png | ||
+ | || $[ X _ { \alpha } , X _ { \beta } ] = \left\{ \begin{array} { l l } { N _ { \alpha , \beta } X _ { \alpha + \beta } } & { \text { if } \alpha + \beta \in \Sigma } \\ { 0 } & { \text { if } \alpha + \beta \notin \Sigma } \end{array} \right.$ | ||
+ | ||$$[X_{\alpha },X_{\beta }]=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | {N_{\alpha ,\beta }X_{\alpha +\beta }} &{\text{ if }\alpha +\beta \in \Sigma,}\\ | ||
+ | 0 &{\text{ if }\alpha +\beta \notin \Sigma,} | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.988 | ||
− | + | l05851074.png (74) | |
|- | |- | ||
− | | 74.(80.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851078.png || $N _ { \alpha , \beta } = - N _ { - \alpha , - \beta } \quad \text { and } \quad N _ { \alpha , \beta } = \pm ( p + 1 )$ || | + | | 74.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|80.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851078.png | ||
+ | || $N _ { \alpha , \beta } = - N _ { - \alpha , - \beta } \quad \text { and } \quad N _ { \alpha , \beta } = \pm ( p + 1 )$ | ||
+ | ||$$N_{\alpha ,\beta }=-N_{-\alpha ,-\beta }\quad {\rm and }\quad N _ {\alpha ,\beta }=\pm (p+1),$$ | ||
+ | || conf 0.961 | ||
− | + | l05851078.png (78) | |
|- | |- | ||
− | | 75.(85.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851085.png || $X _ { \alpha } - X _ { - \alpha } , \quad i ( X _ { \alpha } + X _ { - \alpha } ) \quad ( \alpha \in \Sigma _ { + } )$ || | + | | 75.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|85.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058510/l05851085.png | ||
+ | || $X _ { \alpha } - X _ { - \alpha } , \quad i ( X _ { \alpha } + X _ { - \alpha } ) \quad ( \alpha \in \Sigma _ { + } )$ | ||
+ | ||$$iH_\alpha,X_{\alpha }-X_{-\alpha },\quad i (X_{\alpha }+X_{-\alpha })\quad (\alpha \in \Sigma _ {+})$$ | ||
+ | || conf 0.691 F | ||
− | + | l05851085.png (85) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Lie algebra, solvable]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 76.(119.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058520/l05852011.png || $[ \mathfrak { g } _ { i } , \mathfrak { g } _ { i } ] \subset \mathfrak { g } _ { \mathfrak { i } } + 1$ || | + | | 76.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|119.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058520/l05852011.png | ||
+ | || $[ \mathfrak { g } _ { i } , \mathfrak { g } _ { i } ] \subset \mathfrak { g } _ { \mathfrak { i } } + 1$ | ||
+ | ||$[\mathfrak g_i,\mathfrak g_i]\subset \mathfrak g_{i+1}$ | ||
+ | || conf 0.276 F | ||
− | + | l05852011.png (11) | |
|- | |- | ||
− | | 77.(141.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058520/l05852046.png || $\operatorname { dim } \mathfrak { g } _ { i } = \operatorname { dim } \mathfrak { g } - i$ || | + | | 77.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|141.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058520/l05852046.png | ||
+ | || $\operatorname { dim } \mathfrak { g } _ { i } = \operatorname { dim } \mathfrak { g } - i$ | ||
+ | ||$\operatorname {dim}\mathfrak g_i=\operatorname {dim}\mathfrak g-i$ | ||
+ | || conf 0.901 | ||
− | + | l05852046.png (46) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Lie group]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 78.(62.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590115.png || $( G ) \cong \operatorname { Aut } ( L ( G ) ) \quad \text { and } \quad L ( \operatorname { Aut } ( G ) ) \cong D ( L ( G ) )$ || | + | | 78.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|62.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590115.png | ||
+ | || $( G ) \cong \operatorname { Aut } ( L ( G ) ) \quad \text { and } \quad L ( \operatorname { Aut } ( G ) ) \cong D ( L ( G ) )$ | ||
+ | ||$$\operatorname {Aut}(G)\cong \operatorname {Aut}(L(G))\quad {\rm and }\quad L (\operatorname {Aut}(G))\cong D (L(G)),$$ | ||
+ | || conf 0.693 F | ||
− | + | l058590115.png (115) | |
|- | |- | ||
− | | 79.(50.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859086.png || $( X , Y ) \rightarrow \operatorname { exp } ^ { - 1 } ( \operatorname { exp } X \operatorname { exp } Y ) , \quad X , Y \in L ( G )$ || | + | | 79.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|50.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859086.png | ||
+ | || $( X , Y ) \rightarrow \operatorname { exp } ^ { - 1 } ( \operatorname { exp } X \operatorname { exp } Y ) , \quad X , Y \in L ( G )$ | ||
+ | ||$$(X,Y)\rightarrow \operatorname {exp}^{-1}(\operatorname {exp}X\operatorname {exp}Y),\quad X ,Y\in L (G),$$ | ||
+ | || conf 0.856 | ||
− | + | l05859086.png (86) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Lie group, compact]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 80.(121.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058610/l05861012.png || $J = \left\| \begin{array} { c c } { 0 } & { E _ { x } } \\ { - E _ { x } } & { 0 } \end{array} \right\|$ || | + | | 80.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|121.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058610/l05861012.png | ||
+ | || $J = \left\| \begin{array} { c c } { 0 } & { E _ { x } } \\ { - E _ { x } } & { 0 } \end{array} \right\|$ | ||
+ | ||$$J=\left\| | ||
+ | \begin {array}{cc} | ||
+ | 0 &{E_x}\\ | ||
+ | {-E_x} &0 | ||
+ | \end {array} | ||
+ | \right\|,$$ | ||
+ | || conf 0.364 F | ||
− | + | l05861012.png (12) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Lie group, nilpotent]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 81.(83.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058660/l0586604.png || $N ( F ) = \{ g \in GL ( V ) : g v \equiv v \operatorname { mod } V _ { i } \text { for all } v \in V _ { i } , i \geq 1 \}$ || | + | | 81.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|83.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058660/l0586604.png | ||
+ | || $N ( F ) = \{ g \in GL ( V ) : g v \equiv v \operatorname { mod } V _ { i } \text { for all } v \in V _ { i } , i \geq 1 \}$ | ||
+ | ||$$N(F)=\{g\in GL (V):gv\equiv v \operatorname {mod}V_i\;\text{for all }v\in V _ i,\;i\geq 1 \}$$ | ||
+ | || conf 0.466 | ||
− | + | l0586604.png (4) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Lie group, semi-simple]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 82.(35.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058680/l058680102.png || $L ( \mathfrak { g } ) \cong \Gamma _ { 0 } ( \mathfrak { u } ) \cap \mathfrak { h } ^ { \prime } / \Gamma _ { 0 } ( [ \mathfrak { k } , \mathfrak { k } ] )$ || | + | | 82.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|35.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058680/l058680102.png | ||
+ | || $L ( \mathfrak { g } ) \cong \Gamma _ { 0 } ( \mathfrak { u } ) \cap \mathfrak { h } ^ { \prime } / \Gamma _ { 0 } ( [ \mathfrak { k } , \mathfrak { k } ] )$ | ||
+ | ||$$L(\mathfrak g)\cong \Gamma _ 0(\mathfrak u)\cap \mathfrak h^{\prime }/\Gamma _ 0([\mathfrak k,\mathfrak k])$$ | ||
+ | || conf 0.659 F | ||
− | + | l058680102.png (102) | |
|- | |- | ||
− | | 83.(81.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058680/l05868032.png || $\Gamma _ { 1 } = \Gamma _ { 1 } ( g ) = \{ X \in h : \alpha ( X ) \in 2 \pi i Z \text { for all } \alpha \in \Sigma \}$ || | + | | 83.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|81.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058680/l05868032.png | ||
+ | || $\Gamma _ { 1 } = \Gamma _ { 1 } ( g ) = \{ X \in h : \alpha ( X ) \in 2 \pi i Z \text { for all } \alpha \in \Sigma \}$ | ||
+ | ||$$\Gamma _ 1=\Gamma _ 1(g)=\{X\in h :\alpha (X)\in 2 \pi i {\mathbf Z}\;\text{for all }\alpha \in \Sigma \}.$$ | ||
+ | || conf 0.183 F | ||
− | + | l05868032.png (32) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Lie p-algebra]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 84.(36.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058720/l05872026.png || $( \operatorname { ad } x ) ^ { n } y = \sum _ { j = 1 } ^ { n } ( - 1 ) ^ { j } \left( \begin{array} { c } { n } \\ { j } \end{array} \right) x ^ { n - j } y x ^ { j }$ || | + | | 84.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|36.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058720/l05872026.png | ||
+ | || $( \operatorname { ad } x ) ^ { n } y = \sum _ { j = 1 } ^ { n } ( - 1 ) ^ { j } \left( \begin{array} { c } { n } \\ { j } \end{array} \right) x ^ { n - j } y x ^ { j }$ | ||
+ | ||$$(\operatorname {ad}x)^ny=\sum _ {j=1}^n(-1)^j\left(\begin {array}cn\\ | ||
+ | j | ||
+ | \end {array} | ||
+ | \right)x^{n-j}yx^j$$ | ||
+ | || conf 0.356 | ||
− | + | l05872026.png (26) | |
|- | |- | ||
− | | 85.(99.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058720/l05872078.png || $\pi ( x + y ) = \pi ( x ) + \pi ( y ) , \quad \pi ( \lambda x ) = \lambda ^ { p } \pi ( x ) , \quad \lambda \in k$ || | + | | 85.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|99.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058720/l05872078.png | ||
+ | || $\pi ( x + y ) = \pi ( x ) + \pi ( y ) , \quad \pi ( \lambda x ) = \lambda ^ { p } \pi ( x ) , \quad \lambda \in k$ | ||
+ | ||$$\pi (x+y)=\pi (x)+\pi (y),\quad \pi (\lambda x )=\lambda ^p\pi (x),\quad \lambda \in k .$$ | ||
+ | || conf 0.964 | ||
− | + | l05872078.png (78) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Lie theorem]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 86.(134.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876010.png || $y _ { i } = f _ { i } ( g _ { 1 } , \ldots , g _ { i } || x _ { 1 } , \ldots , x _ { n } ) , \quad i = 1 , \ldots , n$ || | + | | 86.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|134.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876010.png | ||
+ | || $y _ { i } = f _ { i } ( g _ { 1 } , \ldots , g _ { i } | ||
+ | || x _ { 1 } , \ldots , x _ { n } ) , \quad i = 1 , \ldots , n$ | ||
+ | ||$$y_i=f_i(g_1,\ldots ,g_i;x_1,\ldots ,x_n),\quad i =1,\ldots ,n$$ | ||
+ | || conf 0.276 | ||
− | + | l05876010.png (10) | |
|- | |- | ||
− | | 87.(86.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876016.png || $X _ { i } = \sum _ { j = 1 } ^ { n } \xi _ { i j } ( x ) \frac { \partial } { \partial x _ { j } } , \quad i = 1 , \ldots , r$ || | + | | 87.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|86.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876016.png | ||
+ | || $X _ { i } = \sum _ { j = 1 } ^ { n } \xi _ { i j } ( x ) \frac { \partial } { \partial x _ { j } } , \quad i = 1 , \ldots , r$ | ||
+ | ||$$X_i=\sum _ {j=1}^n\xi _ {ij}(x)\frac {\partial }{\partial x _ j},\quad i =1,\ldots ,r,$$ | ||
+ | || conf 0.656 | ||
− | + | l05876016.png (16) | |
|- | |- | ||
− | | 88.(66.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876030.png || $\frac { \partial f _ { j } } { \partial g _ { i } } ( g , x ) = \sum _ { k = 1 } ^ { r } \xi _ { k j } ( f ( g _ { s } x ) ) \psi _ { k i } ( g )$ || | + | | 88.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|66.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876030.png | ||
+ | || $\frac { \partial f _ { j } } { \partial g _ { i } } ( g , x ) = \sum _ { k = 1 } ^ { r } \xi _ { k j } ( f ( g _ { s } x ) ) \psi _ { k i } ( g )$ | ||
+ | ||$$\frac {\partial f _ j}{\partial g _ i}(g,x)=\sum _ {k=1}^r\xi _ {kj}(f(g_sx))\psi _ {ki}(g),$$ | ||
+ | || conf 0.336 F | ||
− | + | l05876030.png (30) | |
|- | |- | ||
− | | 89.(19.)*|| https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876037.png || $\sum _ { k = 1 } ^ { N } ( \xi _ { i k } \frac { \partial \xi _ { j l } } { \partial x _ { k } } - \xi _ { j k } \frac { \partial \xi _ { i l } } { \partial x _ { k } } ) = \sum _ { k = 1 } ^ { r } c _ { i j } ^ { k } \xi _ { k l }$ || | + | | 89.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|19.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876037.png | ||
+ | || $\sum _ { k = 1 } ^ { N } ( \xi _ { i k } \frac { \partial \xi _ { j l } } { \partial x _ { k } } - \xi _ { j k } \frac { \partial \xi _ { i l } } { \partial x _ { k } } ) = \sum _ { k = 1 } ^ { r } c _ { i j } ^ { k } \xi _ { k l }$ | ||
+ | ||$$\sum _ {k=1}^N(\xi _ {ik}\frac {\partial \xi _ {jl}}{\partial x _ k}-\xi _ {jk}\frac {\partial \xi _ {il}}{\partial x _ k})=\sum _ {k=1}^rc_{ij}^k\xi _ {kl},$$ | ||
+ | || conf 0.157 F | ||
− | + | l05876037.png (37) | |
|- | |- | ||
− | | 90.(14.) || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876052.png || $\left. \begin{array} { c } { c _ { i j } ^ { k } = - c _ { j i } ^ { k } } \\ { \sum _ { l = 1 } ^ { r } ( c _ { i l } ^ { m } c _ { j k } ^ { l } + c _ { k l } ^ { m } c _ { i j } ^ { l } + c _ { j l } ^ { m } c _ { k i } ^ { l } ) = 0 , \quad 1 \leq i , j , k , l , m \leq r } \end{array} \right.$ || | + | | 90.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|14.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876052.png | ||
+ | || $\left. \begin{array} { c } { c _ { i j } ^ { k } = - c _ { j i } ^ { k } } \\ { \sum _ { l = 1 } ^ { r } ( c _ { i l } ^ { m } c _ { j k } ^ { l } + c _ { k l } ^ { m } c _ { i j } ^ { l } + c _ { j l } ^ { m } c _ { k i } ^ { l } ) = 0 , \quad 1 \leq i , j , k , l , m \leq r } \end{array} \right.$ | ||
+ | ||$$\left.\begin {array}c{c_{ij}^k=-c_{ji}^k},\\ | ||
+ | {\displaystyle\sum _ {l=1}^r(c_{il}^mc_{jk}^l+c_{kl}^mc_{ij}^l+c_{jl}^mc_{ki}^l)=0,\quad 1 \leq i ,j,k,l,m\leq r,} | ||
+ | \end {array} | ||
+ | \right\}$$ | ||
+ | || conf 0.085 | ||
− | + | l05876052.png (52) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Maximal torus]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 91.(95.) || https://www.encyclopediaofmath.org/legacyimages/m/m063/m063010/m06301072.png || $F ( x _ { 1 } f _ { 1 } + \ldots + x _ { x } f _ { n } ) = x _ { 1 } x _ { n } + x _ { 2 } x _ { n } - 1 + \ldots + x _ { p } x _ { n } - p + 1$ || | + | | 91.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|95.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/m/m063/m063010/m06301072.png | ||
+ | || $F ( x _ { 1 } f _ { 1 } + \ldots + x _ { x } f _ { n } ) = x _ { 1 } x _ { n } + x _ { 2 } x _ { n } - 1 + \ldots + x _ { p } x _ { n } - p + 1$ | ||
+ | ||$$F(x_1f_1+\ldots +x_xf_n)=x_1x_n+x_2x_{n-1}+\ldots +x_px_{n-p+1},$$ | ||
+ | || conf 0.198 | ||
− | + | m06301072.png (72) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Non-Abelian cohomology]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 92.(114.)*|| https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n066900110.png || $\phi ( g _ { 1 } ) \phi ( g ) \phi ( g _ { 1 } g _ { 2 } ) ^ { - 1 } = \operatorname { Int } m ( g _ { 1 } , g _ { 2 } )$ || | + | | 92.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|114.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n066900110.png | ||
+ | || $\phi ( g _ { 1 } ) \phi ( g ) \phi ( g _ { 1 } g _ { 2 } ) ^ { - 1 } = \operatorname { Int } m ( g _ { 1 } , g _ { 2 } )$ | ||
+ | ||$$\phi (g_1)\phi (g_2)\phi (g_1g_2)^{-1}=\operatorname {Int}m(g_1,g_2),$$ | ||
+ | || conf 0.443 F | ||
− | + | n066900110.png (110) | |
|- | |- | ||
− | | 93.(90.)*|| https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n066900118.png || $( g _ { 1 } , g _ { 2 } ) = h ( g _ { 1 } ) ( \phi ( g _ { 1 } ) ( h ( g _ { 2 } ) ) ) m ( g _ { 1 } , g _ { 2 } ) h ( g _ { 1 } , g _ { 2 } ) ^ { - 1 }$ || | + | | 93.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|90.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n066900118.png | ||
+ | || $( g _ { 1 } , g _ { 2 } ) = h ( g _ { 1 } ) ( \phi ( g _ { 1 } ) ( h ( g _ { 2 } ) ) ) m ( g _ { 1 } , g _ { 2 } ) h ( g _ { 1 } , g _ { 2 } ) ^ { - 1 }$ | ||
+ | ||$$m'(g_1,g_2)=h(g_1)(\phi (g_1)(h(g_2)))m(g_1,g_2)h(g_1,g_2)^{-1}.$$ | ||
+ | || conf 0.764 F | ||
− | + | n066900118.png (118) | |
|- | |- | ||
− | | 94.(44.) || https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n06690016.png || $\delta ( e ) = e \quad \text { and } \quad \delta ( \rho ( a ) b ) = \sigma ( a ) \delta ( b ) , \quad \alpha \in C ^ { 0 } , \quad b \in C ^ { 1 }$ || | + | | 94.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|44.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n06690016.png | ||
+ | || $\delta ( e ) = e \quad \text { and } \quad \delta ( \rho ( a ) b ) = \sigma ( a ) \delta ( b ) , \quad \alpha \in C ^ { 0 } , \quad b \in C ^ { 1 }$ | ||
+ | ||$$\delta (e)=e\quad \;\text{and }\quad \delta (\rho (a)b)=\sigma (a)\delta (b),\quad \alpha \in C ^0,\quad b \in C ^1,$$ | ||
+ | || conf 0.400 | ||
− | + | n06690016.png (16) | |
|- | |- | ||
− | | 95.(60.)*|| https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n06690028.png || $C ^ { * } ( \mathfrak { U } , F ) = ( C ^ { 0 } ( \mathfrak { U } , F ) , C ^ { 1 } ( \mathfrak { U } , F ) , C ^ { 2 } ( \mathfrak { U } , F ) )$ || | + | | 95.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|60.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/n/n066/n066900/n06690028.png | ||
+ | || $C ^ { * } ( \mathfrak { U } , F ) = ( C ^ { 0 } ( \mathfrak { U } , F ) , C ^ { 1 } ( \mathfrak { U } , F ) , C ^ { 2 } ( \mathfrak { U } , F ) )$ | ||
+ | ||$$C^{*}(\mathfrak U,{\cal F})=(C^0(\mathfrak U,{\cal F}),C^1(\mathfrak U,{\cal F}),C^2(\mathfrak U,{\cal F})),$$ | ||
+ | || conf 0.205 F | ||
− | + | n06690028.png (28) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Picard scheme]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 96.(39.)*|| https://www.encyclopediaofmath.org/legacyimages/p/p072/p072670/p07267025.png || $\operatorname { Pic } _ { X / k } ( S ^ { \prime } ) = \operatorname { Fic } ( X \times k S ^ { \prime } ) / \operatorname { Fic } ( S ^ { \prime } )$ || | + | | 96.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|39.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/p/p072/p072670/p07267025.png | ||
+ | || $\operatorname { Pic } _ { X / k } ( S ^ { \prime } ) = \operatorname { Fic } ( X \times k S ^ { \prime } ) / \operatorname { Fic } ( S ^ { \prime } )$ | ||
+ | ||$$\operatorname {Pic}_{X/k}(S^{\prime })=\operatorname {Pic}(X\times_k S ^{\prime })/\operatorname {Pic}(S^{\prime })$$ | ||
+ | || conf 0.345 F + | ||
− | + | p07267025.png (25) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Principal analytic fibration]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 97.(100.)*|| https://www.encyclopediaofmath.org/legacyimages/p/p074/p074640/p07464025.png || $g j : U _ { i } \cap U _ { j } \rightarrow G , \quad i , j \in I , \quad U _ { i } \cap U _ { j } \neq \emptyset$ || | + | | 97.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|100.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/p/p074/p074640/p07464025.png | ||
+ | || $g j : U _ { i } \cap U _ { j } \rightarrow G , \quad i , j \in I , \quad U _ { i } \cap U _ { j } \neq \emptyset$ | ||
+ | ||$$g_j:U_i\cap U _ j\rightarrow G ,\quad i ,j\in I ,\quad U _ i\cap U _ j\neq \emptyset,$$ | ||
+ | || conf 0.184 F | ||
− | + | p07464025.png (25) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Quantum groups]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 98.(101.) || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631062.png || $\phi ^ { * } : \mathfrak { g } ^ { * } \otimes \mathfrak { g } ^ { * } \rightarrow \mathfrak { g } ^ { * }$ || | + | | 98.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|101.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631062.png | ||
+ | || $\phi ^ { * } : \mathfrak { g } ^ { * } \otimes \mathfrak { g } ^ { * } \rightarrow \mathfrak { g } ^ { * }$ | ||
+ | ||$$\phi ^{*}:\mathfrak g^{*}\otimes \mathfrak g^{*}\rightarrow \mathfrak g^{*}$$ | ||
+ | || conf 0.837 | ||
− | + | q07631062.png (62) | |
|- | |- | ||
− | | 99.(108.) || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631071.png || $\delta : U _ { \mathfrak { g } } \rightarrow U _ { \mathfrak { g } } \otimes U _ { \mathfrak { g } }$ || | + | | 99.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|108.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631071.png | ||
+ | || $\delta : U _ { \mathfrak { g } } \rightarrow U _ { \mathfrak { g } } \otimes U _ { \mathfrak { g } }$ | ||
+ | ||$$\delta :U_{\mathfrak g}\rightarrow U _ {\mathfrak g}\otimes U _ {\mathfrak g}$$ | ||
+ | || conf 0.648 | ||
− | + | q07631071.png (71) | |
|- | |- | ||
− | | 100.(56.)*|| https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631072.png || $\delta ( \alpha ) = \operatorname { lim } _ { h \rightarrow 0 } h ^ { - 1 } ( \Delta ( a ) - \Delta ^ { \prime } ( \alpha ) )$ || | + | | 100.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|56.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631072.png | ||
+ | || $\delta ( \alpha ) = \operatorname { lim } _ { h \rightarrow 0 } h ^ { - 1 } ( \Delta ( a ) - \Delta ^ { \prime } ( \alpha ) )$ | ||
+ | ||$$\delta (\alpha )=\operatorname {lim}_{h\rightarrow 0 }h^{-1}(\Delta (a)-\Delta ^{\prime }(\alpha ))$$ | ||
+ | || conf 0.304 F | ||
− | + | q07631072.png (72) | |
|- | |- | ||
− | | 101.(129.)*|| https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631088.png || $[ \alpha , X _ { i } ^ { \pm } ] = \pm \alpha _ { i } ( \alpha ) X _ { i } ^ { \pm } \quad \text { for } a$ || | + | | 101.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|129.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631088.png | ||
+ | || $[ \alpha , X _ { i } ^ { \pm } ] = \pm \alpha _ { i } ( \alpha ) X _ { i } ^ { \pm } \quad \text { for } a$ | ||
+ | ||$$[\alpha ,X_i^{\pm }]=\pm \alpha _ i(\alpha )X_i^{\pm }\quad \text{for }a\in \mathfrak h;$$ | ||
+ | || conf 0.544 F | ||
− | + | q07631088.png (88) | |
|- | |- | ||
− | | 102.(128.) || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631089.png || $[ X _ { i } ^ { + } , X _ { j } ^ { - } ] = 2 \delta _ { i j } h ^ { - 1 } \operatorname { sinh } ( h H _ { i } / 2 )$ || | + | | 102.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|128.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631089.png | ||
+ | || $[ X _ { i } ^ { + } , X _ { j } ^ { - } ] = 2 \delta _ { i j } h ^ { - 1 } \operatorname { sinh } ( h H _ { i } / 2 )$ | ||
+ | ||$$[X_i^{+},X_j^{-}]=2\delta _ {ij}h^{-1}\operatorname {sinh}(hH_i/2).$$ | ||
+ | || conf 0.893 | ||
− | + | q07631089.png (89) | |
|- | |- | ||
− | | 103.(20.) || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631092.png || $\sum _ { k = 0 } ^ { n } ( - 1 ) ^ { k } \left( \begin{array} { l } { n } \\ { k } \end{array} \right) q ^ { - k ( n - k ) / 2 } ( X _ { i } ^ { \pm } ) ^ { k } X _ { j } ^ { \pm } \cdot ( X _ { i } ^ { \pm } ) ^ { n - k } = 0$ || | + | | 103.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|20.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631092.png | ||
+ | || $\sum _ { k = 0 } ^ { n } ( - 1 ) ^ { k } \left( \begin{array} { l } { n } \\ { k } \end{array} \right) q ^ { - k ( n - k ) / 2 } ( X _ { i } ^ { \pm } ) ^ { k } X _ { j } ^ { \pm } \cdot ( X _ { i } ^ { \pm } ) ^ { n - k } = 0$ | ||
+ | ||$$\sum _ {k=0}^n(-1)^k\left(\begin {array}ln\\ | ||
+ | k | ||
+ | \end {array} | ||
+ | \right)q^{-k(n-k)/2}(X_i^{\pm })^kX_j^{\pm }\cdot (X_i^{\pm })^{n-k}=0.$$ | ||
+ | || conf 0.055 | ||
− | + | q07631092.png (92) | |
|- | |- | ||
− | | 104.(30.) || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631095.png || $\left( \begin{array} { l } { n } \\ { k } \end{array} \right) _ { q } = \frac { ( q ^ { n } - 1 ) \ldots ( q ^ { n - k + 1 } - 1 ) } { ( q ^ { k } - 1 ) \ldots ( q - 1 ) }$ || | + | | 104.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|30.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631095.png | ||
+ | || $\left( \begin{array} { l } { n } \\ { k } \end{array} \right) _ { q } = \frac { ( q ^ { n } - 1 ) \ldots ( q ^ { n - k + 1 } - 1 ) } { ( q ^ { k } - 1 ) \ldots ( q - 1 ) }$ | ||
+ | ||$$\left( | ||
+ | \begin {array}ln\\ | ||
+ | k | ||
+ | \end {array} | ||
+ | \right)_q=\frac {(q^n-1)\ldots (q^{n-k+1}-1)}{(q^k-1)\ldots (q-1)} | ||
+ | .$$ | ||
+ | || conf 0.443 | ||
− | + | q07631095.png (95) | |
|- | |- | ||
− | | 105.(21.)*|| https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631099.png || $\Delta ( X _ { i } ^ { \pm } ) = X _ { i } ^ { \pm } \bigotimes \operatorname { exp } ( \frac { h H _ { i } } { 4 } ) + \operatorname { exp } ( \frac { - h H _ { i } } { 4 } ) \otimes x _ { i } ^ { \pm }$ || | + | | 105.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|21.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/q/q076/q076310/q07631099.png | ||
+ | || $\Delta ( X _ { i } ^ { \pm } ) = X _ { i } ^ { \pm } \bigotimes \operatorname { exp } ( \frac { h H _ { i } } { 4 } ) + \operatorname { exp } ( \frac { - h H _ { i } } { 4 } ) \otimes x _ { i } ^ { \pm }$ | ||
+ | ||$$\Delta (X_i^{\pm })=X_i^{\pm }\otimes \operatorname {exp}(\frac {hH_i}4)+\operatorname {exp}(\frac {-hH_i}4)\otimes X _ i^{\pm }.$$ | ||
+ | || conf 0.212 F | ||
− | + | q07631099.png (99) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Rational representation]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 106.(91.) || https://www.encyclopediaofmath.org/legacyimages/r/r077/r077630/r077630100.png || $0 \leq \frac { 2 ( \chi , \alpha ) } { ( \alpha , \alpha ) } < p \quad \text { for all } \alpha \in \Delta$ || | + | | 106.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|91.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/r/r077/r077630/r077630100.png | ||
+ | || $0 \leq \frac { 2 ( \chi , \alpha ) } { ( \alpha , \alpha ) } < p \quad \text { for all } \alpha \in \Delta$ | ||
+ | ||$$0\leq \frac {2(\chi ,\alpha )}{(\alpha ,\alpha )}<p\quad \text{for all }\alpha \in \Delta.$$ | ||
+ | || conf 0.879 | ||
− | + | r077630100.png (100) | |
|- | |- | ||
− | | 107.(135.) || https://www.encyclopediaofmath.org/legacyimages/r/r077/r077630/r077630104.png || $\phi _ { 0 } \bigotimes \phi _ { 1 } ^ { Fr } \otimes \ldots \otimes \phi _ { d } ^ { FF ^ { d } }$ || | + | | 107.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|135.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/r/r077/r077630/r077630104.png | ||
+ | || $\phi _ { 0 } \bigotimes \phi _ { 1 } ^ { Fr } \otimes \ldots \otimes \phi _ { d } ^ { FF ^ { d } }$ | ||
+ | ||$$\phi _ 0\otimes \phi _ 1^{Fr}\otimes \ldots \otimes \phi _ d^{{Fr}^d},$$ | ||
+ | || conf 0.136 | ||
− | + | r077630104.png (104) | |
|- | |- | ||
− | | 108.(45.)*|| https://www.encyclopediaofmath.org/legacyimages/r/r077/r077630/r07763055.png || $\chi = \delta _ { \phi } - \sum _ { \alpha \in \Delta } m _ { \alpha } \alpha , \quad m _ { \alpha } \in Z , \quad m _ { \alpha } \geq 0$ || | + | | 108.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|45.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/r/r077/r077630/r07763055.png | ||
+ | || $\chi = \delta _ { \phi } - \sum _ { \alpha \in \Delta } m _ { \alpha } \alpha , \quad m _ { \alpha } \in Z , \quad m _ { \alpha } \geq 0$ | ||
+ | ||$$\chi =\delta _ {\phi }-\sum _ {\alpha \in \Delta }m_{\alpha }\alpha ,\quad m _ {\alpha }\in Z ,\quad m _ {\alpha }\geq 0.$$ | ||
+ | || conf 0.862 F | ||
− | + | r07763055.png (55) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Singular point]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 109.(31.) || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590225.png || $\sum _ { k _ { 1 } , \ldots , k _ { n } = 0 } ^ { \infty } c _ { k _ { 1 } \cdots k _ { n } } ( z _ { 1 } - \zeta _ { 1 } ) ^ { k _ { 1 } } \ldots ( z _ { n } - \zeta _ { n } ) ^ { k _ { n } }$ || | + | | 109.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|31.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590225.png | ||
+ | || $\sum _ { k _ { 1 } , \ldots , k _ { n } = 0 } ^ { \infty } c _ { k _ { 1 } \cdots k _ { n } } ( z _ { 1 } - \zeta _ { 1 } ) ^ { k _ { 1 } } \ldots ( z _ { n } - \zeta _ { n } ) ^ { k _ { n } }$ | ||
+ | ||$$\sum _ {k_1,\ldots ,k_n=0}^{\infty }c_{k_1\cdots k _ n}(z_1-\zeta _ 1)^{k_1}\ldots (z_n-\zeta _ n)^{k_n}$$ | ||
+ | || conf 0.324 | ||
− | + | s085590225.png (225) | |
|- | |- | ||
− | | 110.(46.) || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590404.png || $\frac { m _ { 1 } } { n _ { 1 } } < \frac { m _ { 2 } } { n _ { 1 } n _ { 2 } } < \ldots < \frac { m _ { g } } { n _ { 1 } \ldots n _ { g } } = \frac { m _ { g } } { n }$ || | + | | 110.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|46.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590404.png | ||
+ | || $\frac { m _ { 1 } } { n _ { 1 } } < \frac { m _ { 2 } } { n _ { 1 } n _ { 2 } } < \ldots < \frac { m _ { g } } { n _ { 1 } \ldots n _ { g } } = \frac { m _ { g } } { n }$ | ||
+ | ||$$\frac {m_1}{n_1}<\frac {m_2}{n_1n_2}<\ldots <\frac {m_g}{n_1\ldots n _ g}=\frac {m_g}n$$ | ||
+ | || conf 0.459 | ||
− | + | s085590404.png (404) | |
|- | |- | ||
− | | 111.(115.)*|| https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590429.png || $p ( Z ) = 1 - \operatorname { dim } H ^ { 0 } ( Z , O _ { Z } ) + \operatorname { dim } H ^ { 1 } ( Z , O _ { Z } )$ || | + | | 111.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|115.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590429.png | ||
+ | || $p ( Z ) = 1 - \operatorname { dim } H ^ { 0 } ( Z , O _ { Z } ) + \operatorname { dim } H ^ { 1 } ( Z , O _ { Z } )$ | ||
+ | ||$$p(Z)=1-\operatorname {dim}H^0({\mathbf Z},{\cal O}_{\mathbf Z })+\operatorname {dim}H^1({\mathbf Z},{\cal O}_{\mathbf Z })$$ | ||
+ | || conf 0.997 F | ||
− | + | s085590429.png (429) | |
|- | |- | ||
− | | 112.(136.)*|| https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590440.png || $X _ { \epsilon } = \{ ( x _ { 0 } , \ldots , x _ { x } ) : f ( x _ { 0 } , \ldots , x _ { x } ) = \epsilon \}$ || | + | | 112.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|136.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590440.png | ||
+ | || $X _ { \epsilon } = \{ ( x _ { 0 } , \ldots , x _ { x } ) : f ( x _ { 0 } , \ldots , x _ { x } ) = \epsilon \}$ | ||
+ | ||$$X_{\epsilon }=\{(x_0,\ldots ,x_x):f(x_0,\ldots ,x_x)=\epsilon \}$$ | ||
+ | || conf 0.433 F | ||
− | + | s085590440.png (440) | |
|- | |- | ||
− | | 113.(12.) || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590458.png || $= \left\{ \begin{array} { l l } { ( x + \lambda ) ^ { 2 } \ldots ( x + k \lambda ) ^ { 2 } } & { \text { if } \mu = 2 k } \\ { ( x + \lambda ) ^ { 2 } \ldots ( x + k \lambda ) ^ { 2 } ( x + ( k + 1 ) \lambda ) } & { \text { if } \mu = 2 k + 1 } \end{array} \right.$ || | + | | 113.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|12.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590458.png | ||
+ | || $= \left\{ \begin{array} { l l } { ( x + \lambda ) ^ { 2 } \ldots ( x + k \lambda ) ^ { 2 } } & { \text { if } \mu = 2 k } \\ { ( x + \lambda ) ^ { 2 } \ldots ( x + k \lambda ) ^ { 2 } ( x + ( k + 1 ) \lambda ) } & { \text { if } \mu = 2 k + 1 } \end{array} \right.$ | ||
+ | ||$$=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | {(x+\lambda )^2\ldots (x+k\lambda )^2} &{\text{ if }\mu =2k,}\\ | ||
+ | {(x+\lambda )^2\ldots (x+k\lambda )^2(x+(k+1)\lambda )} &{\text{ if }\mu =2k+1,} | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.870 | ||
− | + | s085590458.png (458) | |
|- | |- | ||
− | | 114.(75.) || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590482.png || $( \frac { \partial F ( x , y , \lambda ) } { \partial x } , \frac { \partial F ( x , y , \lambda ) } { \partial y } )$ || | + | | 114.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|75.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590482.png | ||
+ | || $( \frac { \partial F ( x , y , \lambda ) } { \partial x } , \frac { \partial F ( x , y , \lambda ) } { \partial y } )$ | ||
+ | ||$$\big(\frac {\partial F (x,y,\lambda )}{\partial x },\frac {\partial F (x,y,\lambda )}{\partial y }\big)$$ | ||
+ | || conf 0.986 | ||
− | + | s085590482.png (482) | |
|- | |- | ||
− | | 115.(137.) || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590515.png || $\frac { d x _ { i } } { d x _ { i _ { 0 } } } = f _ { i } ( x ) , \quad f _ { i } \in C ( U ) , \quad i \neq i _ { 0 }$ || | + | | 115.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|137.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590515.png | ||
+ | || $\frac { d x _ { i } } { d x _ { i _ { 0 } } } = f _ { i } ( x ) , \quad f _ { i } \in C ( U ) , \quad i \neq i _ { 0 }$ | ||
+ | ||$$\frac {dx_i}{dx_{i_0}}=f_i(x),\quad f _ i\in C (U),\quad i \neq i _ 0.$$ | ||
+ | || conf 0.594 | ||
− | + | s085590515.png (515) | |
|- | |- | ||
− | | 116.(142.)*|| https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590527.png || $A = \| \left. \begin{array} { l l } { \alpha } & { b } \\ { c } & { e } \end{array} \right. |$ || | + | | 116.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|142.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590527.png | ||
+ | || $A = \| \left. \begin{array} { l l } { \alpha } & { b } \\ { c } & { e } \end{array} \right. |$ | ||
+ | ||$$A=\left\| | ||
+ | \begin {array}{ll} | ||
+ | {\alpha } &b\\ | ||
+ | c &e | ||
+ | \end {array} | ||
+ | \right\|$$ | ||
+ | || conf 0.506 F | ||
− | + | s085590527.png (527) | |
|- | |- | ||
− | | 117.(53.) || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590634.png || $\Delta = ( F _ { x x } ^ { \prime \prime } ) _ { 0 } ( F _ { y y } ^ { \prime \prime } ) _ { 0 } - ( F _ { x y } ^ { \prime \prime } ) _ { 0 } ^ { 2 }$ || | + | | 117.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|53.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590634.png | ||
+ | || $\Delta = ( F _ { x x } ^ { \prime \prime } ) _ { 0 } ( F _ { y y } ^ { \prime \prime } ) _ { 0 } - ( F _ { x y } ^ { \prime \prime } ) _ { 0 } ^ { 2 }$ | ||
+ | ||$$\Delta =(F_{xx}^{\prime \prime })_0(F_{yy}^{\prime \prime })_0-(F_{xy}^{\prime \prime })_0^2$$ | ||
+ | || conf 0.920 | ||
− | + | s085590634.png (634) | |
|- | |- | ||
− | | 118.(16.)*|| https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590645.png || $\left| \begin{array} { l l l } { F _ { X } ^ { \prime } } & { F _ { y } ^ { \prime } } & { F _ { z } ^ { \prime } } \\ { G _ { \chi } ^ { \prime } } & { G _ { y } ^ { \prime } } & { G _ { Z } ^ { \prime } } \end{array} \right|$ || | + | | 118.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|16.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590645.png | ||
+ | || $\left| \begin{array} { l l l } { F _ { X } ^ { \prime } } & { F _ { y } ^ { \prime } } & { F _ { z } ^ { \prime } } \\ { G _ { \chi } ^ { \prime } } & { G _ { y } ^ { \prime } } & { G _ { Z } ^ { \prime } } \end{array} \right|$ | ||
+ | ||$$\left\| | ||
+ | \begin {array}{lll} | ||
+ | {F_x^{\prime }} &{F_y^{\prime }} &{F_z^{\prime }}\\ | ||
+ | {G_x^{\prime }} &{G_y^{\prime }} &{G_Z^{\prime }} | ||
+ | \end {array} | ||
+ | \right\|$$ | ||
+ | || conf 0.230 F | ||
− | + | s085590645.png (645) | |
|- | |- | ||
− | | 119.(92.) || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590653.png || $( F _ { X } ^ { \prime } ) _ { 0 } = 0 , \quad ( F _ { y } ^ { \prime } ) _ { 0 } = 0 , \quad ( F _ { z } ^ { \prime } ) _ { 0 } = 0$ || | + | | 119.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|92.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590653.png | ||
+ | || $( F _ { X } ^ { \prime } ) _ { 0 } = 0 , \quad ( F _ { y } ^ { \prime } ) _ { 0 } = 0 , \quad ( F _ { z } ^ { \prime } ) _ { 0 } = 0$ | ||
+ | ||$$(F_x^{\prime })_0=0,\quad (F_y^{\prime })_0=0,\quad (F_z^{\prime })_0=0.$$ | ||
+ | || conf 0.300 | ||
− | + | s085590653.png (653) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Solv manifold]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 120.(138.) || https://www.encyclopediaofmath.org/legacyimages/s/s086/s086100/s08610054.png || $\{ e \} \rightarrow \Delta \rightarrow \pi \rightarrow Z ^ { s } \rightarrow \{ e \}$ || | + | | 120.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|138.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s086/s086100/s08610054.png | ||
+ | || $\{ e \} \rightarrow \Delta \rightarrow \pi \rightarrow Z ^ { s } \rightarrow \{ e \}$ | ||
+ | ||$$\{e\}\rightarrow \Delta \rightarrow \pi \rightarrow {\mathbf Z}^s\rightarrow \{e\}$$ | ||
+ | || conf 0.972 | ||
− | + | s08610054.png (54) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Stability theorems in algebraic K-theory]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 121.(71.) || https://www.encyclopediaofmath.org/legacyimages/s/s087/s087060/s08706033.png || $\psi _ { t _ { 1 } , \ldots , t _ { R } } ^ { \prime } : S K _ { 1 } ( R ) \rightarrow S K _ { 1 } ( R ( t _ { 1 } , \ldots , t _ { n } ) )$ || | + | | 121.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|71.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s087/s087060/s08706033.png | ||
+ | || $\psi _ { t _ { 1 } , \ldots , t _ { R } } ^ { \prime } : S K _ { 1 } ( R ) \rightarrow S K _ { 1 } ( R ( t _ { 1 } , \ldots , t _ { n } ) )$ | ||
+ | ||$$\psi _ {t_1,\ldots ,t_n}^{\prime }:SK_1(R)\rightarrow S K _ 1(R(t_1,\ldots ,t_n)).$$ | ||
+ | || conf 0.379 | ||
− | + | s08706033.png (33) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Steinberg module]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 122.(130.) || https://www.encyclopediaofmath.org/legacyimages/s/s130/s130530/s13053016.png || $e = \frac { | U | } { | G | } ( \sum _ { b \in B } b ) ( \sum _ { w \in W } \operatorname { sign } ( w ) w )$ || | + | | 122.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|130.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s130/s130530/s13053016.png | ||
+ | || $e = \frac { | U | } { | G | } ( \sum _ { b \in B } b ) ( \sum _ { w \in W } \operatorname { sign } ( w ) w )$ | ||
+ | ||$$e=\frac {|U|}{|G|}\big(\sum _ {b\in B }b\big)\big(\sum _ {w\in W }\operatorname {sign}(w)w\big)$$ | ||
+ | || conf 0.138 | ||
− | + | s13053016.png (16) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Steinberg symbol]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 123.(24.)*|| https://www.encyclopediaofmath.org/legacyimages/s/s130/s130540/s13054017.png || $( x _ { i j } ( a ) , x _ { k l } ( b ) ) = \left\{ \begin{array} { l l } { 1 } & { \text { if } i \neq 1 , j \neq k } \\ { x _ { 1 } ( a b ) } & { \text { if } i \neq 1 , j = k } \end{array} \right.$ || | + | | 123.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|24.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/s/s130/s130540/s13054017.png | ||
+ | || $( x _ { i j } ( a ) , x _ { k l } ( b ) ) = \left\{ \begin{array} { l l } { 1 } & { \text { if } i \neq 1 , j \neq k } \\ { x _ { 1 } ( a b ) } & { \text { if } i \neq 1 , j = k } \end{array} \right.$ | ||
+ | ||$$(x_{ij}(a),x_{kl}(b))=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | 1 &{\text{ if }i\neq l ,j\neq k },\\ | ||
+ | {x_{il}(ab)} &{\text{ if }i\neq l ,j=k}. | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.381 F | ||
− | + | s13054017.png (17) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Tilting theory]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 124.(84.) || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130130/t130130105.png || $0 \rightarrow \Lambda \rightarrow T _ { 1 } \rightarrow \ldots \rightarrow T _ { n } \rightarrow 0$ || | + | | 124.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|84.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130130/t130130105.png | ||
+ | || $0 \rightarrow \Lambda \rightarrow T _ { 1 } \rightarrow \ldots \rightarrow T _ { n } \rightarrow 0$ | ||
+ | ||$$0\rightarrow \Lambda \rightarrow T _ 1\rightarrow \ldots \rightarrow T _ n\rightarrow 0 $$ | ||
+ | || conf 0.946 | ||
− | + | t130130105.png (105) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Tits quadratic form]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 125.(18.) || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140104.png || $q R ( x ) = \sum _ { j \in Q _ { 0 } } x _ { j } ^ { 2 } - \sum _ { \langle \beta : i \rightarrow j ) \in Q _ { 1 } } x _ { i } x _ { j } + \sum _ { \langle \beta : i \rightarrow j ) \in Q _ { 1 } } x _ { , j } x _ { i } x _ { j }$ || | + | | 125.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|18.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140104.png | ||
+ | || $q R ( x ) = \sum _ { j \in Q _ { 0 } } x _ { j } ^ { 2 } - \sum _ { \langle \beta : i \rightarrow j ) \in Q _ { 1 } } x _ { i } x _ { j } + \sum _ { \langle \beta : i \rightarrow j ) \in Q _ { 1 } } x _ { , j } x _ { i } x _ { j }$ | ||
+ | ||$$q_R(x)=\sum _ {j\in Q _ 0}x_j^2-\sum _ {\langle \beta :i\rightarrow j )\in Q _ 1}x_ix_j+\sum _ {\langle \beta :i\rightarrow j )\in Q _ 1}r_{i,j}x_ix_j,$$ | ||
+ | || conf 0.112 | ||
− | + | t130140104.png (104) | |
|- | |- | ||
− | | 126.(40.) || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140118.png || $[ X ] \mapsto \chi _ { R } ( [ X ] ) = \sum _ { m = 0 } ^ { \infty } ( - 1 ) ^ { m } \operatorname { dim } _ { K } \operatorname { Ext } _ { R } ^ { m } ( X , X )$ || | + | | 126.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|40.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140118.png | ||
+ | || $[ X ] \mapsto \chi _ { R } ( [ X ] ) = \sum _ { m = 0 } ^ { \infty } ( - 1 ) ^ { m } \operatorname { dim } _ { K } \operatorname { Ext } _ { R } ^ { m } ( X , X )$ | ||
+ | ||$$[X]\mapsto \chi _ R([X])=\sum _ {m=0}^{\infty }(-1)^m\operatorname {dim}_K\operatorname {Ext}_R^m(X,X)$$ | ||
+ | || conf 0.116 | ||
− | + | t130140118.png (118) | |
|- | |- | ||
− | | 127.(132.)*|| https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140119.png || $\operatorname { dim } _ { 1 } : K _ { 0 } ( \operatorname { mod } R ) \rightarrow Z ^ { Q _ { 0 } }$ || | + | | 127.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|132.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140119.png | ||
+ | || $\operatorname { dim } _ { 1 } : K _ { 0 } ( \operatorname { mod } R ) \rightarrow Z ^ { Q _ { 0 } }$ | ||
+ | ||$$\underline {\dim }:K_0(\operatorname {mod}R)\rightarrow {\mathbf Z}^{Q_0}$$ | ||
+ | || conf 0.287 F | ||
− | + | t130140119.png (119) | |
|- | |- | ||
− | | 128.(37.)*|| https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140140.png || $q ( x ) = \sum _ { i \in I } x _ { i } ^ { 2 } + \sum _ { i \prec j } x _ { i } x _ { j } - \sum _ { p \in \operatorname { max } l } ( \sum _ { i \prec p } x _ { i } ) x _ { p }$ || | + | | 128.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|37.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t130140140.png | ||
+ | || $q ( x ) = \sum _ { i \in I } x _ { i } ^ { 2 } + \sum _ { i \prec j } x _ { i } x _ { j } - \sum _ { p \in \operatorname { max } l } ( \sum _ { i \prec p } x _ { i } ) x _ { p }$ | ||
+ | ||$$q_I(x)=\sum _ {i\in I }x_i^2+\sum _ {i\prec j \atop j\in I\setminus {\rm max}I}x_ix_j-\sum _ {p\in \operatorname {max}I}\big(\sum _ {i\prec p }x_i\big)x_p$$ | ||
+ | || conf 0.197 F | ||
− | + | t130140140.png (140) | |
|- | |- | ||
− | | 129.(131.)*|| https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t13014044.png || $X \mapsto \operatorname { dim } X = ( \operatorname { dim } _ { K } X _ { j } ) _ { j \in Q _ { 0 } }$ || | + | | 129.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|131.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t13014044.png | ||
+ | || $X \mapsto \operatorname { dim } X = ( \operatorname { dim } _ { K } X _ { j } ) _ { j \in Q _ { 0 } }$ | ||
+ | ||$$X\mapsto \underline {\dim }X=(\operatorname {dim}_KX_j)_{j\in Q _ 0}$$ | ||
+ | || conf 0.819 F | ||
− | + | t13014044.png (44) | |
|- | |- | ||
− | | 130.(25. | + | | 130.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|25.]] |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t13014048.png | ||
+ | || $[ X ] \mapsto \chi _ { Q } ( [ X ] ) = \operatorname { dim } _ { K } \operatorname { End } _ { Q } ( X ) - \operatorname { dim } _ { K } \operatorname { Ext } _ { Q } ^ { 1 } ( X , X )$ | ||
+ | ||$$[X]\mapsto \chi _ Q([X])=\operatorname {dim}_K\operatorname {End}_Q(X)-\operatorname {dim}_K\operatorname {Ext}_Q^1(X,X)$$ | ||
+ | || conf 0.661 | ||
− | + | t13014048.png (48) | |
|- | |- | ||
− | | 131.(38.)*|| https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t13014056.png || $A _ { Q } ( v ) = \prod _ { i , j \in Q _ { 0 } } \prod _ { \langle \beta : j \rightarrow i \rangle \in Q _ { 1 } } M _ { v _ { i } \times v _ { j } } ( K ) _ { \beta }$ || | + | | 131.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|38.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t13014056.png | ||
+ | || $A _ { Q } ( v ) = \prod _ { i , j \in Q _ { 0 } } \prod _ { \langle \beta : j \rightarrow i \rangle \in Q _ { 1 } } M _ { v _ { i } \times v _ { j } } ( K ) _ { \beta }$ | ||
+ | ||$$A_Q(v)=\prod _ {i,j\in Q _ 0}\prod _ {\langle \beta :j\rightarrow i \rangle \in Q _ 1}M_{v_i\times v _ j}(K)_{\beta }$$ | ||
+ | || conf 0.481 F | ||
− | + | t13014056.png (56) | |
|- | |- | ||
− | | 132.(139.)*|| https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t1301406.png || $\Phi ( x ) = \sum _ { j \in Q _ { 0 } } x _ { j } ^ { 2 } - \sum _ { i , j \in Q _ { 0 } } d _ { i j } x _ { i } x _ { j }$ || | + | | 132.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|139.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t130/t130140/t1301406.png | ||
+ | || $\Phi ( x ) = \sum _ { j \in Q _ { 0 } } x _ { j } ^ { 2 } - \sum _ { i , j \in Q _ { 0 } } d _ { i j } x _ { i } x _ { j }$ | ||
+ | ||$$q_Q(x)=\sum _ {j\in Q _ 0}x_j^2-\sum _ {i,j\in Q _ 0}d_{ij}x_ix_j,$$ | ||
+ | || conf 0.648 F | ||
− | + | t1301406.png (6) | |
|- | |- | ||
− | + | |} | |
+ | |||
+ | ==[[Torus]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 133.(41.)*|| https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933502.png || $r = \alpha \operatorname { sin } u k + l ( 1 + \epsilon \operatorname { cos } u ) ( i \operatorname { cos } v + j \operatorname { sin } v )$ || | + | | 133.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|41.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933502.png | ||
+ | || $r = \alpha \operatorname { sin } u k + l ( 1 + \epsilon \operatorname { cos } u ) ( i \operatorname { cos } v + j \operatorname { sin } v )$ | ||
+ | ||$$r=\alpha \operatorname {sin}u{\bf k}+l(1+\epsilon \operatorname {cos}u)({\bf i}\operatorname {cos}v+{\bf j}\operatorname {sin}v)$$ | ||
+ | || conf 0.585 F | ||
− | + | t0933502.png (2) | |
|- | |- | ||
− | | 134.(122.)*|| https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933507.png || $d s ^ { 2 } = \alpha ^ { 2 } d u ^ { 2 } + l ^ { 2 } ( 1 + \epsilon \operatorname { cos } u ) ^ { 2 } d v ^ { 2 }$ || | + | | 134.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|122.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/t/t093/t093350/t0933507.png | ||
+ | || $d s ^ { 2 } = \alpha ^ { 2 } d u ^ { 2 } + l ^ { 2 } ( 1 + \epsilon \operatorname { cos } u ) ^ { 2 } d v ^ { 2 }$ | ||
+ | ||$$ds^2=\alpha ^2du^2+l^2(1+\epsilon \operatorname {cos}u)^2dv^2,$$ | ||
+ | || conf 0.696 F | ||
− | + | t0933507.png (7) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Uniform distribution]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 135.(9.) || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524027.png || $u _ { 3 } ( x ) = \left\{ \begin{array} { l l } { \frac { x ^ { 2 } } { 2 } , } & { 0 \leq x < 1 } \\ { \frac { [ x ^ { 2 } - 3 ( x - 1 ) ^ { 2 } ] } { 2 } , } & { 1 \leq x < 2 } \\ { \frac { [ x ^ { 2 } - 3 ( x - 1 ) ^ { 2 } + 3 ( x - 2 ) ^ { 2 } ] } { 2 } , } & { 2 \leq x < 3 } \\ { 0 , } & { x \notin [ 0,3 ] } \end{array} \right.$ || | + | | 135.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|9.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524027.png | ||
+ | || $u _ { 3 } ( x ) = \left\{ \begin{array} { l l } { \frac { x ^ { 2 } } { 2 } , } & { 0 \leq x < 1 } \\ { \frac { [ x ^ { 2 } - 3 ( x - 1 ) ^ { 2 } ] } { 2 } , } & { 1 \leq x < 2 } \\ { \frac { [ x ^ { 2 } - 3 ( x - 1 ) ^ { 2 } + 3 ( x - 2 ) ^ { 2 } ] } { 2 } , } & { 2 \leq x < 3 } \\ { 0 , } & { x \notin [ 0,3 ] } \end{array} \right.$ | ||
+ | ||$$u_3(x)=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | {\frac {x^2}2,} &{0\leq x <1,}\\ | ||
+ | {\frac {[x^2-3(x-1)^2]}2,} &{1\leq x <2,}\\ | ||
+ | {\frac {[x^2-3(x-1)^2+3(x-2)^2]}2,} &{2\leq x <3,}\\ | ||
+ | {0,} &{x\notin [0,3].} | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.733 | ||
− | + | u09524027.png (27) | |
|- | |- | ||
− | | 136.(32.)*|| https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u0952403.png || $p ( x ) = \left\{ \begin{array} { l l } { \frac { 1 } { b - \alpha } , } & { x \in [ \alpha , b ] } \\ { 0 , } & { x \notin [ \alpha , b ] } \end{array} \right.$ || | + | | 136.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|32.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u0952403.png | ||
+ | || $p ( x ) = \left\{ \begin{array} { l l } { \frac { 1 } { b - \alpha } , } & { x \in [ \alpha , b ] } \\ { 0 , } & { x \notin [ \alpha , b ] } \end{array} \right.$ | ||
+ | ||$$p(x)=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | {\frac 1{b-\alpha },} &{x\in [\alpha ,b],}\\ | ||
+ | {0,} &{x\notin [\alpha ,b].} | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.681 F | ||
− | + | u0952403.png (3) | |
|- | |- | ||
− | | 137.(34.) || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524030.png || $u _ { n } ( x ) = \frac { 1 } { ( n - 1 ) ! } \sum _ { k = 0 } ^ { n } ( - 1 ) ^ { k } \left( \begin{array} { l } { n } \\ { k } \end{array} \right) ( x - k ) _ { + } ^ { n - 1 }$ || | + | | 137.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|34.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524030.png | ||
+ | || $u _ { n } ( x ) = \frac { 1 } { ( n - 1 ) ! } \sum _ { k = 0 } ^ { n } ( - 1 ) ^ { k } \left( \begin{array} { l } { n } \\ { k } \end{array} \right) ( x - k ) _ { + } ^ { n - 1 }$ | ||
+ | ||$$u_n(x)=\frac 1{(n-1)!}\sum _ {k=0}^n(-1)^k\left(\begin {array}ln\\ | ||
+ | k | ||
+ | \end {array} | ||
+ | \right)(x-k)_{+}^{n-1}$$ | ||
+ | || conf 0.569 | ||
− | + | u09524030.png (30) | |
|- | |- | ||
− | | 138.(109.) || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524034.png || $z _ { + } = \left\{ \begin{array} { l l } { z , } & { z > 0 } \\ { 0 , } & { z \leq 0 } \end{array} \right.$ || | + | | 138.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|109.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524034.png | ||
+ | || $z _ { + } = \left\{ \begin{array} { l l } { z , } & { z > 0 } \\ { 0 , } & { z \leq 0 } \end{array} \right.$ | ||
+ | ||$$z_{+}=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | {z,} &{z>0}.\\ | ||
+ | {0,} &{z\leq 0 }. | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.676 | ||
− | + | u09524034.png (34) | |
|- | |- | ||
− | | 139.(43.) || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u0952407.png || $F ( x ) = \left\{ \begin{array} { l l } { 0 , } & { x \leq a } \\ { \frac { x - a } { b - a } , } & { a < x \leq b } \\ { 1 , } & { x > b } \end{array} \right.$ || | + | | 139.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|43.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u0952407.png | ||
+ | || $F ( x ) = \left\{ \begin{array} { l l } { 0 , } & { x \leq a } \\ { \frac { x - a } { b - a } , } & { a < x \leq b } \\ { 1 , } & { x > b } \end{array} \right.$ | ||
+ | ||$$F(x)=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | {0,} &{x\leq a },\\ | ||
+ | {\frac {x-a}{b-a},} &{a<x\leq b },\\ | ||
+ | {1,} &{x>b}, | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.468 | ||
− | + | u0952407.png (7) | |
|- | |- | ||
− | | 140.(47.) || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524072.png || $p ( x _ { 1 } , \ldots , x _ { n } ) = \left\{ \begin{array} { l l } { C \neq 0 , } & { x \in D } \\ { 0 , } & { x \notin D } \end{array} \right.$ || | + | | 140.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|47.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095240/u09524072.png | ||
+ | || $p ( x _ { 1 } , \ldots , x _ { n } ) = \left\{ \begin{array} { l l } { C \neq 0 , } & { x \in D } \\ { 0 , } & { x \notin D } \end{array} \right.$ | ||
+ | ||$$p(x_1,\ldots ,x_n)=\left\{ | ||
+ | \begin {array}{ll} | ||
+ | {C\neq 0 ,} &{x\in D },\\ | ||
+ | {0,} &{x\notin D }, | ||
+ | \end {array} | ||
+ | \right.$$ | ||
+ | || conf 0.705 | ||
− | + | u09524072.png (72) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Unipotent group]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 141.(143.) || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095410/u0954106.png || $\{ g \in \operatorname { GL } ( V ) : ( 1 - g ) ^ { n } = 0 \} , \quad n = \operatorname { dim } V$ || | + | | 141.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|143.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/u/u095/u095410/u0954106.png | ||
+ | || $\{ g \in \operatorname { GL } ( V ) : ( 1 - g ) ^ { n } = 0 \} , \quad n = \operatorname { dim } V$ | ||
+ | ||$$\{g\in \operatorname {GL}(V):(1-g)^n=0\},\quad n =\operatorname {dim}V,$$ | ||
+ | || conf 0.287 | ||
− | + | u0954106.png (6) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Weyl module]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 142.(51.) || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090122.png || $\operatorname { diag } ( t _ { 1 } , \ldots , t _ { n } ) \mapsto t _ { 1 } ^ { \lambda _ { 1 } } \ldots t _ { n } ^ { \lambda _ { n } } \in K$ || | + | | 142.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|51.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090122.png | ||
+ | || $\operatorname { diag } ( t _ { 1 } , \ldots , t _ { n } ) \mapsto t _ { 1 } ^ { \lambda _ { 1 } } \ldots t _ { n } ^ { \lambda _ { n } } \in K$ | ||
+ | ||$$\operatorname {diag}(t_1,\ldots ,t_n)\mapsto t _ 1^{\lambda _ 1}\ldots t _ n^{\lambda _ n}\in K,$$ | ||
+ | || conf 0.507 | ||
− | + | w120090122.png (122) | |
|- | |- | ||
− | | 143.(54.)*|| https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090135.png || $\chi _ { \lambda } = \sum _ { \mu \in \Lambda ( n ) } \operatorname { dim } _ { K } ( \Delta ( \lambda ) ^ { \mu } ) _ { e _ { \mu } }$ || | + | | 143.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|54.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090135.png | ||
+ | || $\chi _ { \lambda } = \sum _ { \mu \in \Lambda ( n ) } \operatorname { dim } _ { K } ( \Delta ( \lambda ) ^ { \mu } ) _ { e _ { \mu } }$ | ||
+ | ||$$\chi _ {\lambda }=\sum _ {\mu \in \Lambda (n)}\operatorname {dim}_K(\Delta (\lambda )^{\mu })_{e_{\mu }},$$ | ||
+ | || conf 0.461 F | ||
− | + | w120090135.png (135) | |
|- | |- | ||
− | | 144.(110.) || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090259.png || $\mathfrak { B } = \{ e _ { \pm } \alpha , h _ { \beta } : \alpha \in \Phi ^ { + } , \beta \in \Sigma \}$ || | + | | 144.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|110.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090259.png | ||
+ | || $\mathfrak { B } = \{ e _ { \pm } \alpha , h _ { \beta } : \alpha \in \Phi ^ { + } , \beta \in \Sigma \}$ | ||
+ | ||$$\mathfrak B=\{e_{\pm }\alpha ,h_{\beta }:\alpha \in \Phi ^{+},\beta \in \Sigma \}.$$ | ||
+ | || conf 0.381 | ||
− | + | w120090259.png (259) | |
|- | |- | ||
− | | 145.(82.) || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090342.png || $\left( \begin{array} { c } { h } \\ { i } \end{array} \right) = \frac { h ( h - 1 ) \ldots ( h - i + 1 ) } { i ! }$ || | + | | 145.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|82.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w120090342.png | ||
+ | || $\left( \begin{array} { c } { h } \\ { i } \end{array} \right) = \frac { h ( h - 1 ) \ldots ( h - i + 1 ) } { i ! }$ | ||
+ | ||$$\left( | ||
+ | \begin {array}ch\\ | ||
+ | i | ||
+ | \end {array} | ||
+ | \right)=\frac {h(h-1)\ldots (h-i+1)}{i!} | ||
+ | $$ | ||
+ | || conf 0.487 | ||
− | + | w120090342.png (342) | |
|- | |- | ||
− | | 146.(28.)*|| https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w12009095.png || $\mathfrak { S } _ { \{ 1 , \ldots , \lambda _ { 1 } \} } \times \mathfrak { S } _ { \{ \lambda _ { 1 } + 1 , \ldots , \lambda _ { 1 } + \lambda _ { 2 } \} } \times$ || | + | | 146.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|28.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w12009095.png | ||
+ | || $\mathfrak { S } _ { \{ 1 , \ldots , \lambda _ { 1 } \} } \times \mathfrak { S } _ { \{ \lambda _ { 1 } + 1 , \ldots , \lambda _ { 1 } + \lambda _ { 2 } \} } \times$ | ||
+ | ||$$\mathfrak S_{\{1,\ldots ,\lambda _ 1\}}\times \mathfrak S_{\{\lambda _ 1+1,\ldots ,\lambda _ 1+\lambda _ 2\}}\times \dots $$ | ||
+ | || conf 0.312 F | ||
− | + | w12009095.png (95) | |
|- | |- | ||
− | | 147.(104.) || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w12009096.png || $\ldots \times \mathfrak { S } _ { \{ \lambda _ { 1 } + \ldots + \lambda _ { n - 1 } + 1 , \ldots , r \} }$ || | + | | 147.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|104.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w120/w120090/w12009096.png | ||
+ | || $\ldots \times \mathfrak { S } _ { \{ \lambda _ { 1 } + \ldots + \lambda _ { n - 1 } + 1 , \ldots , r \} }$ | ||
+ | ||$$\ldots \times \mathfrak S_{\{\lambda _ 1+\ldots +\lambda _ {n-1}+1,\ldots ,r\}},$$ | ||
+ | || conf 0.259 | ||
− | + | w12009096.png (96) | |
|- | |- | ||
− | + | |} | |
+ | ==[[Witt vector]]== | ||
+ | {| class="wikitable" style="text-align: left; width: 1740px;" | ||
+ | !style=width: 3%| Nr. | ||
+ | !style=width: 30%| Image of png File | ||
+ | !style=width: 30%| $\TeX$, automatically generated version | ||
+ | !style=width: 30%| $\TeX$, manually corrected version | ||
+ | !style=width: 7%| Confidence, F? | ||
+ | png file | ||
|- | |- | ||
− | | 148.(87.)*|| https://www.encyclopediaofmath.org/legacyimages/w/w098/w098100/w098100172.png || $\langle \alpha > < b \rangle = \langle \alpha b \rangle , \quad \langle 1 \rangle = f _ { 1 } = V _ { 1 } =$ || | + | | 148.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|87.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w098/w098100/w098100172.png | ||
+ | || $\langle \alpha > < b \rangle = \langle \alpha b \rangle , \quad \langle 1 \rangle = f _ { 1 } = V _ { 1 } =$ | ||
+ | ||$$\langle \alpha ><b\rangle =\langle \alpha b \rangle ,\quad \langle {\bf 1}\rangle ={\bf f}_1={\bf V}_1=\text{ unit element}1,$$ | ||
+ | || conf 0.351 F | ||
− | + | w098100172.png (172) | |
|- | |- | ||
− | | 149.(123.)*|| https://www.encyclopediaofmath.org/legacyimages/w/w098/w098100/w098100177.png || $\langle \alpha + b \rangle = \sum _ { n = 1 } ^ { \infty } V _ { n } \langle r _ { n } ( \alpha , b ) f$ || | + | | 149.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|123.]])* |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w098/w098100/w098100177.png | ||
+ | || $\langle \alpha + b \rangle = \sum _ { n = 1 } ^ { \infty } V _ { n } \langle r _ { n } ( \alpha , b ) f$ | ||
+ | ||$$\langle \alpha +b\rangle =\sum _ {n=1}^{\infty }{\bf V}_n\langle r _ n(\alpha ,b){\bf f}_n.$$ | ||
+ | || conf 0.143 F | ||
− | + | w098100177.png (177) | |
|- | |- | ||
− | | 150.(102.) || https://www.encyclopediaofmath.org/legacyimages/w/w098/w098100/w098100190.png || $\sigma ( \alpha _ { 1 } , \alpha _ { 2 } , \ldots ) = ( \alpha _ { 1 } ^ { p } , \alpha _ { 2 } ^ { p } , \ldots )$ || | + | | 150.([[User:Maximilian Janisch/latexlist/latex/Algebraic Groups/E|102.]]) |
+ | || https://www.encyclopediaofmath.org/legacyimages/w/w098/w098100/w098100190.png | ||
+ | || $\sigma ( \alpha _ { 1 } , \alpha _ { 2 } , \ldots ) = ( \alpha _ { 1 } ^ { p } , \alpha _ { 2 } ^ { p } , \ldots )$ | ||
+ | ||$$\sigma (\alpha _ 1,\alpha _ 2,\ldots )=(\alpha _ 1^p,\alpha _ 2^p,\ldots )$$ | ||
+ | || conf 0.771 | ||
− | + | w098100190.png (190) | |
|- | |- | ||
|} | |} |
Latest revision as of 17:27, 11 November 2019
This page gives an analysis of the code here, generated automatically from some png files underlying our old wiki pages. As this page does contain a lot of $\TeX$ code, it loads slowly.
Under the name of some of our EoM-pages the table below lists some png files, displaying their image and their $TeX$ rendering (automatically retrieved and corrected by hand). The first column gives the running number in this table, followed (in parentheses) by the number used here. The last column gives the confidence and the name of the png file, followed (in parentheses) by the number it has in the sequence of all png files called by its calling EoM-page.
Here is a short survey of the more systematic errors which seem to occur:
- 1. Trailing punctuation is dismissed.
- [concerns almost all images] ; technically: pixels in sparse last pixel columns of bit images are suppressed/ignored?
- 2. "Displayed" images are not recognized as such.
- [concerns almost all images]
- Therefore these are displayed too small, and like "inline" $\TeX$ format.
- Remark: This cannot be discovered from the png file, it has to be retrieved from the html markup in the calling file: Displayed images are embedded in some html <table> markup.
- 3. Sparse initial column pixels of the bit image are dismissed
- (in parts this affects essential symbols), [see nr. 15,16,36,43,58,59,60,61,62,63,97,109]
- 4. Some fonts are not recognized
- \cal: [7.12.25.26,30,31,32,33,95,111] \mathbf: [30,83,111,127] \bf:[ 133,148,149]
- 5. Semi-colon is interpreted as double pipe = "||"
- [33,49,86,101]
- 6. Some code is not displayed at all.
- (This seems to be a bug of our MathJax TeX interpreter.) [67,74,78,81,83,94,101,106]
- This seems to happen when a string "\text {" is involved, can apparently be fixed by using "\text{", but still unclear.
- 7. Questions
- The different interpretation of the matrix delimiters in [56-63] is a bit surprising. Should be checked!
- Also, the vanishing of some '-' signs in the first column of some matrices, maybe that is related to 3.?
Algebraic curve
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
1.(23.) | $g \leq \left\{ \begin{array} { l l } { \frac { ( n - 2 ) ^ { 2 } } { 4 } } & { \text { for even } n } \\ { \frac { ( n - 1 ) ( n - 3 ) } { 4 } } & { \text { for odd } n } \end{array} \right.$ | $$g\leq \left\{ \begin {array}{ll} {\frac {(n-2)^2}4} &{\text{ for even }n,}\\ {\frac {(n-1)(n-3)}4} &{\text{ for odd }n,} \end {array} \right.$$ | conf 0.698
a01145065.png (65) |
Algebraic geometry
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
2.(116.) | $\theta = \int _ { 0 } ^ { \lambda } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ | $$\theta =\int\limits _ 0^{\lambda }\frac {dx}{\sqrt {(1-c^2x^2)(1-e^2x^2)}},$$ | conf 0.997
a01150014.png (14) | |
3.(133.) | $\omega = 2 \int _ { 0 } ^ { 1 / c } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ | $$\omega =2\int\limits _ 0^{1/c}\frac {dx}{\sqrt {(1-c^2x^2)(1-e^2x^2)}},$$ | conf 0.973
a01150021.png (21) | |
4.(67.) | $\overline { w } = 2 \int _ { 0 } ^ { 1 / \varepsilon } \frac { d x } { \sqrt { ( 1 - c ^ { 2 } x ^ { 2 } ) ( 1 - e ^ { 2 } x ^ { 2 } ) } }$ | $$\widetilde w=2\int\limits _ 0^{1/\varepsilon }\frac {dx}{\sqrt {(1-c^2x^2)(1-e^2x^2)}},$$ | conf 0.107
a01150022.png (22) | |
5.(105.) | $\theta ( v + \pi i r ) = \theta ( r ) , \quad \theta ( v + \alpha _ { j } ) = e ^ { L _ { j } ( v ) } \theta ( v )$ | $$\theta (v+\pi i r )=\theta (r),\quad \theta (v+\alpha _ j)=e^{L_j(v)}\theta (v),$$ | conf 0.775
a01150044.png (44) | |
6.(17.) | $\left( \begin{array} { l l } { \alpha } & { b } \\ { c } & { d } \end{array} \right) \equiv \left( \begin{array} { l l } { 1 } & { 0 } \\ { 0 } & { 1 } \end{array} \right) ( \operatorname { mod } 7 )$ | $$\left( \begin {array}{ll} {\alpha } &b\\ c &d \end {array} \right)\equiv \left( \begin {array}{ll} 1&0\\ 0&1 \end {array} \right)(\operatorname {mod}7).$$ | conf 0.440
a01150078.png (78) |
Algebraic surface
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
7.(144.) | $0 \rightarrow O _ { V } \rightarrow E _ { \alpha } \rightarrow T _ { V } \rightarrow 0$ | $$0\rightarrow {\cal O}_V\rightarrow E _ {\alpha }\rightarrow T _ V\rightarrow 0$$ | conf 0.981
a011640132.png (132) | |
8.(73.) | $M = \operatorname { dim } \operatorname { Im } ( H ^ { 1 } ( V , E _ { \alpha } ) \rightarrow H ^ { 1 } ( V , T _ { V } ) )$ | $$M=\operatorname {dim}\operatorname {Im}(H^1(V,E_{\alpha })\rightarrow H ^1(V,T_V)).$$ | conf 0.997
a011640137.png (137) | |
9.(88.) | $\operatorname { dim } _ { k } H ^ { 2 } ( V , E _ { \alpha } ) + \operatorname { dim } _ { k } H ^ { 2 } ( V , T _ { V } )$ | $$\operatorname {dim}_kH^2(V,E_{\alpha })+\operatorname {dim}_kH^2(V,T_V).$$ | conf 0.996
a011640139.png (139) | |
10.(117.) | $N _ { m } = \left( \begin{array} { c } { m + 3 } \\ { 3 } \end{array} \right) - d m + 2 t + \tau + p - 1$ | $$N_m=\left(\begin {array}c{m+3}\\ 3 \end {array} \right)-dm+2t+\tau +p-1.$$ | conf 0.369
a01164027.png (27) | |
11.(72.) | $p _ { \alpha } ( V ) = \left( \begin{array} { c } { n - 1 } \\ { 3 } \end{array} \right) - d ( n - 1 ) + 2 t + \tau + p - 1$ | $$p_{\alpha }(V)=\left(\begin {array}c{n-1}\\ 3 \end {array} \right)-d(n-1)+2t+\tau +p-1$$ | conf 0.396
a01164029.png (29) | |
12.(68.)* | $p _ { x } ( V ) = - \operatorname { dim } _ { k } H _ { 1 } ( V , O _ { V } ) + \operatorname { dim } _ { k } H ^ { 2 } ( V , O _ { V } ) =$ | $$p_{\alpha }(V)=-\operatorname {dim}_kH_1(V,{\cal O}_V)+\operatorname {dim}_kH^2(V,{\cal O}_V)=$$ | conf 0.756 F
a01164047.png (47) | |
13.(93.)* | $1 + p _ { x } ( V ) = \frac { \operatorname { deg } ( c _ { 1 } ^ { 2 } ) + \operatorname { deg } ( c _ { 2 } ) } { 12 }$ | $$1+p_{\alpha }(V)=\frac {\operatorname {deg}(c_1^2)+\operatorname {deg}(c_2)}{12},$$ | conf 0.752 F
a01164053.png (53) |
Cartan subalgebra
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
14.(33.)* | $\mathfrak { g } 0 = \{ X \in \mathfrak { g } : \forall H \in \mathfrak { t } \exists \mathfrak { n } X , H \in Z ( ( \text { ad } H ) ^ { n } X , H ( X ) = 0 ) \}$ | $$\mathfrak g_0=\big\{X\in \mathfrak g:\forall H \in \mathfrak t\exists n_{X,H}\in {\mathbb Z}((\text{ ad }H)^{n_{X,H}}(X)=0)\big\},$$ | conf 0.110 F
c0205509.png (9) |
Cartan theorem
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
15.(49.)* | $f _ { j } ] = \delta _ { i j } h _ { i } , \quad [ h _ { i } , e _ { j } ] = \alpha _ { i j } e _ { j } , \quad [ h _ { i } , f _ { j } ] = - \alpha _ { j } f _ { j }$ | $$[e_i,f_j]=\delta _ {ij}h_i,\quad [h_i,e_j]=\alpha _ {ij}e_j,\quad [h_i,f_j]=-\alpha _ {ij}f_j,$$ | conf 0.149 F
c0205704.png (4) | |
16.(55.)* | $\rightarrow H ^ { p } ( X , S ) \rightarrow H ^ { p } ( X , F ) \stackrel { \phi p } { \rightarrow } H ^ { p } ( X , G ) \rightarrow$ | $$\dots \rightarrow H ^p(X,S)\rightarrow H ^p(X,F)\stackrel {\phi_p }{\rightarrow }H^p(X,G)\rightarrow $$ | conf 0.853 F
c02057064.png (64) |
Comitant
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
17.(7.) | $H = \frac { 1 } { 36 } \left| \begin{array} { c c } { \frac { \partial ^ { 2 } f } { \partial x ^ { 2 } } } & { \frac { \partial ^ { 2 } f } { \partial x \partial y } } \\ { \frac { \partial ^ { 2 } f } { \partial x \partial y } } & { \frac { \partial ^ { 2 } f } { \partial y ^ { 2 } } } \end{array} \right| =$ | $$H=\frac 1{36}\left| \begin {array}{cc} {\frac {\partial ^2f}{\partial x ^2}} &{\frac {\partial ^2f}{\partial x \partial y }}\\ {\frac {\partial ^2f}{\partial x \partial y }} &{\frac {\partial ^2f}{\partial y ^2}} \end {array} \right|=$$ | conf 0.956
c02333033.png (33) | |
18.(76.) | $= ( a _ { 0 } a _ { 2 } - a _ { 1 } ^ { 2 } ) x ^ { 2 } + ( a _ { 0 } a _ { 3 } - a _ { 1 } a _ { 2 } ) x y + ( a _ { 1 } a _ { 3 } - a _ { 2 } ^ { 2 } ) y ^ { 2 }$ | $$=(a_0a_2-a_1^2)x^2+(a_0a_3-a_1a_2)xy+(a_1a_3-a_2^2)y^2$$ | conf 0.549
c02333034.png (34) | |
19.(11.)* | $( \alpha _ { 0 } , \alpha _ { 1 } , \alpha _ { 2 } , \alpha _ { 3 } ) \mapsto ( \alpha _ { 0 } \alpha _ { 2 } - \alpha _ { 1 } ^ { 2 } , \frac { 1 } { 2 } ( \alpha _ { 0 } \alpha _ { 3 } - \alpha _ { 1 } \alpha _ { 2 } ) , \alpha _ { 1 } \alpha _ { 3 } - \alpha _ { 2 } ^ { 2 } )$ | $$(\alpha _ 0,\alpha _ 1,\alpha _ 2,\alpha _ 3)\mapsto (\alpha _ 0\alpha _ 2-\alpha _ 1^2,\frac 12(\alpha _ 0\alpha _ 3-\alpha _ 1\alpha _ 2),\alpha _ 1\alpha _ 3-\alpha _ 2^2)$$ | conf 0.521 F
c02333035.png (35) |
Deformation
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
20.(26.) | $\operatorname { Aut } _ { R ^ { \prime } } ( X ^ { \prime } | X _ { 0 } ) \rightarrow \operatorname { Aut } _ { R } ( X _ { R ^ { \prime } } ^ { \prime } \otimes R | X _ { 0 } )$ | $$\operatorname {Aut}_{R^{\prime }}(X^{\prime }|X_0)\rightarrow \operatorname {Aut}_R(X_{R^{\prime }}^{\prime }\otimes R |X_0)$$ | conf 0.683
\ d030700175.png (175) | |
21.(27.) | $\operatorname { dim } _ { k } H ^ { 1 } ( X _ { 0 } , T _ { X _ { 0 } } ) - \operatorname { dim } M _ { X _ { 0 } } \leq \operatorname { dim } _ { k } H ^ { 2 } ( X _ { 0 } , T _ { X _ { 0 } } )$ | $$\operatorname {dim}_kH^1(X_0,T_{X_0})-\operatorname {dim}M_{X_0}\leq \operatorname {dim}_kH^2(X_0,T_{X_0}).$$ | conf 0.944
d030700190.png (190) | |
22.(78.)* | $\alpha \circ b = \alpha b + \sum _ { i = 1 } ^ { \infty } \phi _ { i } ( \alpha , b ) t ^ { i } , \quad \alpha , b \in V$ | $$\alpha \circ b =\alpha b +\sum _ {i=1}^{\infty }\phi _ i(\alpha ,b)t^i,\quad \alpha ,b\in V,$$ | conf 0.097 F
d030700263.png (263) | |
23.(96.)* | $\Phi ( \alpha ) = \alpha + \sum _ { i = 1 } ^ { \infty } t ^ { i } \phi _ { i } ( \alpha ) , \quad \alpha \in V$ | $$\Phi (\alpha )=\alpha +\sum _ {i=1}^{\infty }t^i\phi _ i(\alpha ),\quad \alpha \in V,$$ | conf 0.873 F
d030700270.png (270) |
Differential algebra
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
24.(106.) | $S ^ { t } F = \sum _ { j = 1 } ^ { r } c _ { j } A ^ { p _ { j } } A _ { 1 } ^ { i _ { 1 j } } \dots A _ { m - l } ^ { i _ { m - l } , j }$ | $$S^tF=\sum _ {j=1}^rc_jA^{p_j}A_1^{i_{1j}}\dots A _ {m-l}^{i_{{m-l},j}},$$ | conf 0.149
d031830107.png (107) | |
25.(146.)* | $( \eta _ { 1 } , \ldots , \eta _ { k } ) \rightarrow F ( \zeta _ { 1 } , \ldots , \zeta _ { k } )$ | $(\eta _ 1,\ldots ,\eta _ k)\rightarrow {}_{\cal F}(\zeta _ 1,\ldots ,\zeta _ k)$ | conf 0.562 F
d031830141.png (141) | |
26.(145.)$^F$* | $( \eta _ { 1 } , \ldots , \eta _ { n } ) \rightarrow F ( \zeta _ { 1 } , \ldots , \zeta _ { n } )$ | $(\eta _ 1,\ldots ,\eta _ n)\rightarrow {}_{\cal F}(\zeta _ 1,\ldots ,\zeta _ n)$ | conf 0.376 F
d031830150.png (150) | |
27.(57.) | $\omega _ { V } = \sum _ { 0 \leq i \leq m } \alpha _ { i } \left( \begin{array} { c } { x + i } \\ { i } \end{array} \right)$ | $$\omega _ V=\sum _ {0\leq i \leq m }\alpha _ i\left( \begin {array}c{x+i}\\ i \end {array} \right),$$ | conf 0.780
d03183016.png (16) | |
28.(111.) | $e _ { i j } = \operatorname { ord } _ { Y } _ { j } F _ { i } , \quad 1 \leq i \leq n , \quad i \leq j \leq n$ | $$e_{ij}=\operatorname {ord}_{Y_j}F_i,\quad 1 \leq i \leq n ,\quad i \leq j \leq n,$$ | conf 0.187
d03183043.png (43) |
Dimension polynomial
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
29.(48.) | $\omega _ { \eta / F } ( x ) = \sum _ { 0 \leq i \leq m } \alpha _ { i } \left( \begin{array} { c } { x + i } \\ { i } \end{array} \right)$ | $$\omega _ {\eta /F}(x)=\sum _ {0\leq i \leq m }\alpha _ i\left(\begin {array}c{x+i}\\ i \end {array} \right),$$ | conf 0.968
d03249029.png (29) |
Duality
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file | |
---|---|---|---|---|---|
30.(118.)* | $H ^ { p } ( X , F ) \times H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) ) \rightarrow C$ | $$H^p(X,{\cal F})\times H _ c^{n-p}(X,\operatorname {Hom}({\cal F},\Omega ))\rightarrow {\mathbf C},$$ | conf 0.824 F
d034120173.png (173) | ||
31.(59.)* | $H ^ { p } ( X , F ) \times H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) ) \rightarrow H _ { c } ^ { n } ( X , \Omega )$ | $$H^p(X,{\cal F})\times H _ c^{n-p}(X,\operatorname {Hom}({\cal F},\Omega ))\rightarrow H _ c^n(X,\Omega )$$ | conf 0.921 F
d034120175.png (175) | ||
32.(124.)* | $( H ^ { p } ( X , F ) ) ^ { \prime } \cong H _ { c } ^ { n - p } ( X , \operatorname { Hom } ( F , \Omega ) )$ | $$(H^p(X,{\cal F}))^{\prime }\cong H _ c^{n-p}(X,\operatorname {Hom}({\cal F},\Omega )).$$ | conf 0.829 F
d034120184.png (184) | ||
33.(29.)* | $\beta : \operatorname { Ext } _ { c } ^ { n - p - 1 } ( X F , \Omega ) \rightarrow \operatorname { Ext } _ { c } ^ { n - p - 1 } ( X \backslash Y || F , \Omega )$ | $$\beta :\operatorname {Ext}_c^{n-p-1}(X;{\cal F},\Omega )\rightarrow \operatorname {Ext}_c^{n-p-1}(X\backslash Y ;{\cal F},\Omega ).$$ | conf 0.634 | F
d034120236.png (236) | |
34.(77.)* | $\underset { n \rightarrow \infty } { \operatorname { lim } } | \alpha _ { n } | ^ { 1 / n } = \sigma < + \infty$ | $$\underset {n\rightarrow \infty }{\overline {\lim }}|\alpha _ n|^{1/n}=\sigma <+\infty.$$ | conf 0.521 F
d034120247.png (247) | ||
35.(58.)* | $h ( \phi ) = \operatorname { lim } _ { r \rightarrow \infty } \frac { \operatorname { ln } | A ( r e ^ { i \phi } ) | } { r }$ | $$h(\phi )=\underset {n\rightarrow \infty }{\overline {\lim }}\frac {\operatorname {ln}|A(re^{i\phi })|}r$$ | conf 0.861 F
d034120253.png (253) | ||
36.(69.)* | $\operatorname { sup } _ { l \in E ^ { \perp } } | l ( \omega ) | = \operatorname { inf } _ { x \in E } \| \omega - x \|$ | $$\operatorname*{sup}_{l\in E^\perp \atop \|l\|\le 1 }|l(\omega )|=\operatorname*{inf}_{x\in E }\|\omega -x\|,$$ | conf 0.293 F
d034120360.png (360) | ||
37.(15.) | $\operatorname { sup } _ { f \in B ^ { 1 } } | \int _ { \partial G } f ( \zeta ) \omega ( \zeta ) d \zeta | = \operatorname { inf } _ { \phi \in E ^ { 1 } } \int _ { \partial G } | \omega ( \zeta ) - \phi ( \zeta ) \| d \zeta |$ | $$\operatorname*{sup}_{f\in B ^1}\big|\int\limits _ {\partial G }f(\zeta )\omega (\zeta )d\zeta \big|=\operatorname*{inf}_{\phi \in E ^1}\int\limits _ {\partial G }|\omega (\zeta )-\phi (\zeta ) ||d\zeta |.$$ | conf 0.508
d034120376.png (376) | ||
38.(52.) | $f = \{ f _ { \alpha } \} \in \prod _ { \alpha } F _ { \alpha } , \quad g = \{ g _ { \alpha } \} \in \oplus _ { \alpha } G _ { \alpha }$ | $$f=\{f_{\alpha }\}\in \prod _ {\alpha }F_{\alpha },\quad g =\{g_{\alpha }\}\in \operatorname*\oplus _ {\alpha }G_{\alpha }.$$ | conf 0.491
d034120509.png (509) | ||
39.(140.) | $f ^ { * } ( x ^ { * } ) = \operatorname { sup } _ { x \in X } ( \langle x ^ { * } , x \rangle - f ( x ) )$ | $$f^{*}(x^{*})=\operatorname*{sup}_{x\in X }(\langle x ^{*},x\rangle -f(x))$$ | conf 0.900
d034120535.png (535) | ||
40.(94.) | $f _ { 0 } ( x ) \rightarrow \text { inf, } \quad f _ { i } ( x ) \leq 0 , \quad i = 1 , \ldots , m , \quad x \in B$ | $$f_0(x)\rightarrow \text{ inf, }\quad f _ i(x)\leq 0 ,\quad i =1,\ldots ,m,\quad x \in B,$$ | conf 0.810
d034120555.png (555) | ||
41.(74.)* | $( c _ { \gamma } , c ^ { r } ) = \sum _ { t ^ { r } \in K } c _ { r } ( t ^ { \prime } ) c ^ { r } ( t ^ { r } ) \operatorname { mod } 1$ | $$(c_{\gamma },c^r)=\sum _ {t^r\in K }c_r(t^{\prime })c^r(t^r)\operatorname {mod}1$$ | conf 0.117 F
d03412079.png (79) |
Extension of a differential field
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
42.(63.) | $F _ { 1 } F _ { 2 } = F _ { 1 } \langle F _ { 2 } \rangle = F _ { 1 } ( F _ { 2 } ) = F _ { 2 } ( F _ { 1 } ) = F _ { 2 } \langle F _ { 1 } \rangle$ | $$F_1F_2=F_1\langle F _ 2\rangle =F_1(F_2)=F_2(F_1)=F_2\langle F _ 1\rangle,$$ | conf 0.628
e03696024.png (24) |
Formal group
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
43.(120.)* | $\operatorname { og } F _ { MU } ( X ) = \sum _ { i = 1 } ^ { \infty } i ^ { - 1 } [ C ^ { - } P ^ { - 1 } ] X ^ { i }$ | $$\operatorname {log}F_{\rm MU }(X)=\sum _ {i=1}^{\infty }i^{-1}[{\rm CP}^{i-1}]X^i,$$ | conf 0.098 F
f040820118.png (118) | |
44.(147.)* | $( x _ { 1 } , \ldots , x _ { x } ) \circ ( y _ { 1 } , \ldots , y _ { n } ) = ( z _ { 1 } , \ldots , z _ { x } )$ | $$(x_1,\ldots ,x_n)\circ (y_1,\ldots ,y_n)=(z_1,\ldots ,z_n),$$ | conf 0.553 F
f04082059.png (59) |
Gel'fond-Schneider method
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
45.(148.) | $\alpha ^ { \beta } = \operatorname { exp } \{ \beta \operatorname { log } \alpha \}$ | $\alpha ^{\beta }=\operatorname {exp}\{\beta \operatorname {log}\alpha \}$ | conf 0.979
g1300205.png (5) |
Group
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
46.(22.)* | $\left. \begin{array} { l l l } { A } & { \rightarrow Y } & { \square } \\ { \downarrow } & { \square } & { } & { \square } \\ { X } & { \square } & { } & { A } \end{array} \right.$ | source incomplete | conf 0.226 F
g04521075.png (75) |
Homogeneous space
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
47.(89.) | $\mathfrak { g } = \mathfrak { f } + \mathfrak { m } , \quad \mathfrak { f } \cap \mathfrak { m } = \{ 0 \}$ | $$\mathfrak g=\mathfrak f+\mathfrak m,\quad \mathfrak f\cap \mathfrak m=\{0\},$$ | conf 0.793
h04769069.png (69) |
Hopf algebra
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
48.(103.) | $m \circ ( \iota \otimes 1 ) \circ \mu = m \circ ( 1 \otimes \iota ) \circ \mu = e \circ \epsilon$ | $m\circ (\iota \otimes 1 )\circ \mu =m\circ (1\otimes \iota )\circ \mu =e\circ \epsilon$ | conf 0.618
h047970129.png (129) | |
49.(107.)* | $F _ { 1 } ( X || Y ) , \ldots , F _ { n } ( X || Y ) \in K [ X _ { 1 } , \ldots , X _ { n } || Y _ { 1 } , \ldots , Y _ { n } ] \}$ | $F_1(X;Y),\ldots ,F_n(X;Y)\in K [X_1,\ldots ,X_n;Y_1,\ldots ,Y_n]\}$ | conf 0.353 F
h047970139.png (139) | |
50.(97.) | $\epsilon ( x ) = 0 , \quad \delta ( x ) = x \bigotimes 1 + 1 \bigotimes x , \quad x \in \mathfrak { g }$ | $$\epsilon (x)=0,\quad \delta (x)=x\otimes 1 +1\otimes x ,\quad x \in \mathfrak g.$$ | conf 0.213
h04797042.png (42) |
Invariants, theory of
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
51.(149.)* | $\alpha _ { 1 } , \ldots , i _ { R } \rightarrow \alpha _ { 2 } ^ { \prime } , \ldots , i _ { R }$ | $$\alpha _ {i_1,\dots,i_n}\rightarrow \alpha _ {i_1,\dots,i_n}^{\prime }.$$ | conf 0.142 F
i05235015.png (15) |
Jordan algebra
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
52.(150.) | $H ( C _ { 3 } , \Gamma ) = \{ X \in C _ { 3 } : X = \Gamma ^ { - 1 } X \square ^ { \prime } \Gamma \}$ | $$(C_3,\Gamma )=\big\{X\in C _ 3:X=\Gamma ^{-1}X\square ^{\prime }\Gamma \big\},$$ | conf 0.651
j05427030.png (30) | |
53.(42.) | $\Gamma = \operatorname { diag } \{ \gamma _ { 1 } , \gamma _ { 2 } , \gamma _ { 3 } \} , \quad \gamma _ { i } \neq 0 , \quad \gamma _ { i } \in F$ | $$\Gamma =\operatorname {diag}\{\gamma _ 1,\gamma _ 2,\gamma _ 3\},\quad \gamma _ i\neq 0 ,\quad \gamma _ i\in F,$$ | conf 0.987
j05427031.png (31) | |
54.(125.)* | $\mathfrak { g } = \mathfrak { g } - 1 + \mathfrak { g } \mathfrak { d } + \mathfrak { g } _ { 1 }$ | $\mathfrak g=\mathfrak g_{-1}+\mathfrak g_0+\mathfrak g_1$ | conf 0.598 F
j05427077.png (77) |
Jordan matrix
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
55.(6.)* | $J = \left| \begin{array} { c c c c } { J _ { n _ { 1 } } ( \lambda _ { 1 } ) } & { \square } & { \square } & { \square } \\ { \square } & { \ldots } & { \square } & { 0 } \\ { 0 } & { \square } & { \ldots } & { \square } \\ { \square } & { \square } & { \square } & { J _ { n _ { S } } ( \lambda _ { s } ) } \end{array} \right|$ | $$J=\left\| \begin {array}{cccc} J_{n_1}(\lambda_1) &0 &0 &0\\ 0 &\ddots &\ddots &0\\ 0 &\ddots &\ddots &0\\ 0 &0 &0 &J_{n_s}(\lambda_s) \end {array} \right\|,$$ | conf 0.072 F
j0543403.png (3) | |
56.(64.) | $C _ { m } ( \lambda ) = \operatorname { rk } ( A - \lambda E ) ^ { m - 1 } - 2 \operatorname { rk } ( A - \lambda E ) ^ { m } +$ | $$C_m(\lambda )=\operatorname {rk}(A-\lambda E )^{m-1}-2\operatorname {rk}(A-\lambda E )^m+$$ | conf 0.955
j05434030.png (30) | |
57.(1.)* | $J _ { m } ( \lambda ) = \| \begin{array} { c c c c c c } { \lambda } & { 1 } & { \square } & { \square } & { \square } & { \square } \\ { \square } & { \lambda } & { 1 } & { \square } & { 0 } & { \square } \\ { \square } & { \square } & { \cdots } & { \square } & { \square } & { \square } \\ { \square } & { \square } & { \square } & { \cdots } & { \square } & { \square } \\ { \square } & { 0 } & { \square } & { \square } & { \lambda } & { 1 } \\ { \square } & { \square } & { \square } & { \square } & { \square } & { \lambda } \end{array} ]$ | $$J_m(\lambda)=\left\| \begin {array}{cccccc} \lambda &1 &\square &\square &\square &\square \\ \square &\lambda &1 &\square &0 &\square \\ \square &\square &\ddots &\ddots &\square &\square\\ \square &\square &\square &\ddots &\ddots &\square \\ \square &0 &\square &\square &\lambda &1\\ \square &\square &\square &\square &\square &\lambda \end {array} \right\|,$$ | conf 0.098 F
j0543406.png (6) |
Lie algebra, semi-simple
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
58.(5.) | $\left\| \begin{array} { r r r r r r } { 2 } & { - 1 } & { 0 } & { \dots } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 1 } & { \dots } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { \dots } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 2 } & { - 2 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 2 } \end{array} \right\|$ | $$B_n:\quad \left\| \begin {array}{rrrrrr} 2 &{-1} &0 &{\dots } &0 &0\\ {-1} &2 &{-1} &{\dots } &0 &0\\ 0 &{-1} &2 &{\dots } &0 &0\\ \cdot &\cdot &\cdot &\dots &\cdot &\cdot \\ 0 &0 &0 &{\dots } &{-1} &0\\ 0 &0 &0 &{\dots } &2 &{-2}\\ 0 &0 &0 &{\dots } &{-1} &2 \end {array} \right\|,$$ | conf 0.232
l058510127.png (127) | |
59.(3.)* | $\| \left. \begin{array} { r r r r r r r } { 2 } & { - 1 } & { 0 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 1 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { \dots } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { - 1 } & { 2 } & { - 1 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 0 } & { - 1 } & { 2 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { \dots } & { 0 } & { - 1 } & { 0 } & { 2 } \end{array} \right. |$ | $$D_n:\quad \left\| \begin {array}{rrrrrrr} 2 &{-1} &0 &{\dots } &0 &0 &0 &0\\ {-1} &2 &{-1} &{\dots } &0 &0 &0 &0\\ 0 &{-1} &2 &{\dots } &0 &0 &0 &0\\ \cdot &\cdot &\cdot &\dots &\cdot &\cdot &\cdot &\cdot \\ 0 &0 &0 &{\dots } &2 &{-1} &0 &0\\ 0 &0 &0 &{\dots } &{-1} &2 &{-1} &{-1}\\ 0 &0 &0 &{\dots } &0 &{-1} &2 &0\\ 0 &0 &0 &{\dots } &0 &{-1} &0 &2 \end {array} \right\|,$$ | conf 0.055 F
l058510129.png (129) | |
60.(8.)* | $\left\| \begin{array} { r r r r r r } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } \\ { - 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\|$ | $$E_6: \quad \left\| \begin {array}{rrrrrr} 2 &0 &{-1} &0 &0 &0\\ 0 &2 &0 &{-1} &0 &0\\ {-1} &0 &2 &{-1} &0 &0\\ 0 &{-1} &{-1} &2 &{-1} &0\\ 0 &0 &0 &{-1} &2 &{-1}\\ 0 &0 &0 &0 &{-1} &2 \end {array} \right\|,$$ | conf 0.628 F
l058510130.png (130) | |
61.(4.) | $\left\| \begin{array} { r r r r r r r } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\|$ | $$E_7:\quad \left\| \begin {array}{rrrrrrr} 2 &0 &{-1} &0 &0 &0 &0\\ 0 &2 &0 &{-1} &0 &0 &0\\ {-1} &0 &2 &{-1} &0 &0 &0\\ 0 &{-1} &{-1} &2 &{-1} &0 &0\\ 0 &0 &0 &{-1} &2 &{-1} &0\\ 0 &0 &0 &0 &{-1} &2 &{-1}\\ 0 &0 &0 &0 &0 &{-1} &2 \end {array} \right\|,$$ | conf 0.278
l058510131.png (131) | |
62.(2.)* | $\left. \begin{array} { r l l l l l l l } { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 2 } & { 0 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 1 } & { 0 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { - 1 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } & { 0 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right.$ | $$E_8:\quad \left\| \begin {array}{rrrrrrrr} 2 &0 &{-1} &0 &0 &0 &0 & 0\\ 0 &2 &0 &{-1} &0 &0 &0 &0\\ {-1} &0 &2 &{-1} &0 &0 &0 &0\\ 0 &{-1} &{-1} &2 &{-1} &0 &0 &0\\ 0 &0 &0 &{-1} &2 &{-1} &0 &0\\ 0 &0 &0 &0 &{-1} &2 &{-1} &0\\ 0 &0 &0 &0 &0 &{-1} &2 &{-1}\\ 0 &0 &0 &0 &0 &0 &{-1} &2 \end {array} \right\|,$$ | conf 0.354 F
l058510132.png (132) | |
63.(10.)* | $\left\| \begin{array} { r r r r } { 2 } & { - 1 } & { 0 } & { 0 } \\ { - 1 } & { 2 } & { - 2 } & { 0 } \\ { 0 } & { - 1 } & { 2 } & { - 1 } \\ { 0 } & { 0 } & { - 1 } & { 2 } \end{array} \right\| , \quad G _ { 2 } : \quad \left\| \begin{array} { r r } { 2 } & { - 1 } \\ { - 3 } & { 2 } \end{array} \right\|$ | $$F_4:\quad \left\| \begin {array}{rrrr} 2 &{-1} &0 &0\\ {-1} &2 &{-2} &0\\ 0 &{-1} &2 &{-1}\\ 0 &0 &{-1} &2 \end {array} \right\|,\quad G _ 2:\quad \left\| \begin {array}{rr} 2&{-1}\\ {-3}&2 \end {array} \right\|.$$ | conf 0.374 F
l058510133.png (133) | |
64.(98.) | $\mathfrak { g } _ { \alpha } = \{ X \in \mathfrak { g } : [ H , X ] = \alpha ( H ) X , H \in \mathfrak { h } \}$ | $$\mathfrak g_{\alpha }=\{X\in \mathfrak g:[H,X]=\alpha (H)X,H\in \mathfrak h\}.$$ | conf 0.976
l05851030.png (30) | |
65.(126.) | $\mathfrak { g } = \mathfrak { h } + \sum _ { \alpha \in \Sigma } \mathfrak { g } _ { \alpha }$ | $$\mathfrak g=\mathfrak h+\sum _ {\alpha \in \Sigma }\mathfrak g_{\alpha }.$$ | conf 0.945
l05851037.png (37) | |
66.(61.)* | $\mathfrak { g } _ { \alpha } = \operatorname { dim } [ \mathfrak { g } _ { \alpha } , \mathfrak { g } _ { - \alpha } ] = 1$ | $$\mathfrak g_{\alpha }=\operatorname {dim}[\mathfrak g_{\alpha },\mathfrak g_{-\alpha }]=1.$$ | conf 0.520 F
l05851044.png (44) | |
67.(65.)* | $[ H _ { \alpha } , X _ { \alpha } ] = 2 X _ { \alpha } \quad \text { and } \quad [ H _ { \alpha } , Y _ { \alpha } ] = - 2 Y _ { 0 }$ | $$[H_{\alpha },X_{\alpha }]=2X_{\alpha }\quad {\rm and }\quad [H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }.$$ | conf 0.539 F
l05851050.png (50) | |
68.(70.) | $\beta ( H _ { \alpha } ) = \frac { 2 ( \alpha , \beta ) } { ( \alpha , \alpha ) } , \quad \alpha , \beta \in \Sigma$ | $$\beta (H_{\alpha })=\frac {2(\alpha ,\beta )}{(\alpha ,\alpha )},\quad \alpha ,\beta \in \Sigma,$$ | conf 0.997
l05851051.png (51) | |
69.(112.) | $[ \mathfrak { g } _ { \alpha } , \mathfrak { g } _ { \beta } ] = \mathfrak { g } _ { \alpha + \beta }$ | $$[\mathfrak g_{\alpha },\mathfrak g_{\beta }]=\mathfrak g_{\alpha +\beta }$$ | conf 0.917
l05851057.png (57) | |
70.(127.) | $H _ { \alpha _ { 1 } } , \ldots , H _ { \alpha _ { k } } , X _ { \alpha } \quad ( \alpha \in \Sigma )$ | $$H_{\alpha _ 1},\ldots ,H_{\alpha _ k},X_{\alpha }\quad (\alpha \in \Sigma )$$ | conf 0.432
l05851064.png (64) | |
71.(113.)* | $[ [ X _ { \alpha _ { i } } , X _ { - } \alpha _ { i } ] , X _ { - \alpha _ { j } } ] = - n ( i , j ) X _ { \alpha _ { j } }$ | $$[[X_{\alpha _ i},X_{-}\alpha _ i],X_{-\alpha _ j}]=-n(i,j)X_{\alpha _ j},$$ | conf 0.628 F
l05851069.png (69) | |
72.(79.) | $n ( i , j ) = \alpha _ { j } ( H _ { i } ) = \frac { 2 ( \alpha _ { i } , \alpha _ { j } ) } { ( \alpha _ { j } , \alpha _ { j } ) }$ | $$n(i,j)=\alpha _ j(H_i)=\frac {2(\alpha _ i,\alpha _ j)}{(\alpha _ j,\alpha _ j)}.$$ | conf 0.992
l05851073.png (73) | |
73.(13.) | $[ X _ { \alpha } , X _ { \beta } ] = \left\{ \begin{array} { l l } { N _ { \alpha , \beta } X _ { \alpha + \beta } } & { \text { if } \alpha + \beta \in \Sigma } \\ { 0 } & { \text { if } \alpha + \beta \notin \Sigma } \end{array} \right.$ | $$[X_{\alpha },X_{\beta }]=\left\{ \begin {array}{ll} {N_{\alpha ,\beta }X_{\alpha +\beta }} &{\text{ if }\alpha +\beta \in \Sigma,}\\ 0 &{\text{ if }\alpha +\beta \notin \Sigma,} \end {array} \right.$$ | conf 0.988
l05851074.png (74) | |
74.(80.) | $N _ { \alpha , \beta } = - N _ { - \alpha , - \beta } \quad \text { and } \quad N _ { \alpha , \beta } = \pm ( p + 1 )$ | $$N_{\alpha ,\beta }=-N_{-\alpha ,-\beta }\quad {\rm and }\quad N _ {\alpha ,\beta }=\pm (p+1),$$ | conf 0.961
l05851078.png (78) | |
75.(85.)* | $X _ { \alpha } - X _ { - \alpha } , \quad i ( X _ { \alpha } + X _ { - \alpha } ) \quad ( \alpha \in \Sigma _ { + } )$ | $$iH_\alpha,X_{\alpha }-X_{-\alpha },\quad i (X_{\alpha }+X_{-\alpha })\quad (\alpha \in \Sigma _ {+})$$ | conf 0.691 F
l05851085.png (85) |
Lie algebra, solvable
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
76.(119.)* | $[ \mathfrak { g } _ { i } , \mathfrak { g } _ { i } ] \subset \mathfrak { g } _ { \mathfrak { i } } + 1$ | $[\mathfrak g_i,\mathfrak g_i]\subset \mathfrak g_{i+1}$ | conf 0.276 F
l05852011.png (11) | |
77.(141.) | $\operatorname { dim } \mathfrak { g } _ { i } = \operatorname { dim } \mathfrak { g } - i$ | $\operatorname {dim}\mathfrak g_i=\operatorname {dim}\mathfrak g-i$ | conf 0.901
l05852046.png (46) |
Lie group
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
78.(62.)* | $( G ) \cong \operatorname { Aut } ( L ( G ) ) \quad \text { and } \quad L ( \operatorname { Aut } ( G ) ) \cong D ( L ( G ) )$ | $$\operatorname {Aut}(G)\cong \operatorname {Aut}(L(G))\quad {\rm and }\quad L (\operatorname {Aut}(G))\cong D (L(G)),$$ | conf 0.693 F
l058590115.png (115) | |
79.(50.) | $( X , Y ) \rightarrow \operatorname { exp } ^ { - 1 } ( \operatorname { exp } X \operatorname { exp } Y ) , \quad X , Y \in L ( G )$ | $$(X,Y)\rightarrow \operatorname {exp}^{-1}(\operatorname {exp}X\operatorname {exp}Y),\quad X ,Y\in L (G),$$ | conf 0.856
l05859086.png (86) |
Lie group, compact
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
80.(121.)* | $J = \left\| \begin{array} { c c } { 0 } & { E _ { x } } \\ { - E _ { x } } & { 0 } \end{array} \right\|$ | $$J=\left\| \begin {array}{cc} 0 &{E_x}\\ {-E_x} &0 \end {array} \right\|,$$ | conf 0.364 F
l05861012.png (12) |
Lie group, nilpotent
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
81.(83.) | $N ( F ) = \{ g \in GL ( V ) : g v \equiv v \operatorname { mod } V _ { i } \text { for all } v \in V _ { i } , i \geq 1 \}$ | $$N(F)=\{g\in GL (V):gv\equiv v \operatorname {mod}V_i\;\text{for all }v\in V _ i,\;i\geq 1 \}$$ | conf 0.466
l0586604.png (4) |
Lie group, semi-simple
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
82.(35.)* | $L ( \mathfrak { g } ) \cong \Gamma _ { 0 } ( \mathfrak { u } ) \cap \mathfrak { h } ^ { \prime } / \Gamma _ { 0 } ( [ \mathfrak { k } , \mathfrak { k } ] )$ | $$L(\mathfrak g)\cong \Gamma _ 0(\mathfrak u)\cap \mathfrak h^{\prime }/\Gamma _ 0([\mathfrak k,\mathfrak k])$$ | conf 0.659 F
l058680102.png (102) | |
83.(81.)* | $\Gamma _ { 1 } = \Gamma _ { 1 } ( g ) = \{ X \in h : \alpha ( X ) \in 2 \pi i Z \text { for all } \alpha \in \Sigma \}$ | $$\Gamma _ 1=\Gamma _ 1(g)=\{X\in h :\alpha (X)\in 2 \pi i {\mathbf Z}\;\text{for all }\alpha \in \Sigma \}.$$ | conf 0.183 F
l05868032.png (32) |
Lie p-algebra
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
84.(36.) | $( \operatorname { ad } x ) ^ { n } y = \sum _ { j = 1 } ^ { n } ( - 1 ) ^ { j } \left( \begin{array} { c } { n } \\ { j } \end{array} \right) x ^ { n - j } y x ^ { j }$ | $$(\operatorname {ad}x)^ny=\sum _ {j=1}^n(-1)^j\left(\begin {array}cn\\ j \end {array} \right)x^{n-j}yx^j$$ | conf 0.356
l05872026.png (26) | |
85.(99.) | $\pi ( x + y ) = \pi ( x ) + \pi ( y ) , \quad \pi ( \lambda x ) = \lambda ^ { p } \pi ( x ) , \quad \lambda \in k$ | $$\pi (x+y)=\pi (x)+\pi (y),\quad \pi (\lambda x )=\lambda ^p\pi (x),\quad \lambda \in k .$$ | conf 0.964
l05872078.png (78) |
Lie theorem
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
86.(134.) | $y _ { i } = f _ { i } ( g _ { 1 } , \ldots , g _ { i } || x _ { 1 } , \ldots , x _ { n } ) , \quad i = 1 , \ldots , n$ | $$y_i=f_i(g_1,\ldots ,g_i;x_1,\ldots ,x_n),\quad i =1,\ldots ,n$$ | conf 0.276
l05876010.png (10) | |
87.(86.) | $X _ { i } = \sum _ { j = 1 } ^ { n } \xi _ { i j } ( x ) \frac { \partial } { \partial x _ { j } } , \quad i = 1 , \ldots , r$ | $$X_i=\sum _ {j=1}^n\xi _ {ij}(x)\frac {\partial }{\partial x _ j},\quad i =1,\ldots ,r,$$ | conf 0.656
l05876016.png (16) | |
88.(66.)* | $\frac { \partial f _ { j } } { \partial g _ { i } } ( g , x ) = \sum _ { k = 1 } ^ { r } \xi _ { k j } ( f ( g _ { s } x ) ) \psi _ { k i } ( g )$ | $$\frac {\partial f _ j}{\partial g _ i}(g,x)=\sum _ {k=1}^r\xi _ {kj}(f(g_sx))\psi _ {ki}(g),$$ | conf 0.336 F
l05876030.png (30) | |
89.(19.)* | $\sum _ { k = 1 } ^ { N } ( \xi _ { i k } \frac { \partial \xi _ { j l } } { \partial x _ { k } } - \xi _ { j k } \frac { \partial \xi _ { i l } } { \partial x _ { k } } ) = \sum _ { k = 1 } ^ { r } c _ { i j } ^ { k } \xi _ { k l }$ | $$\sum _ {k=1}^N(\xi _ {ik}\frac {\partial \xi _ {jl}}{\partial x _ k}-\xi _ {jk}\frac {\partial \xi _ {il}}{\partial x _ k})=\sum _ {k=1}^rc_{ij}^k\xi _ {kl},$$ | conf 0.157 F
l05876037.png (37) | |
90.(14.) | $\left. \begin{array} { c } { c _ { i j } ^ { k } = - c _ { j i } ^ { k } } \\ { \sum _ { l = 1 } ^ { r } ( c _ { i l } ^ { m } c _ { j k } ^ { l } + c _ { k l } ^ { m } c _ { i j } ^ { l } + c _ { j l } ^ { m } c _ { k i } ^ { l } ) = 0 , \quad 1 \leq i , j , k , l , m \leq r } \end{array} \right.$ | $$\left.\begin {array}c{c_{ij}^k=-c_{ji}^k},\\ {\displaystyle\sum _ {l=1}^r(c_{il}^mc_{jk}^l+c_{kl}^mc_{ij}^l+c_{jl}^mc_{ki}^l)=0,\quad 1 \leq i ,j,k,l,m\leq r,} \end {array} \right\}$$ | conf 0.085
l05876052.png (52) |
Maximal torus
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
91.(95.) | $F ( x _ { 1 } f _ { 1 } + \ldots + x _ { x } f _ { n } ) = x _ { 1 } x _ { n } + x _ { 2 } x _ { n } - 1 + \ldots + x _ { p } x _ { n } - p + 1$ | $$F(x_1f_1+\ldots +x_xf_n)=x_1x_n+x_2x_{n-1}+\ldots +x_px_{n-p+1},$$ | conf 0.198
m06301072.png (72) |
Non-Abelian cohomology
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
92.(114.)* | $\phi ( g _ { 1 } ) \phi ( g ) \phi ( g _ { 1 } g _ { 2 } ) ^ { - 1 } = \operatorname { Int } m ( g _ { 1 } , g _ { 2 } )$ | $$\phi (g_1)\phi (g_2)\phi (g_1g_2)^{-1}=\operatorname {Int}m(g_1,g_2),$$ | conf 0.443 F
n066900110.png (110) | |
93.(90.)* | $( g _ { 1 } , g _ { 2 } ) = h ( g _ { 1 } ) ( \phi ( g _ { 1 } ) ( h ( g _ { 2 } ) ) ) m ( g _ { 1 } , g _ { 2 } ) h ( g _ { 1 } , g _ { 2 } ) ^ { - 1 }$ | $$m'(g_1,g_2)=h(g_1)(\phi (g_1)(h(g_2)))m(g_1,g_2)h(g_1,g_2)^{-1}.$$ | conf 0.764 F
n066900118.png (118) | |
94.(44.) | $\delta ( e ) = e \quad \text { and } \quad \delta ( \rho ( a ) b ) = \sigma ( a ) \delta ( b ) , \quad \alpha \in C ^ { 0 } , \quad b \in C ^ { 1 }$ | $$\delta (e)=e\quad \;\text{and }\quad \delta (\rho (a)b)=\sigma (a)\delta (b),\quad \alpha \in C ^0,\quad b \in C ^1,$$ | conf 0.400
n06690016.png (16) | |
95.(60.)* | $C ^ { * } ( \mathfrak { U } , F ) = ( C ^ { 0 } ( \mathfrak { U } , F ) , C ^ { 1 } ( \mathfrak { U } , F ) , C ^ { 2 } ( \mathfrak { U } , F ) )$ | $$C^{*}(\mathfrak U,{\cal F})=(C^0(\mathfrak U,{\cal F}),C^1(\mathfrak U,{\cal F}),C^2(\mathfrak U,{\cal F})),$$ | conf 0.205 F
n06690028.png (28) |
Picard scheme
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
96.(39.)* | $\operatorname { Pic } _ { X / k } ( S ^ { \prime } ) = \operatorname { Fic } ( X \times k S ^ { \prime } ) / \operatorname { Fic } ( S ^ { \prime } )$ | $$\operatorname {Pic}_{X/k}(S^{\prime })=\operatorname {Pic}(X\times_k S ^{\prime })/\operatorname {Pic}(S^{\prime })$$ | conf 0.345 F +
p07267025.png (25) |
Principal analytic fibration
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
97.(100.)* | $g j : U _ { i } \cap U _ { j } \rightarrow G , \quad i , j \in I , \quad U _ { i } \cap U _ { j } \neq \emptyset$ | $$g_j:U_i\cap U _ j\rightarrow G ,\quad i ,j\in I ,\quad U _ i\cap U _ j\neq \emptyset,$$ | conf 0.184 F
p07464025.png (25) |
Quantum groups
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
98.(101.) | $\phi ^ { * } : \mathfrak { g } ^ { * } \otimes \mathfrak { g } ^ { * } \rightarrow \mathfrak { g } ^ { * }$ | $$\phi ^{*}:\mathfrak g^{*}\otimes \mathfrak g^{*}\rightarrow \mathfrak g^{*}$$ | conf 0.837
q07631062.png (62) | |
99.(108.) | $\delta : U _ { \mathfrak { g } } \rightarrow U _ { \mathfrak { g } } \otimes U _ { \mathfrak { g } }$ | $$\delta :U_{\mathfrak g}\rightarrow U _ {\mathfrak g}\otimes U _ {\mathfrak g}$$ | conf 0.648
q07631071.png (71) | |
100.(56.)* | $\delta ( \alpha ) = \operatorname { lim } _ { h \rightarrow 0 } h ^ { - 1 } ( \Delta ( a ) - \Delta ^ { \prime } ( \alpha ) )$ | $$\delta (\alpha )=\operatorname {lim}_{h\rightarrow 0 }h^{-1}(\Delta (a)-\Delta ^{\prime }(\alpha ))$$ | conf 0.304 F
q07631072.png (72) | |
101.(129.)* | $[ \alpha , X _ { i } ^ { \pm } ] = \pm \alpha _ { i } ( \alpha ) X _ { i } ^ { \pm } \quad \text { for } a$ | $$[\alpha ,X_i^{\pm }]=\pm \alpha _ i(\alpha )X_i^{\pm }\quad \text{for }a\in \mathfrak h;$$ | conf 0.544 F
q07631088.png (88) | |
102.(128.) | $[ X _ { i } ^ { + } , X _ { j } ^ { - } ] = 2 \delta _ { i j } h ^ { - 1 } \operatorname { sinh } ( h H _ { i } / 2 )$ | $$[X_i^{+},X_j^{-}]=2\delta _ {ij}h^{-1}\operatorname {sinh}(hH_i/2).$$ | conf 0.893
q07631089.png (89) | |
103.(20.) | $\sum _ { k = 0 } ^ { n } ( - 1 ) ^ { k } \left( \begin{array} { l } { n } \\ { k } \end{array} \right) q ^ { - k ( n - k ) / 2 } ( X _ { i } ^ { \pm } ) ^ { k } X _ { j } ^ { \pm } \cdot ( X _ { i } ^ { \pm } ) ^ { n - k } = 0$ | $$\sum _ {k=0}^n(-1)^k\left(\begin {array}ln\\ k \end {array} \right)q^{-k(n-k)/2}(X_i^{\pm })^kX_j^{\pm }\cdot (X_i^{\pm })^{n-k}=0.$$ | conf 0.055
q07631092.png (92) | |
104.(30.) | $\left( \begin{array} { l } { n } \\ { k } \end{array} \right) _ { q } = \frac { ( q ^ { n } - 1 ) \ldots ( q ^ { n - k + 1 } - 1 ) } { ( q ^ { k } - 1 ) \ldots ( q - 1 ) }$ | $$\left( \begin {array}ln\\ k \end {array} \right)_q=\frac {(q^n-1)\ldots (q^{n-k+1}-1)}{(q^k-1)\ldots (q-1)} .$$ | conf 0.443
q07631095.png (95) | |
105.(21.)* | $\Delta ( X _ { i } ^ { \pm } ) = X _ { i } ^ { \pm } \bigotimes \operatorname { exp } ( \frac { h H _ { i } } { 4 } ) + \operatorname { exp } ( \frac { - h H _ { i } } { 4 } ) \otimes x _ { i } ^ { \pm }$ | $$\Delta (X_i^{\pm })=X_i^{\pm }\otimes \operatorname {exp}(\frac {hH_i}4)+\operatorname {exp}(\frac {-hH_i}4)\otimes X _ i^{\pm }.$$ | conf 0.212 F
q07631099.png (99) |
Rational representation
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
106.(91.) | $0 \leq \frac { 2 ( \chi , \alpha ) } { ( \alpha , \alpha ) } < p \quad \text { for all } \alpha \in \Delta$ | $$0\leq \frac {2(\chi ,\alpha )}{(\alpha ,\alpha )}<p\quad \text{for all }\alpha \in \Delta.$$ | conf 0.879
r077630100.png (100) | |
107.(135.) | $\phi _ { 0 } \bigotimes \phi _ { 1 } ^ { Fr } \otimes \ldots \otimes \phi _ { d } ^ { FF ^ { d } }$ | $$\phi _ 0\otimes \phi _ 1^{Fr}\otimes \ldots \otimes \phi _ d^{{Fr}^d},$$ | conf 0.136
r077630104.png (104) | |
108.(45.)* | $\chi = \delta _ { \phi } - \sum _ { \alpha \in \Delta } m _ { \alpha } \alpha , \quad m _ { \alpha } \in Z , \quad m _ { \alpha } \geq 0$ | $$\chi =\delta _ {\phi }-\sum _ {\alpha \in \Delta }m_{\alpha }\alpha ,\quad m _ {\alpha }\in Z ,\quad m _ {\alpha }\geq 0.$$ | conf 0.862 F
r07763055.png (55) |
Singular point
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
109.(31.) | $\sum _ { k _ { 1 } , \ldots , k _ { n } = 0 } ^ { \infty } c _ { k _ { 1 } \cdots k _ { n } } ( z _ { 1 } - \zeta _ { 1 } ) ^ { k _ { 1 } } \ldots ( z _ { n } - \zeta _ { n } ) ^ { k _ { n } }$ | $$\sum _ {k_1,\ldots ,k_n=0}^{\infty }c_{k_1\cdots k _ n}(z_1-\zeta _ 1)^{k_1}\ldots (z_n-\zeta _ n)^{k_n}$$ | conf 0.324
s085590225.png (225) | |
110.(46.) | $\frac { m _ { 1 } } { n _ { 1 } } < \frac { m _ { 2 } } { n _ { 1 } n _ { 2 } } < \ldots < \frac { m _ { g } } { n _ { 1 } \ldots n _ { g } } = \frac { m _ { g } } { n }$ | $$\frac {m_1}{n_1}<\frac {m_2}{n_1n_2}<\ldots <\frac {m_g}{n_1\ldots n _ g}=\frac {m_g}n$$ | conf 0.459
s085590404.png (404) | |
111.(115.)* | $p ( Z ) = 1 - \operatorname { dim } H ^ { 0 } ( Z , O _ { Z } ) + \operatorname { dim } H ^ { 1 } ( Z , O _ { Z } )$ | $$p(Z)=1-\operatorname {dim}H^0({\mathbf Z},{\cal O}_{\mathbf Z })+\operatorname {dim}H^1({\mathbf Z},{\cal O}_{\mathbf Z })$$ | conf 0.997 F
s085590429.png (429) | |
112.(136.)* | $X _ { \epsilon } = \{ ( x _ { 0 } , \ldots , x _ { x } ) : f ( x _ { 0 } , \ldots , x _ { x } ) = \epsilon \}$ | $$X_{\epsilon }=\{(x_0,\ldots ,x_x):f(x_0,\ldots ,x_x)=\epsilon \}$$ | conf 0.433 F
s085590440.png (440) | |
113.(12.) | $= \left\{ \begin{array} { l l } { ( x + \lambda ) ^ { 2 } \ldots ( x + k \lambda ) ^ { 2 } } & { \text { if } \mu = 2 k } \\ { ( x + \lambda ) ^ { 2 } \ldots ( x + k \lambda ) ^ { 2 } ( x + ( k + 1 ) \lambda ) } & { \text { if } \mu = 2 k + 1 } \end{array} \right.$ | $$=\left\{ \begin {array}{ll} {(x+\lambda )^2\ldots (x+k\lambda )^2} &{\text{ if }\mu =2k,}\\ {(x+\lambda )^2\ldots (x+k\lambda )^2(x+(k+1)\lambda )} &{\text{ if }\mu =2k+1,} \end {array} \right.$$ | conf 0.870
s085590458.png (458) | |
114.(75.) | $( \frac { \partial F ( x , y , \lambda ) } { \partial x } , \frac { \partial F ( x , y , \lambda ) } { \partial y } )$ | $$\big(\frac {\partial F (x,y,\lambda )}{\partial x },\frac {\partial F (x,y,\lambda )}{\partial y }\big)$$ | conf 0.986
s085590482.png (482) | |
115.(137.) | $\frac { d x _ { i } } { d x _ { i _ { 0 } } } = f _ { i } ( x ) , \quad f _ { i } \in C ( U ) , \quad i \neq i _ { 0 }$ | $$\frac {dx_i}{dx_{i_0}}=f_i(x),\quad f _ i\in C (U),\quad i \neq i _ 0.$$ | conf 0.594
s085590515.png (515) | |
116.(142.)* | $A = \| \left. \begin{array} { l l } { \alpha } & { b } \\ { c } & { e } \end{array} \right. |$ | $$A=\left\| \begin {array}{ll} {\alpha } &b\\ c &e \end {array} \right\|$$ | conf 0.506 F
s085590527.png (527) | |
117.(53.) | $\Delta = ( F _ { x x } ^ { \prime \prime } ) _ { 0 } ( F _ { y y } ^ { \prime \prime } ) _ { 0 } - ( F _ { x y } ^ { \prime \prime } ) _ { 0 } ^ { 2 }$ | $$\Delta =(F_{xx}^{\prime \prime })_0(F_{yy}^{\prime \prime })_0-(F_{xy}^{\prime \prime })_0^2$$ | conf 0.920
s085590634.png (634) | |
118.(16.)* | $\left| \begin{array} { l l l } { F _ { X } ^ { \prime } } & { F _ { y } ^ { \prime } } & { F _ { z } ^ { \prime } } \\ { G _ { \chi } ^ { \prime } } & { G _ { y } ^ { \prime } } & { G _ { Z } ^ { \prime } } \end{array} \right|$ | $$\left\| \begin {array}{lll} {F_x^{\prime }} &{F_y^{\prime }} &{F_z^{\prime }}\\ {G_x^{\prime }} &{G_y^{\prime }} &{G_Z^{\prime }} \end {array} \right\|$$ | conf 0.230 F
s085590645.png (645) | |
119.(92.) | $( F _ { X } ^ { \prime } ) _ { 0 } = 0 , \quad ( F _ { y } ^ { \prime } ) _ { 0 } = 0 , \quad ( F _ { z } ^ { \prime } ) _ { 0 } = 0$ | $$(F_x^{\prime })_0=0,\quad (F_y^{\prime })_0=0,\quad (F_z^{\prime })_0=0.$$ | conf 0.300
s085590653.png (653) |
Solv manifold
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
120.(138.) | $\{ e \} \rightarrow \Delta \rightarrow \pi \rightarrow Z ^ { s } \rightarrow \{ e \}$ | $$\{e\}\rightarrow \Delta \rightarrow \pi \rightarrow {\mathbf Z}^s\rightarrow \{e\}$$ | conf 0.972
s08610054.png (54) |
Stability theorems in algebraic K-theory
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
121.(71.) | $\psi _ { t _ { 1 } , \ldots , t _ { R } } ^ { \prime } : S K _ { 1 } ( R ) \rightarrow S K _ { 1 } ( R ( t _ { 1 } , \ldots , t _ { n } ) )$ | $$\psi _ {t_1,\ldots ,t_n}^{\prime }:SK_1(R)\rightarrow S K _ 1(R(t_1,\ldots ,t_n)).$$ | conf 0.379
s08706033.png (33) |
Steinberg module
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
122.(130.) | $e = \frac { | U | } { | G | } ( \sum _ { b \in B } b ) ( \sum _ { w \in W } \operatorname { sign } ( w ) w )$ | $$e=\frac {|U|}{|G|}\big(\sum _ {b\in B }b\big)\big(\sum _ {w\in W }\operatorname {sign}(w)w\big)$$ | conf 0.138
s13053016.png (16) |
Steinberg symbol
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
123.(24.)* | $( x _ { i j } ( a ) , x _ { k l } ( b ) ) = \left\{ \begin{array} { l l } { 1 } & { \text { if } i \neq 1 , j \neq k } \\ { x _ { 1 } ( a b ) } & { \text { if } i \neq 1 , j = k } \end{array} \right.$ | $$(x_{ij}(a),x_{kl}(b))=\left\{ \begin {array}{ll} 1 &{\text{ if }i\neq l ,j\neq k },\\ {x_{il}(ab)} &{\text{ if }i\neq l ,j=k}. \end {array} \right.$$ | conf 0.381 F
s13054017.png (17) |
Tilting theory
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
124.(84.) | $0 \rightarrow \Lambda \rightarrow T _ { 1 } \rightarrow \ldots \rightarrow T _ { n } \rightarrow 0$ | $$0\rightarrow \Lambda \rightarrow T _ 1\rightarrow \ldots \rightarrow T _ n\rightarrow 0 $$ | conf 0.946
t130130105.png (105) |
Tits quadratic form
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
125.(18.) | $q R ( x ) = \sum _ { j \in Q _ { 0 } } x _ { j } ^ { 2 } - \sum _ { \langle \beta : i \rightarrow j ) \in Q _ { 1 } } x _ { i } x _ { j } + \sum _ { \langle \beta : i \rightarrow j ) \in Q _ { 1 } } x _ { , j } x _ { i } x _ { j }$ | $$q_R(x)=\sum _ {j\in Q _ 0}x_j^2-\sum _ {\langle \beta :i\rightarrow j )\in Q _ 1}x_ix_j+\sum _ {\langle \beta :i\rightarrow j )\in Q _ 1}r_{i,j}x_ix_j,$$ | conf 0.112
t130140104.png (104) | |
126.(40.) | $[ X ] \mapsto \chi _ { R } ( [ X ] ) = \sum _ { m = 0 } ^ { \infty } ( - 1 ) ^ { m } \operatorname { dim } _ { K } \operatorname { Ext } _ { R } ^ { m } ( X , X )$ | $$[X]\mapsto \chi _ R([X])=\sum _ {m=0}^{\infty }(-1)^m\operatorname {dim}_K\operatorname {Ext}_R^m(X,X)$$ | conf 0.116
t130140118.png (118) | |
127.(132.)* | $\operatorname { dim } _ { 1 } : K _ { 0 } ( \operatorname { mod } R ) \rightarrow Z ^ { Q _ { 0 } }$ | $$\underline {\dim }:K_0(\operatorname {mod}R)\rightarrow {\mathbf Z}^{Q_0}$$ | conf 0.287 F
t130140119.png (119) | |
128.(37.)* | $q ( x ) = \sum _ { i \in I } x _ { i } ^ { 2 } + \sum _ { i \prec j } x _ { i } x _ { j } - \sum _ { p \in \operatorname { max } l } ( \sum _ { i \prec p } x _ { i } ) x _ { p }$ | $$q_I(x)=\sum _ {i\in I }x_i^2+\sum _ {i\prec j \atop j\in I\setminus {\rm max}I}x_ix_j-\sum _ {p\in \operatorname {max}I}\big(\sum _ {i\prec p }x_i\big)x_p$$ | conf 0.197 F
t130140140.png (140) | |
129.(131.)* | $X \mapsto \operatorname { dim } X = ( \operatorname { dim } _ { K } X _ { j } ) _ { j \in Q _ { 0 } }$ | $$X\mapsto \underline {\dim }X=(\operatorname {dim}_KX_j)_{j\in Q _ 0}$$ | conf 0.819 F
t13014044.png (44) | |
130.(25. | $[ X ] \mapsto \chi _ { Q } ( [ X ] ) = \operatorname { dim } _ { K } \operatorname { End } _ { Q } ( X ) - \operatorname { dim } _ { K } \operatorname { Ext } _ { Q } ^ { 1 } ( X , X )$ | $$[X]\mapsto \chi _ Q([X])=\operatorname {dim}_K\operatorname {End}_Q(X)-\operatorname {dim}_K\operatorname {Ext}_Q^1(X,X)$$ | conf 0.661
t13014048.png (48) | |
131.(38.)* | $A _ { Q } ( v ) = \prod _ { i , j \in Q _ { 0 } } \prod _ { \langle \beta : j \rightarrow i \rangle \in Q _ { 1 } } M _ { v _ { i } \times v _ { j } } ( K ) _ { \beta }$ | $$A_Q(v)=\prod _ {i,j\in Q _ 0}\prod _ {\langle \beta :j\rightarrow i \rangle \in Q _ 1}M_{v_i\times v _ j}(K)_{\beta }$$ | conf 0.481 F
t13014056.png (56) | |
132.(139.)* | $\Phi ( x ) = \sum _ { j \in Q _ { 0 } } x _ { j } ^ { 2 } - \sum _ { i , j \in Q _ { 0 } } d _ { i j } x _ { i } x _ { j }$ | $$q_Q(x)=\sum _ {j\in Q _ 0}x_j^2-\sum _ {i,j\in Q _ 0}d_{ij}x_ix_j,$$ | conf 0.648 F
t1301406.png (6) |
Torus
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
133.(41.)* | $r = \alpha \operatorname { sin } u k + l ( 1 + \epsilon \operatorname { cos } u ) ( i \operatorname { cos } v + j \operatorname { sin } v )$ | $$r=\alpha \operatorname {sin}u{\bf k}+l(1+\epsilon \operatorname {cos}u)({\bf i}\operatorname {cos}v+{\bf j}\operatorname {sin}v)$$ | conf 0.585 F
t0933502.png (2) | |
134.(122.)* | $d s ^ { 2 } = \alpha ^ { 2 } d u ^ { 2 } + l ^ { 2 } ( 1 + \epsilon \operatorname { cos } u ) ^ { 2 } d v ^ { 2 }$ | $$ds^2=\alpha ^2du^2+l^2(1+\epsilon \operatorname {cos}u)^2dv^2,$$ | conf 0.696 F
t0933507.png (7) |
Uniform distribution
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
135.(9.) | $u _ { 3 } ( x ) = \left\{ \begin{array} { l l } { \frac { x ^ { 2 } } { 2 } , } & { 0 \leq x < 1 } \\ { \frac { [ x ^ { 2 } - 3 ( x - 1 ) ^ { 2 } ] } { 2 } , } & { 1 \leq x < 2 } \\ { \frac { [ x ^ { 2 } - 3 ( x - 1 ) ^ { 2 } + 3 ( x - 2 ) ^ { 2 } ] } { 2 } , } & { 2 \leq x < 3 } \\ { 0 , } & { x \notin [ 0,3 ] } \end{array} \right.$ | $$u_3(x)=\left\{ \begin {array}{ll} {\frac {x^2}2,} &{0\leq x <1,}\\ {\frac {[x^2-3(x-1)^2]}2,} &{1\leq x <2,}\\ {\frac {[x^2-3(x-1)^2+3(x-2)^2]}2,} &{2\leq x <3,}\\ {0,} &{x\notin [0,3].} \end {array} \right.$$ | conf 0.733
u09524027.png (27) | |
136.(32.)* | $p ( x ) = \left\{ \begin{array} { l l } { \frac { 1 } { b - \alpha } , } & { x \in [ \alpha , b ] } \\ { 0 , } & { x \notin [ \alpha , b ] } \end{array} \right.$ | $$p(x)=\left\{ \begin {array}{ll} {\frac 1{b-\alpha },} &{x\in [\alpha ,b],}\\ {0,} &{x\notin [\alpha ,b].} \end {array} \right.$$ | conf 0.681 F
u0952403.png (3) | |
137.(34.) | $u _ { n } ( x ) = \frac { 1 } { ( n - 1 ) ! } \sum _ { k = 0 } ^ { n } ( - 1 ) ^ { k } \left( \begin{array} { l } { n } \\ { k } \end{array} \right) ( x - k ) _ { + } ^ { n - 1 }$ | $$u_n(x)=\frac 1{(n-1)!}\sum _ {k=0}^n(-1)^k\left(\begin {array}ln\\ k \end {array} \right)(x-k)_{+}^{n-1}$$ | conf 0.569
u09524030.png (30) | |
138.(109.) | $z _ { + } = \left\{ \begin{array} { l l } { z , } & { z > 0 } \\ { 0 , } & { z \leq 0 } \end{array} \right.$ | $$z_{+}=\left\{ \begin {array}{ll} {z,} &{z>0}.\\ {0,} &{z\leq 0 }. \end {array} \right.$$ | conf 0.676
u09524034.png (34) | |
139.(43.) | $F ( x ) = \left\{ \begin{array} { l l } { 0 , } & { x \leq a } \\ { \frac { x - a } { b - a } , } & { a < x \leq b } \\ { 1 , } & { x > b } \end{array} \right.$ | $$F(x)=\left\{ \begin {array}{ll} {0,} &{x\leq a },\\ {\frac {x-a}{b-a},} &{a<x\leq b },\\ {1,} &{x>b}, \end {array} \right.$$ | conf 0.468
u0952407.png (7) | |
140.(47.) | $p ( x _ { 1 } , \ldots , x _ { n } ) = \left\{ \begin{array} { l l } { C \neq 0 , } & { x \in D } \\ { 0 , } & { x \notin D } \end{array} \right.$ | $$p(x_1,\ldots ,x_n)=\left\{ \begin {array}{ll} {C\neq 0 ,} &{x\in D },\\ {0,} &{x\notin D }, \end {array} \right.$$ | conf 0.705
u09524072.png (72) |
Unipotent group
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
141.(143.) | $\{ g \in \operatorname { GL } ( V ) : ( 1 - g ) ^ { n } = 0 \} , \quad n = \operatorname { dim } V$ | $$\{g\in \operatorname {GL}(V):(1-g)^n=0\},\quad n =\operatorname {dim}V,$$ | conf 0.287
u0954106.png (6) |
Weyl module
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
142.(51.) | $\operatorname { diag } ( t _ { 1 } , \ldots , t _ { n } ) \mapsto t _ { 1 } ^ { \lambda _ { 1 } } \ldots t _ { n } ^ { \lambda _ { n } } \in K$ | $$\operatorname {diag}(t_1,\ldots ,t_n)\mapsto t _ 1^{\lambda _ 1}\ldots t _ n^{\lambda _ n}\in K,$$ | conf 0.507
w120090122.png (122) | |
143.(54.)* | $\chi _ { \lambda } = \sum _ { \mu \in \Lambda ( n ) } \operatorname { dim } _ { K } ( \Delta ( \lambda ) ^ { \mu } ) _ { e _ { \mu } }$ | $$\chi _ {\lambda }=\sum _ {\mu \in \Lambda (n)}\operatorname {dim}_K(\Delta (\lambda )^{\mu })_{e_{\mu }},$$ | conf 0.461 F
w120090135.png (135) | |
144.(110.) | $\mathfrak { B } = \{ e _ { \pm } \alpha , h _ { \beta } : \alpha \in \Phi ^ { + } , \beta \in \Sigma \}$ | $$\mathfrak B=\{e_{\pm }\alpha ,h_{\beta }:\alpha \in \Phi ^{+},\beta \in \Sigma \}.$$ | conf 0.381
w120090259.png (259) | |
145.(82.) | $\left( \begin{array} { c } { h } \\ { i } \end{array} \right) = \frac { h ( h - 1 ) \ldots ( h - i + 1 ) } { i ! }$ | $$\left( \begin {array}ch\\ i \end {array} \right)=\frac {h(h-1)\ldots (h-i+1)}{i!} $$ | conf 0.487
w120090342.png (342) | |
146.(28.)* | $\mathfrak { S } _ { \{ 1 , \ldots , \lambda _ { 1 } \} } \times \mathfrak { S } _ { \{ \lambda _ { 1 } + 1 , \ldots , \lambda _ { 1 } + \lambda _ { 2 } \} } \times$ | $$\mathfrak S_{\{1,\ldots ,\lambda _ 1\}}\times \mathfrak S_{\{\lambda _ 1+1,\ldots ,\lambda _ 1+\lambda _ 2\}}\times \dots $$ | conf 0.312 F
w12009095.png (95) | |
147.(104.) | $\ldots \times \mathfrak { S } _ { \{ \lambda _ { 1 } + \ldots + \lambda _ { n - 1 } + 1 , \ldots , r \} }$ | $$\ldots \times \mathfrak S_{\{\lambda _ 1+\ldots +\lambda _ {n-1}+1,\ldots ,r\}},$$ | conf 0.259
w12009096.png (96) |
Witt vector
Nr. | Image of png File | $\TeX$, automatically generated version | $\TeX$, manually corrected version | Confidence, F?
png file |
---|---|---|---|---|
148.(87.)* | $\langle \alpha > < b \rangle = \langle \alpha b \rangle , \quad \langle 1 \rangle = f _ { 1 } = V _ { 1 } =$ | $$\langle \alpha ><b\rangle =\langle \alpha b \rangle ,\quad \langle {\bf 1}\rangle ={\bf f}_1={\bf V}_1=\text{ unit element}1,$$ | conf 0.351 F
w098100172.png (172) | |
149.(123.)* | $\langle \alpha + b \rangle = \sum _ { n = 1 } ^ { \infty } V _ { n } \langle r _ { n } ( \alpha , b ) f$ | $$\langle \alpha +b\rangle =\sum _ {n=1}^{\infty }{\bf V}_n\langle r _ n(\alpha ,b){\bf f}_n.$$ | conf 0.143 F
w098100177.png (177) | |
150.(102.) | $\sigma ( \alpha _ { 1 } , \alpha _ { 2 } , \ldots ) = ( \alpha _ { 1 } ^ { p } , \alpha _ { 2 } ^ { p } , \ldots )$ | $$\sigma (\alpha _ 1,\alpha _ 2,\ldots )=(\alpha _ 1^p,\alpha _ 2^p,\ldots )$$ | conf 0.771
w098100190.png (190) |
Ulf Rehmann/Table of automatically generated TeX code. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ulf_Rehmann/Table_of_automatically_generated_TeX_code&oldid=44161