10367:
9545:
10362:{\displaystyle {\begin{aligned}{\frac {dZ}{dt}}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k+1}}\sum _{s\in S_{k},i_{k+1}\geq 0}&t^{i_{1}+j_{1}+\cdots +i_{k}+j_{k}}{\frac {{\mathrm {ad} _{X}}^{i_{1}}{\mathrm {ad} _{Y}}^{j_{1}}\cdots {\mathrm {ad} _{X}}^{i_{k}}{\mathrm {ad} _{Y}}^{j_{k}}}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!}}X\\{}+{}&t^{i_{1}+j_{1}+\cdots +i_{k}+j_{k}+i_{k+1}}{\frac {{\mathrm {ad} _{X}}^{i_{1}}{\mathrm {ad} _{Y}}^{j_{1}}\cdots {\mathrm {ad} _{X}}^{i_{k}}{\mathrm {ad} _{Y}}^{j_{k}}X^{i_{k+1}}}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!i_{k+1}!}}Y,\quad i_{r},j_{r}\geq 0,\quad i_{r}+j_{r}>0,\quad 1\leq r\leq k,\end{aligned}}}
13113:
12046:
12035:
11162:
9045:
13108:{\displaystyle {\begin{aligned}Z=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k+1}}\sum _{s\in S_{k},i_{k+1}\geq 0}&{\frac {1}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}+(i_{k+1}=1)+(j_{k+1}=0)}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!(i_{k+1}=1)!(j_{k+1}=0)!}}\\{}+{}&{\frac {1}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}+i_{k+1}+(j_{k+1}=1)}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!i_{k+1}!(j_{k+1}=1)!}},\\\\&(i_{r},j_{r}\geq 0,\quad i_{r}+j_{r}>0,\quad 1\leq r\leq k).\end{aligned}}}
11256:
10382:
7032:
8564:
6233:
3384:
3871:
2594:
12030:{\displaystyle {\begin{aligned}Z=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k+1}}\sum _{s\in S_{k},i_{k+1}\geq 0}&{\frac {1}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}+1}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!}}\\{}+{}&{\frac {1}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}+i_{k+1}+1}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!i_{k+1}!}},\quad i_{r},j_{r}\geq 0,\quad i_{r}+j_{r}>0,\quad 1\leq r\leq k\end{aligned}}.}
11157:{\displaystyle {\begin{aligned}{\frac {dZ}{dt}}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k+1}}\sum _{s\in S_{k},i_{k+1}\geq 0}&t^{i_{1}+j_{1}+\cdots +i_{k}+j_{k}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!}}\\{}+{}&t^{i_{1}+j_{1}+\cdots +i_{k}+j_{k}+i_{k+1}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!i_{k+1}!}},\quad i_{r},j_{r}\geq 0,\quad i_{r}+j_{r}>0,\quad 1\leq r\leq k\end{aligned}}.}
9426:
6715:
9040:{\displaystyle \log \left(e^{X}e^{Y}\right)=\sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}{\left(e^{X}e^{Y}-I\right)}^{k}=\sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}\left({\sum _{i=0}^{\infty }{\frac {X^{i}}{i!}}\sum _{j=0}^{\infty }{\frac {Y^{j}}{j!}}-I}\right)^{k}=\sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}\left(\sum _{i,j\geq 0,i+j>1}^{\infty }{\frac {X^{i}Y^{j}}{i!j!}}\right)^{k}.}
8330:
14266:
5782:
8006:
3056:
7549:
2233:
6704:
3505:
13597:
9069:
7027:{\displaystyle {\begin{aligned}\mathrm {ad_{Z}} &=\log \left(\exp \left(\mathrm {ad} _{Z}\right)\right)=\log \left(1+\left(\exp \left(\mathrm {ad} _{Z}\right)-1\right)\right)\\&=\sum \limits _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}(\exp(\mathrm {ad} _{Z})-1)^{n}~,\quad \|\mathrm {ad} _{Z}\|<\log 2~~,\end{aligned}}}
1879:
2216:
8048:
13817:
7594:
7232:
5487:
3379:{\displaystyle {\begin{aligned}{\frac {d}{dt}}e^{X(t)}&=\lim _{N\to \infty }{\frac {d}{dt}}\left(1+{\frac {X(t)}{N}}\right)^{N}\\&=\lim _{N\to \infty }\sum _{k=1}^{N}\left(1+{\frac {X(t)}{N}}\right)^{N-k}{\frac {1}{N}}{\frac {dX(t)}{dt}}\left(1+{\frac {X(t)}{N}}\right)^{k-1}~,\end{aligned}}}
7256:
8551:
2589:{\displaystyle \Gamma (1,t)=\int _{0}^{1}\sum _{k=0}^{\infty }{\frac {(-1)^{k}s^{k}}{k!}}(\mathrm {ad} _{X})^{k}{\frac {dX}{dt}}ds=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(k+1)!}}(\mathrm {ad} _{X})^{k}{\frac {dX}{dt}}={\frac {1-e^{-\mathrm {ad} _{X}}}{\mathrm {ad} _{X}}}{\frac {dX}{dt}},}
1338:
The proof given below assumes a matrix Lie group. This means that the exponential mapping from the Lie algebra to the matrix Lie group is given by the usual power series, i.e. matrix exponentiation. The conclusion of the proof still holds in the general case, provided each occurrence of
6176:
3866:{\displaystyle {\begin{aligned}{\frac {d}{dt}}e^{X(t)}&=\int _{0}^{1}e^{(1-s)X}X'e^{sX}ds=e^{X}\int _{0}^{1}\mathrm {Ad} _{e^{-sX}}X'ds\\&=e^{X}\int _{0}^{1}e^{-\mathrm {ad} _{sX}}dsX'=e^{X}{\frac {1-e^{-\mathrm {ad} _{X}}}{\mathrm {ad} _{X}}}{\frac {dX}{dt}}~.\end{aligned}}}
720:
6475:
13126:
20:
3024:
411:
9421:{\displaystyle Z=\log \left(e^{X}e^{Y}\right)=\sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}\sum _{s\in S_{k}}{\frac {X^{i_{1}}Y^{j_{1}}\cdots X^{i_{k}}Y^{j_{k}}}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!}},\quad i_{r},j_{r}\geq 0,\quad i_{r}+j_{r}>0,\quad 1\leq r\leq k,}
5371:
2003:
4797:
5015:
14635:
1646:
3033:-notation is used for the exponential mapping of the Lie algebra and the calculus-style notation in the fraction indicates the usual formal series expansion. For more information and two full proofs in the general case, see the freely available
8325:{\displaystyle {\frac {dZ}{dt}}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k+1}}\left\{\left(e^{\mathrm {ad} _{tX}}e^{\mathrm {ad} _{tY}}-1\right)^{k}X+\left(e^{\mathrm {ad} _{tX}}e^{\mathrm {ad} _{tY}}-1\right)^{k}e^{\mathrm {ad} _{tX}}Y\right\}}
2020:
14261:{\displaystyle Z=\log e^{X}e^{Y}=\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}}{k}}\sum _{s\in S_{k}}{\frac {1}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!}},~i_{r},j_{r}\geq 0,~i_{r}+j_{r}>0,~1\leq r\leq k.}
2860:
8001:{\displaystyle Z=\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}}{k}}\sum _{s\in S_{k}}{\frac {1}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}}}{\frac {}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!}},\quad i_{r},j_{r}\geq 0,\quad i_{r}+j_{r}>0,\quad 1\leq r\leq k.}
5777:{\displaystyle Z'(t)={\frac {\mathrm {ad} _{Z}}{1-e^{-\mathrm {ad} _{Z}}}}Y\equiv \psi \left(e^{\mathrm {ad} _{Z}}\right)Y,\quad \psi (w)={\frac {w\log w}{w-1}}=1+\sum _{m=1}^{\infty }{\frac {(-1)^{m+1}}{m(m+1)}}(w-1)^{m},\|w\|<1.}
6000:
1105:
1235:
3049:
be, provided it exists is the following. Existence needs to be proved separately in each case. By direct differentiation of the standard limit definition of the exponential, and exchanging the order of differentiation and limit,
1626:
7544:{\displaystyle Z(1)=\int _{0}^{1}dt~{\frac {dZ(t)}{dt}}=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n}}\int _{0}^{1}dt~\left(e^{t\,\mathrm {ad} _{X}}e^{t\mathrm {ad} _{Y}}-1\right)^{n-1}~\left(X+e^{t\,\mathrm {ad} _{X}}Y\right).}
7049:
5476:
2733:
5891:
13720:
6464:
1453:
8376:
6015:
4022:
556:
6699:{\displaystyle Z'={\frac {\mathrm {ad} _{Z}}{1-e^{-\mathrm {ad} _{Z}}}}~\left(e^{-t\,\mathrm {ad} _{Y}}X+Y\right)={\frac {\mathrm {ad} _{Z}}{e^{\mathrm {ad} _{Z}}-1}}~\left(X+e^{t\,\mathrm {ad} _{X}}Y\right).}
13592:{\displaystyle Z=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k+1}}\sum _{s\in S_{k+1}}{\frac {1}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}+i_{k+1}+j_{k+1}}}{\frac {\left}{i_{1}!j_{1}!\cdots i_{k}!j_{k}!i_{k+1}!j_{k+1}!}},}
4420:
4274:
14367:
12051:
11261:
10387:
9550:
6720:
3510:
3061:
4543:
2871:
259:
14855:
14788:
4668:
5218:
6336:
4894:
1874:{\displaystyle {\frac {\partial \Gamma }{\partial s}}=e^{-sX}(-X){\frac {\partial }{\partial t}}e^{sX(t)}+e^{-sX}{\frac {\partial }{\partial t}}\left=e^{-sX}{\frac {dX}{dt}}e^{sX}.}
5188:
14380:
1890:
10373:
6193:
14914:
2211:{\displaystyle \Gamma (1,t)=e^{-X(t)}{\frac {\partial }{\partial t}}e^{X(t)}=\int _{0}^{1}{\frac {\partial \Gamma }{\partial s}}ds=\int _{0}^{1}e^{-\mathrm {ad} _{sX}}X'ds.}
2744:
15400:
Suzuki, Masuo (1985). "Decomposition formulas of exponential operators and Lie exponentials with some applications to quantum mechanics and statistical physics".
1136:
7227:{\displaystyle Z'=\sum \limits _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n}}\left(e^{\mathrm {ad} _{Z}}-1\right)^{n-1}~\left(X+e^{t\,\mathrm {ad} _{X}}Y\right)~,}
6182:
5902:
968:
1539:
5807:
14694:
8546:{\displaystyle \log(A)=\sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}{(A-I)}^{k},\quad {\text{and}}\quad e^{X}=\sum _{k=0}^{\infty }{\frac {X^{k}}{k!}}}
13618:
6347:
1358:
5386:
2621:
6171:{\displaystyle Z(1)=\log(\exp X\exp Y)=X+\left(\int _{0}^{1}\psi \left(e^{\operatorname {ad} _{X}}~e^{t\,{\text{ad}}_{Y}}\right)\,dt\right)\,Y,}
245:-style is sometimes more convenient for inline equations, and is necessary on the rare occasions when there is a real distinction to be made.
15294:(1947), "ĐŃŃĐžŃĐ»Đ”ĐœĐžĐ” ĐșĐŸŃŃŃĐžŃĐžĐ”ĐœŃĐŸĐČ ĐČ ŃĐŸŃĐŒŃлД CampbellâHausdorff" [Calculation of the coefficients in the CampbellâHausdorff formula],
715:{\displaystyle {\frac {1-e^{-\mathrm {ad} _{X}}}{\mathrm {ad} _{X}}}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(k+1)!}}(\mathrm {ad} _{X})^{k}.}
3961:
4347:
189:(1899) in the context of the problem of expressing Lie group multiplication using Lie algebraic terms. It is also sometimes known as
4211:
15531:
5209:
5106:
197:
14284:
514:
15307:
3019:{\displaystyle {\frac {d}{dt}}\exp(C(t))=\exp(C){\frac {1-e^{-\mathrm {ad} _{C}}}{\mathrm {ad} _{C}}}{\frac {dC(t)}{dt}}.}
824:. This still amounts to exactly the same formula as in the matrix case. Left multiplication of an element of the algebra
406:{\displaystyle {\frac {d}{dt}}e^{X(t)}=e^{X(t)}{\frac {1-e^{-\mathrm {ad} _{X}}}{\mathrm {ad} _{X}}}{\frac {dX(t)}{dt}}.}
15323:
14697:. The relationship is simply that between a representation of a Lie group and that of its Lie algebra according to the
4486:
15375:
15341:
14797:
4792:{\displaystyle \mathrm {ad} _{X}E_{ij}=(\lambda _{i}-\lambda _{j})E_{ij}+\cdots \equiv \lambda _{ij}E_{ij}+\cdots ,}
241:
meanings. The calculus-style notation is preferred here for better readability in equations. On the other hand, the
14731:
5366:{\displaystyle \exp(-Z(t)){\frac {d}{dt}}\exp(Z(t))={\frac {1-e^{-\mathrm {ad} _{Z}}}{\mathrm {ad} _{Z}}}Z'(t).}
4027:
is invertible. This, in turn, happens when the eigenvalues of this operator are all nonzero. The eigenvalues of
5072:. The same conclusion holds for general Lie groups using the manifold version of the inverse function theorem.
5010:{\displaystyle \lambda _{i}-\lambda _{j}\neq k2\pi i,\quad k=\pm 1,\pm 2,\ldots ,\quad 1\leq i,j\leq n=\dim V.}
15568:
14630:{\displaystyle X^{i_{1}}Y^{j_{1}}\cdots X^{i_{k}}Y^{j_{k}}={\frac {\left}{i_{1}+j_{1}+\cdots +i_{k}+j_{k}}}.}
196:
The formula is important both in pure and applied mathematics. It enters into proofs of theorems such as the
6273:
2221:
Using the formal power series to expand the exponential, integrating term by term, and finally recognizing (
5128:
1998:{\displaystyle {\frac {\partial \Gamma }{\partial s}}=\mathrm {Ad} _{e^{-sX}}X'=e^{-\mathrm {ad} _{sX}}X',}
799:
737:
derived from the power series of the exponential map of a linear endomorphism, as in matrix exponentiation.
40:
28:
6259:
of a bracket series, which suffices in many applications, for instance, in proving central results in the
15296:
155:
5076:
3890:
together with the derivative of the exponential map provides information about the local behavior of
27:'s investigations into group multiplication in Lie algebraic terms led him to the formulation of the
14870:
746:
is a matrix Lie group, all occurrences of the exponential are given by their power series expansion.
6267:
Dynkin's formula mentioned may also be derived analogously, starting from the parametric extension
5031:
3887:
15475:
Wilcox, R. M. (1967). "Exponential
Operators and Parameter Differentiation in Quantum Physics".
15573:
15468:
14271:
This is Dynkin's formula. The striking similarity with (99) is not accidental: It reflects the
1488:
1483:
2855:{\displaystyle \phi (z)={\frac {e^{z}-1}{z}}=1+{\frac {1}{2!}}z+{\frac {1}{3!}}z^{2}+\cdots ,}
15583:
6244:
15515:
7554:
It is at this point evident that the qualitative statement of the BCH formula holds, namely
15484:
15409:
9524:
6248:
213:
201:
8:
15578:
209:
15488:
15413:
15460:
15446:
14698:
6260:
1230:{\displaystyle d\exp _{X}Y=e^{X}{\frac {1-e^{-\mathrm {ad} _{X}}}{\mathrm {ad} _{X}}}Y}
875:
803:
75:
2599:
and the result follows. The proof, as presented here, is essentially the one given in
15371:
15337:
15319:
14949:
14930:
5995:{\displaystyle Z'(t)=\psi \left(e^{\mathrm {ad} _{X}}e^{t\mathrm {ad} _{Y}}\right)Y.}
1100:{\displaystyle d\exp _{X}Y=\left.{\frac {d}{dt}}e^{Z(t)}\right|_{t=0},Z(0)=X,Z'(0)=Y}
842:
of the Lie group is interpreted as applying the differential of the left translation
821:
90:
15551:
15350:
6240:
4071:
is an analytic function of a complex variable expressed in a power series such that
1621:{\displaystyle \mathrm {Ad} _{e^{X}}=e^{\mathrm {ad} _{X}},~~X\in {\mathfrak {g}}~.}
807:
186:
24:
15546:
15511:
15492:
15456:
15438:
15417:
14674:
1346:
The outline of proof makes use of the technique of differentiation with respect to
816:, i.e. element of the Lie algebra as defined in the general case, on the Lie group
205:
71:
15527:
15384:
13758:, corresponding to the first and second terms in the equation before it. In case
7038:
6252:
5886:{\displaystyle e^{\mathrm {ad} _{Z}}=e^{\mathrm {ad} _{X}}e^{t\mathrm {ad} _{Y}}}
182:
151:
15464:
13715:{\displaystyle i_{r},j_{r}\geq 0,\quad i_{r}+j_{r}>0,\quad 1\leq r\leq k+1,}
6459:{\displaystyle e^{-Z(t)}{\frac {de^{Z(t)}}{dt}}=e^{-t\,\mathrm {ad} _{Y}}X+Y~,}
1448:{\displaystyle \Gamma (s,t)=e^{-sX(t)}{\frac {\partial }{\partial t}}e^{sX(t)}}
15562:
15291:
6236:
5471:{\displaystyle Y={\frac {1-e^{-\mathrm {ad} _{Z}}}{\mathrm {ad} _{Z}}}Z'(t),}
2728:{\displaystyle {\frac {d}{dt}}\exp(C(t))=\exp(C)\phi (-\mathrm {ad} (C))C~',}
14942:
This is seen by choosing a basis for the underlying vector space such that
14275:, underpinning the original, different, derivation of the formula. Namely,
810:
8348:
in a power series. To handle the series expansions simply, consider first
233:
will be used interchangeably to denote the exponential given an argument,
15318:, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer,
15316:
Lie groups, Lie algebras, and representations: An elementary introduction
15021:
are, under the exponential, in bijection with matrices whose eigenvalues
44:
6239:
at home in 2003. In 1947 Dynkin proved the explicit BCH series formula.
15450:
3914:
between vector spaces (here first considering matrix Lie groups) has a
94:
15496:
447:(continuously differentiable) path in the Lie algebra with derivative
15429:
Tuynman (1995), "The derivation of the exponential map of matrices",
15421:
15370:, Oxford Graduate Texts in Mathematics, Oxford Science Publications,
7578:, terms for each partition thereof are organized inside the integral
6232:
4132:, the double subscript is made clear below. In the present case with
36:
15442:
4017:{\displaystyle {\frac {1-e^{\mathrm {ad_{X}} }}{\mathrm {ad} _{X}}}}
5100:
5020:
In particular, in the case of matrix Lie groups, it follows, since
1343:
is correctly interpreted. See comments on the general case below.
4415:{\displaystyle \lambda _{ij}\neq k2\pi i,k=\pm 1,\pm 2,\ldots .}
1628:
413:
14665:) together yields a concise proof of the explicit BCH formula.
4269:{\displaystyle {\frac {1-e^{-\lambda _{ij}}}{\lambda _{ij}}},}
3389:
where each factor owes its place to the non-commutativity of
15387:(1891), "Zur Theorie der endlichen Transformationsgruppen",
14362:{\displaystyle X^{i_{1}}Y^{j_{1}}\cdots X^{i_{k}}Y^{j_{k}}}
996:
19:
8011:
For a similar proof with detailed series expansions, see
499:
is the linear transformation of the Lie algebra given by
10374:
An explicit Baker–Campbell–Hausdorff formula
6227:
3881:
1491:
of the group on its Lie algebra. The action is given by
200:, and it is used frequently in physics for example in
2603:. A proof with a more algebraic touch can be found in
14952:, the eigenvalues being the diagonal elements. Then
14873:
14800:
14734:
14383:
14372:
is expressible as a bracket series, then necessarily
14287:
13820:
13621:
13129:
12049:
11259:
10385:
9548:
9072:
8567:
8379:
8051:
7597:
7259:
7052:
6718:
6478:
6350:
6276:
6216:. A textbook proof along these lines can be found in
6192:
that is more tractable in practice than the explicit
6018:
5905:
5810:
5490:
5389:
5221:
5131:
4897:
4671:
4489:
4350:
4214:
3964:
3508:
3059:
2874:
2747:
2624:
2236:
2023:
1893:
1649:
1542:
1361:
1139:
971:
559:
262:
7570:
and is expressible as a series in repeated brackets
5049:, is a bi-analytic bijection from a neighborhood of
237:when, where as noted, the notations have dedicated
15368:Lie Groups â An Introduction Through Linear Groups
14908:
14849:
14782:
14629:
14361:
14260:
13714:
13591:
13107:
12029:
11156:
10361:
9420:
9039:
8545:
8324:
8000:
7543:
7226:
7026:
6698:
6458:
6330:
6170:
5994:
5885:
5776:
5470:
5365:
5182:
5009:
4791:
4580:be the corresponding basis for matrix space, i.e.
4537:
4414:
4268:
4016:
3955:) it follows that this will happen precisely when
3865:
3378:
3018:
2854:
2727:
2588:
2210:
1997:
1873:
1620:
1462:which can then be solved by direct integration in
1458:to obtain a first order differential equation for
1447:
1229:
1099:
714:
405:
253:The derivative of the exponential map is given by
6196:due to the simplicity of the series expansion of
4538:{\displaystyle Xe_{i}=\lambda _{i}e_{i}+\cdots ,}
15560:
11167:Note that the summation index for the rightmost
5101:Derivation of a BakerâCampbellâHausdorff formula
5038:is a bi-analytic bijection in a neighborhood of
3456:since the sum indices are integers) and letting
3191:
3106:
15027:are not on the negative real line or zero. The
14850:{\displaystyle \tau (w)={\frac {w}{1-e^{-w}}}.}
2610:
13787:, else the term vanishes for the same reason (
15474:
14783:{\displaystyle \tau (\log z)\phi (-\log z)=1}
6005:Putting this into the form of an integral in
5801:, it is straightforward to further see that
15123:
15121:
15119:
15073:
15071:
15039:are related by the complex exponential. See
6996:
6978:
5765:
5759:
2615:The formula in the general case is given by
864:is considered as a map on matrix space over
198:Baker–Campbell–Hausdorff formula
13800:is not allowed). Finally, shift the index,
5376:Its left-hand side is easy to see to equal
3040:
1525:. A frequently useful relationship between
14865:is the exponential generating function of
8556:respectively. Combining these one obtains
6469:so that, using the above general formula,
6263:. Photo courtesy of the Dynkin Collection.
154:in the Lie algebra, and a closely related
15550:
15510:
15274:
15235:
15233:
15224:
15200:
15164:
15116:
15068:
7588:. The resulting Dynkin's formula is then
7512:
7424:
7192:
6667:
6561:
6423:
6161:
6149:
6129:
5212:, can be derived from the above formula,
4876:is a local bianalytical bijection around
4831:is lower triangular with its eigenvalues
3045:An immediate way to see what the answer
3034:
15365:
15349:
15250:
15176:
15127:
15100:
15077:
15040:
14992:
14693:A proof of the identity can be found in
8012:
6231:
5787:However, using the relationship between
4860:on the diagonal. The conclusion is that
3932:bijection in an open set around a point
2600:
1640:Using the product rule twice one finds,
18:
15428:
15152:
8018:
15561:
15526:
15399:
15334:Symmetry Groups and their Applications
15331:
15290:
15239:
15230:
15111:
15063:
6331:{\displaystyle e^{Z(t)}=e^{tX}e^{tY},}
6221:
4802:with the remaining terms multiples of
4548:with the remaining terms multiples of
860:The formula applies to the case where
794:), while the other two occurrences of
15383:
15089:
14969:. It follows that the eigenvalues of
14958:is triangular with diagonal elements
7560:lies in the Lie algebra generated by
6228:Derivation of Dynkin's series formula
5183:{\displaystyle e^{Z(t)}=e^{X}e^{tY},}
3882:Local behavior of the exponential map
74:, the exponential map reduces to the
15353:(1899), "Sur les groupes continus",
15313:
15262:
15212:
15188:
15139:
14374:
13738:), the leading term vanishes unless
13120:
8558:
8042:
7043:
6217:
6208:and nested commutators thereof with
2604:
1130:
788:is still given by its power series (
550:
14273:Dynkin–Specht–Wever map
10372:or, with a switch of notation, see
7065:
6871:
6202:. Note this expression consists of
4088:converges, then the eigenvalues of
1607:
185:(1891). It was later elaborated by
13:
13872:
13722:using the simple observation that
13152:
12076:
11286:
10429:
10138:
10135:
10107:
10104:
10073:
10070:
10042:
10039:
9851:
9848:
9820:
9817:
9786:
9783:
9755:
9752:
9592:
9134:
8978:
8893:
8830:
8787:
8726:
8623:
8516:
8414:
8299:
8296:
8257:
8254:
8232:
8229:
8178:
8175:
8153:
8150:
8091:
7620:
7518:
7515:
7455:
7452:
7430:
7427:
7347:
7198:
7195:
7135:
7132:
7080:
6986:
6983:
6942:
6939:
6886:
6830:
6827:
6771:
6768:
6732:
6728:
6724:
6673:
6670:
6624:
6621:
6603:
6600:
6567:
6564:
6527:
6524:
6497:
6494:
6429:
6426:
5969:
5966:
5944:
5941:
5871:
5868:
5846:
5843:
5821:
5818:
5678:
5586:
5583:
5548:
5545:
5518:
5515:
5436:
5433:
5418:
5415:
5331:
5328:
5313:
5310:
4677:
4674:
4434:are, in turn, related to those of
4002:
3999:
3988:
3984:
3980:
3821:
3818:
3803:
3800:
3739:
3736:
3654:
3651:
3201:
3116:
2972:
2969:
2954:
2951:
2695:
2692:
2551:
2548:
2533:
2530:
2468:
2465:
2410:
2345:
2342:
2289:
2237:
2176:
2173:
2130:
2125:
2122:
2073:
2069:
2024:
1969:
1966:
1922:
1919:
1905:
1900:
1897:
1763:
1759:
1707:
1703:
1661:
1656:
1653:
1578:
1575:
1548:
1545:
1414:
1410:
1362:
1212:
1209:
1194:
1191:
798:in the formula, which now are the
689:
686:
631:
600:
597:
582:
579:
359:
356:
341:
338:
14:
15595:
15504:
15467:(2007). "Lie Groups in Physics",
15155:from which Hall's proof is taken.
905:, the notions coincide precisely.
5210:BakerâCampbellâHausdorff formula
5107:BakerâCampbellâHausdorff formula
4653:. One checks that the action of
3414:Dividing the unit interval into
15552:10.1090/s0273-0979-1982-14972-2
15477:Journal of Mathematical Physics
15402:Journal of Mathematical Physics
15268:
15256:
15244:
15218:
15206:
15194:
15182:
15170:
15158:
15080:Appendix on analytic functions.
14998:
14936:
14720:
13687:
13654:
13079:
13046:
12004:
11971:
11938:
11131:
11098:
11065:
10336:
10303:
10270:
9399:
9366:
9333:
8486:
8480:
8023:Change the summation index in (
7979:
7946:
7913:
7037:the last step by virtue of the
6977:
6255:were mostly concerned with the
5608:
4970:
4939:
4468:of the underlying vector space
3876:
1352:of the parametrized expression
78:. The exponential map, denoted
15145:
15133:
15105:
15094:
15083:
15057:
14909:{\displaystyle (-1)^{k}b_{k},}
14884:
14874:
14810:
14804:
14771:
14756:
14750:
14738:
14687:
14555:
14542:
14532:
14519:
14506:
14493:
14483:
14470:
14095:
14082:
14072:
14059:
14046:
14033:
14023:
14010:
13890:
13880:
13479:
13460:
13450:
13431:
13421:
13408:
13398:
13385:
13372:
13359:
13349:
13336:
13170:
13160:
13095:
13011:
12989:
12964:
12879:
12854:
12844:
12825:
12815:
12802:
12792:
12779:
12766:
12753:
12743:
12730:
12712:
12687:
12582:
12557:
12551:
12526:
12460:
12435:
12425:
12400:
12390:
12377:
12367:
12354:
12341:
12328:
12318:
12305:
12287:
12262:
12256:
12231:
12094:
12084:
11844:
11825:
11815:
11802:
11792:
11779:
11766:
11753:
11743:
11730:
11544:
11531:
11521:
11508:
11495:
11482:
11472:
11459:
11304:
11294:
10971:
10952:
10942:
10929:
10919:
10906:
10893:
10880:
10870:
10857:
10679:
10666:
10656:
10643:
10630:
10617:
10607:
10594:
10447:
10437:
9610:
9600:
9535:
9494:
9429:
9152:
9142:
8911:
8901:
8744:
8734:
8641:
8631:
8467:
8455:
8432:
8422:
8392:
8386:
8109:
8099:
7847:
7842:
7829:
7819:
7806:
7793:
7780:
7770:
7757:
7749:
7638:
7628:
7365:
7355:
7314:
7308:
7269:
7263:
7098:
7088:
6962:
6952:
6934:
6925:
6904:
6894:
6393:
6387:
6368:
6362:
6291:
6285:
6061:
6040:
6028:
6022:
5920:
5914:
5747:
5734:
5728:
5716:
5696:
5686:
5618:
5612:
5505:
5499:
5462:
5456:
5357:
5351:
5285:
5282:
5276:
5270:
5246:
5243:
5237:
5228:
5146:
5140:
5045:in matrix space. Furthermore,
4729:
4703:
3586:
3574:
3542:
3536:
3340:
3334:
3302:
3296:
3251:
3245:
3198:
3160:
3154:
3113:
3093:
3087:
2999:
2993:
2929:
2923:
2911:
2908:
2902:
2896:
2757:
2751:
2708:
2705:
2699:
2685:
2679:
2673:
2661:
2658:
2652:
2646:
2479:
2460:
2451:
2439:
2428:
2418:
2356:
2337:
2307:
2297:
2252:
2240:
2096:
2090:
2062:
2056:
2039:
2027:
1806:
1800:
1786:
1780:
1733:
1727:
1698:
1689:
1440:
1434:
1403:
1397:
1377:
1365:
1088:
1082:
1062:
1056:
1028:
1022:
700:
681:
672:
660:
649:
639:
386:
380:
314:
308:
292:
286:
1:
15389:Abh. Math. Sem. Univ. Hamburg
15284:
14655:
13734:
13605:
9492:subject to the conditions in
7571:
5797:
4615:. Order this basis such that
4341:is invertible precisely when
2010:
1629:
1255:
800:exponential map in Lie theory
549:is given by the power series
414:
11175:
9529:
9446:is the set of all sequences
9428:
9053:
8338:
2611:Comments on the general case
488:is omitted where not needed.
248:
29:universal enveloping algebra
7:
15306: ; translation from
15179:Proposition 7, section 1.2.
15004:Matrices whose eigenvalues
14668:
14661:
14643:
8025:
7240:
7041:expansion, it follows that
4480:is lower triangular. Then
3951:
2223:
1243:
790:
728:
517:of a Lie algebra on itself.
16:Formula in Lie group theory
10:
15600:
15297:Doklady Akademii Nauk SSSR
14680:
5104:
4882:, when the eigenvalues of
2865:which formally reduces to
2014:above. Integration yields
219:Throughout, the notations
15532:"Poincaré and Lie groups"
15292:Dynkin, Eugene Borisovich
14995:, Lemma 6 in section 1.2.
14792:for |z â 1| < 1 where
14709:are representations with
11195:an element of a sequence
5091:itself is invertible for
5077:implicit function theorem
5075:It also follows from the
4440:. Let the eigenvalues of
1253:follows immediately from
15355:Cambridge Philos. Trans.
15167:This is equation (1.11).
15050:
11173:in the second term in (
7250:and, thus, integrating,
5032:inverse function theorem
4056:are related to those of
3888:inverse function theorem
3041:A direct formal argument
1333:
1292:is the identity because
802:, refer to the time-one
15366:Rossmann, Wulf (2002),
15332:Miller, Wllard (1972),
15314:Hall, Brian C. (2015),
6194:Dynkin's series formula
4457:. Fix an ordered basis
4290:are the eigenvalues of
4126:are the eigenvalues of
3938:in the domain provided
1884:Then one observes that
1466:. The solution is then
1314:is a vector space) and
15539:Bull. Amer. Math. Soc.
15043:Remark 2c section 1.2.
14910:
14851:
14784:
14631:
14363:
14262:
13876:
13716:
13593:
13156:
13109:
12080:
12031:
11290:
11158:
10433:
10363:
9596:
9422:
9138:
9041:
8982:
8897:
8834:
8791:
8730:
8627:
8547:
8520:
8418:
8326:
8095:
8002:
7624:
7545:
7351:
7228:
7084:
7028:
6890:
6700:
6460:
6332:
6264:
6172:
5996:
5887:
5778:
5682:
5472:
5367:
5184:
5122:is defined such that
5030:is invertible, by the
5011:
4793:
4539:
4416:
4270:
4018:
3867:
3380:
3226:
3020:
2856:
2729:
2590:
2414:
2293:
2212:
1999:
1875:
1622:
1449:
1231:
1101:
962:, the standard recipe
716:
635:
407:
32:
15130:Theorem 5 Section 1.2
14911:
14852:
14785:
14632:
14364:
14263:
13856:
13717:
13594:
13136:
13110:
12060:
12032:
11270:
11159:
10413:
10364:
9576:
9423:
9118:
9042:
8938:
8877:
8814:
8771:
8710:
8607:
8548:
8500:
8398:
8370:-series are given by
8327:
8075:
8003:
7604:
7546:
7331:
7229:
7064:
7029:
6870:
6701:
6461:
6333:
6235:
6173:
5997:
5888:
5779:
5662:
5481:and hence, formally,
5473:
5368:
5185:
5062:to a neighborhood of
5012:
4872:is invertible, hence
4794:
4540:
4417:
4271:
4176:, the eigenvalues of
4019:
3949:is invertible. From (
3868:
3381:
3206:
3021:
2857:
2730:
2591:
2394:
2273:
2213:
2000:
1876:
1623:
1450:
1232:
1102:
717:
615:
408:
22:
15569:Mathematical physics
14871:
14798:
14732:
14653:Putting observation
14381:
14285:
13818:
13619:
13127:
12047:
11257:
10383:
9546:
9070:
8565:
8377:
8049:
8019:Combinatoric details
7595:
7257:
7050:
6716:
6476:
6348:
6274:
6016:
6009:from 0 to 1 yields,
5903:
5808:
5488:
5387:
5219:
5129:
5097:sufficiently small.
4895:
4669:
4487:
4348:
4212:
3962:
3506:
3057:
2872:
2745:
2622:
2234:
2021:
1891:
1647:
1540:
1359:
1137:
969:
759:a matrix Lie group,
557:
260:
214:lattice gauge theory
202:quantum field theory
181:was first proved by
15489:1967JMP.....8..962W
15431:Amer. Math. Monthly
15414:1985JMP....26..601S
7400:
7289:
6092:
4425:The eigenvalues of
3725:
3648:
3568:
2272:
2162:
2118:
210:perturbation theory
15336:, Academic Press,
14906:
14847:
14780:
14699:Lie correspondence
14627:
14359:
14258:
13933:
13712:
13589:
13221:
13105:
13103:
12164:
12027:
12022:
11374:
11154:
11149:
10517:
10359:
10357:
9680:
9418:
9195:
9037:
8543:
8322:
7998:
7681:
7541:
7386:
7275:
7224:
7024:
7022:
6696:
6456:
6328:
6265:
6261:Lie correspondence
6168:
6078:
5992:
5883:
5774:
5468:
5363:
5193:an expression for
5180:
5007:
4822:. This means that
4789:
4535:
4412:
4266:
4014:
3920:inverse such that
3863:
3861:
3711:
3634:
3554:
3376:
3374:
3205:
3120:
3016:
2852:
2725:
2586:
2258:
2208:
2148:
2104:
1995:
1871:
1618:
1445:
1227:
1110:is employed. With
1097:
876:matrix exponential
712:
403:
93:and has as such a
76:matrix exponential
43:is a map from the
33:
15512:Sternberg, Shlomo
15497:10.1063/1.1705306
14931:Bernoulli numbers
14842:
14651:
14650:
14622:
14239:
14204:
14169:
14162:
13996:
13911:
13909:
13613:
13612:
13584:
13322:
13193:
13191:
12996:
12716:
12589:
12291:
12117:
12115:
11933:
11716:
11614:
11445:
11327:
11325:
11060:
10749:
10470:
10468:
10408:
10262:
9933:
9633:
9631:
9571:
9328:
9173:
9171:
9061:
9060:
9021:
8930:
8855:
8812:
8763:
8660:
8541:
8484:
8451:
8346:
8345:
8130:
8070:
7908:
7744:
7659:
7657:
7492:
7409:
7384:
7326:
7298:
7248:
7247:
7220:
7172:
7117:
7016:
7013:
6973:
6923:
6709:Since, however,
6647:
6643:
6544:
6540:
6452:
6407:
6134:
6120:
5732:
5651:
5561:
5446:
5341:
5262:
4261:
4012:
3855:
3851:
3831:
3526:
3368:
3347:
3314:
3285:
3258:
3190:
3167:
3134:
3105:
3077:
3011:
2982:
2888:
2831:
2810:
2786:
2717:
2638:
2581:
2561:
2506:
2458:
2383:
2335:
2137:
2080:
1912:
1853:
1770:
1714:
1668:
1614:
1598:
1595:
1421:
1259:. In particular,
1251:
1250:
1222:
1012:
822:analytic manifold
736:
735:
679:
610:
398:
369:
276:
191:Duhamel's formula
35:In the theory of
15591:
15555:
15554:
15536:
15528:Schmid, Wilfried
15523:
15522:
15500:
15453:
15425:
15422:10.1063/1.526596
15396:
15380:
15362:
15346:
15328:
15305:
15278:
15272:
15266:
15260:
15254:
15248:
15242:
15237:
15228:
15222:
15216:
15210:
15204:
15198:
15192:
15186:
15180:
15174:
15168:
15162:
15156:
15149:
15143:
15142:Proposition 3.35
15137:
15131:
15125:
15114:
15109:
15103:
15098:
15092:
15087:
15081:
15075:
15066:
15061:
15044:
15038:
15032:
15026:
15020:
15009:
15002:
14996:
14990:
14974:
14968:
14957:
14947:
14940:
14934:
14928:
14915:
14913:
14912:
14907:
14902:
14901:
14892:
14891:
14864:
14856:
14854:
14853:
14848:
14843:
14841:
14840:
14839:
14817:
14789:
14787:
14786:
14781:
14724:
14718:
14716:
14708:
14704:
14691:
14675:Matrix logarithm
14645:
14636:
14634:
14633:
14628:
14623:
14621:
14620:
14619:
14607:
14606:
14588:
14587:
14575:
14574:
14564:
14560:
14559:
14558:
14554:
14553:
14536:
14535:
14531:
14530:
14510:
14509:
14505:
14504:
14487:
14486:
14482:
14481:
14459:
14454:
14453:
14452:
14451:
14437:
14436:
14435:
14434:
14417:
14416:
14415:
14414:
14400:
14399:
14398:
14397:
14375:
14368:
14366:
14365:
14360:
14358:
14357:
14356:
14355:
14341:
14340:
14339:
14338:
14321:
14320:
14319:
14318:
14304:
14303:
14302:
14301:
14267:
14265:
14264:
14259:
14237:
14227:
14226:
14214:
14213:
14202:
14192:
14191:
14179:
14178:
14167:
14163:
14161:
14157:
14156:
14144:
14143:
14128:
14127:
14115:
14114:
14104:
14100:
14099:
14098:
14094:
14093:
14076:
14075:
14071:
14070:
14050:
14049:
14045:
14044:
14027:
14026:
14022:
14021:
13999:
13997:
13995:
13994:
13993:
13981:
13980:
13962:
13961:
13949:
13948:
13935:
13932:
13931:
13930:
13910:
13905:
13904:
13903:
13878:
13875:
13870:
13852:
13851:
13842:
13841:
13810:
13799:
13786:
13782:
13770:
13757:
13753:
13749:
13731:
13725:
13721:
13719:
13718:
13713:
13677:
13676:
13664:
13663:
13644:
13643:
13631:
13630:
13607:
13598:
13596:
13595:
13590:
13585:
13583:
13579:
13578:
13560:
13559:
13541:
13540:
13528:
13527:
13512:
13511:
13499:
13498:
13488:
13484:
13483:
13482:
13478:
13477:
13454:
13453:
13449:
13448:
13425:
13424:
13420:
13419:
13402:
13401:
13397:
13396:
13376:
13375:
13371:
13370:
13353:
13352:
13348:
13347:
13325:
13323:
13321:
13320:
13319:
13301:
13300:
13282:
13281:
13269:
13268:
13250:
13249:
13237:
13236:
13223:
13220:
13219:
13218:
13192:
13190:
13179:
13178:
13177:
13158:
13155:
13150:
13121:
13118:This amounts to
13114:
13112:
13111:
13106:
13104:
13069:
13068:
13056:
13055:
13036:
13035:
13023:
13022:
13007:
13004:
12997:
12995:
12982:
12981:
12960:
12959:
12941:
12940:
12928:
12927:
12912:
12911:
12899:
12898:
12888:
12884:
12883:
12882:
12872:
12871:
12848:
12847:
12843:
12842:
12819:
12818:
12814:
12813:
12796:
12795:
12791:
12790:
12770:
12769:
12765:
12764:
12747:
12746:
12742:
12741:
12719:
12717:
12715:
12705:
12704:
12683:
12682:
12664:
12663:
12651:
12650:
12632:
12631:
12619:
12618:
12605:
12601:
12596:
12590:
12588:
12575:
12574:
12544:
12543:
12522:
12521:
12509:
12508:
12493:
12492:
12480:
12479:
12469:
12465:
12464:
12463:
12453:
12452:
12429:
12428:
12418:
12417:
12394:
12393:
12389:
12388:
12371:
12370:
12366:
12365:
12345:
12344:
12340:
12339:
12322:
12321:
12317:
12316:
12294:
12292:
12290:
12280:
12279:
12249:
12248:
12227:
12226:
12214:
12213:
12195:
12194:
12182:
12181:
12168:
12163:
12156:
12155:
12137:
12136:
12116:
12114:
12103:
12102:
12101:
12082:
12079:
12074:
12036:
12034:
12033:
12028:
12023:
11994:
11993:
11981:
11980:
11961:
11960:
11948:
11947:
11934:
11932:
11928:
11927:
11909:
11908:
11896:
11895:
11880:
11879:
11867:
11866:
11856:
11852:
11848:
11847:
11843:
11842:
11819:
11818:
11814:
11813:
11796:
11795:
11791:
11790:
11770:
11769:
11765:
11764:
11747:
11746:
11742:
11741:
11719:
11717:
11715:
11708:
11707:
11689:
11688:
11676:
11675:
11657:
11656:
11644:
11643:
11630:
11626:
11621:
11615:
11613:
11609:
11608:
11596:
11595:
11580:
11579:
11567:
11566:
11556:
11552:
11548:
11547:
11543:
11542:
11525:
11524:
11520:
11519:
11499:
11498:
11494:
11493:
11476:
11475:
11471:
11470:
11448:
11446:
11444:
11437:
11436:
11424:
11423:
11405:
11404:
11392:
11391:
11378:
11373:
11366:
11365:
11347:
11346:
11326:
11324:
11313:
11312:
11311:
11292:
11289:
11284:
11249:
11242:
11238:
11236:
11235:
11230:
11227:
11210:. Now integrate
11209:
11190:
11172:
11163:
11161:
11160:
11155:
11150:
11121:
11120:
11108:
11107:
11088:
11087:
11075:
11074:
11061:
11059:
11055:
11054:
11036:
11035:
11023:
11022:
11007:
11006:
10994:
10993:
10983:
10979:
10975:
10974:
10970:
10969:
10946:
10945:
10941:
10940:
10923:
10922:
10918:
10917:
10897:
10896:
10892:
10891:
10874:
10873:
10869:
10868:
10846:
10844:
10843:
10842:
10841:
10823:
10822:
10810:
10809:
10791:
10790:
10778:
10777:
10761:
10756:
10750:
10748:
10744:
10743:
10731:
10730:
10715:
10714:
10702:
10701:
10691:
10687:
10683:
10682:
10678:
10677:
10660:
10659:
10655:
10654:
10634:
10633:
10629:
10628:
10611:
10610:
10606:
10605:
10583:
10581:
10580:
10579:
10578:
10566:
10565:
10547:
10546:
10534:
10533:
10516:
10509:
10508:
10490:
10489:
10469:
10467:
10456:
10455:
10454:
10435:
10432:
10427:
10409:
10407:
10399:
10391:
10368:
10366:
10365:
10360:
10358:
10326:
10325:
10313:
10312:
10293:
10292:
10280:
10279:
10263:
10261:
10257:
10256:
10238:
10237:
10225:
10224:
10209:
10208:
10196:
10195:
10185:
10184:
10183:
10182:
10181:
10161:
10160:
10159:
10158:
10148:
10147:
10146:
10141:
10130:
10129:
10128:
10127:
10117:
10116:
10115:
10110:
10096:
10095:
10094:
10093:
10083:
10082:
10081:
10076:
10065:
10064:
10063:
10062:
10052:
10051:
10050:
10045:
10033:
10031:
10030:
10029:
10028:
10010:
10009:
9997:
9996:
9978:
9977:
9965:
9964:
9948:
9943:
9934:
9932:
9928:
9927:
9915:
9914:
9899:
9898:
9886:
9885:
9875:
9874:
9873:
9872:
9871:
9861:
9860:
9859:
9854:
9843:
9842:
9841:
9840:
9830:
9829:
9828:
9823:
9809:
9808:
9807:
9806:
9796:
9795:
9794:
9789:
9778:
9777:
9776:
9775:
9765:
9764:
9763:
9758:
9746:
9744:
9743:
9742:
9741:
9729:
9728:
9710:
9709:
9697:
9696:
9679:
9672:
9671:
9653:
9652:
9632:
9630:
9619:
9618:
9617:
9598:
9595:
9590:
9572:
9570:
9562:
9554:
9522:
9511:
9491:
9484:
9445:
9431:
9427:
9425:
9424:
9419:
9389:
9388:
9376:
9375:
9356:
9355:
9343:
9342:
9329:
9327:
9323:
9322:
9310:
9309:
9294:
9293:
9281:
9280:
9270:
9269:
9268:
9267:
9266:
9252:
9251:
9250:
9249:
9232:
9231:
9230:
9229:
9215:
9214:
9213:
9212:
9197:
9194:
9193:
9192:
9172:
9167:
9166:
9165:
9140:
9137:
9132:
9114:
9110:
9109:
9108:
9099:
9098:
9055:
9046:
9044:
9043:
9038:
9033:
9032:
9027:
9023:
9022:
9020:
9006:
9005:
9004:
8995:
8994:
8984:
8981:
8976:
8931:
8926:
8925:
8924:
8899:
8896:
8891:
8873:
8872:
8867:
8863:
8856:
8854:
8846:
8845:
8836:
8833:
8828:
8813:
8811:
8803:
8802:
8793:
8790:
8785:
8764:
8759:
8758:
8757:
8732:
8729:
8724:
8706:
8705:
8700:
8699:
8695:
8688:
8687:
8678:
8677:
8661:
8656:
8655:
8654:
8629:
8626:
8621:
8603:
8599:
8598:
8597:
8588:
8587:
8559:
8552:
8550:
8549:
8544:
8542:
8540:
8532:
8531:
8522:
8519:
8514:
8496:
8495:
8485:
8482:
8476:
8475:
8470:
8452:
8447:
8446:
8445:
8420:
8417:
8412:
8369:
8366:-series and the
8365:
8361:
8340:
8331:
8329:
8328:
8323:
8321:
8317:
8313:
8312:
8311:
8310:
8302:
8288:
8287:
8282:
8278:
8271:
8270:
8269:
8268:
8260:
8246:
8245:
8244:
8243:
8235:
8209:
8208:
8203:
8199:
8192:
8191:
8190:
8189:
8181:
8167:
8166:
8165:
8164:
8156:
8131:
8129:
8118:
8117:
8116:
8097:
8094:
8089:
8071:
8069:
8061:
8053:
8043:
8039:
8007:
8005:
8004:
7999:
7969:
7968:
7956:
7955:
7936:
7935:
7923:
7922:
7909:
7907:
7903:
7902:
7890:
7889:
7874:
7873:
7861:
7860:
7850:
7846:
7845:
7841:
7840:
7823:
7822:
7818:
7817:
7797:
7796:
7792:
7791:
7774:
7773:
7769:
7768:
7747:
7745:
7743:
7742:
7741:
7729:
7728:
7710:
7709:
7697:
7696:
7683:
7680:
7679:
7678:
7658:
7653:
7652:
7651:
7626:
7623:
7618:
7587:
7577:
7573:
7569:
7559:
7550:
7548:
7547:
7542:
7537:
7533:
7529:
7528:
7527:
7526:
7521:
7490:
7489:
7488:
7477:
7473:
7466:
7465:
7464:
7463:
7458:
7441:
7440:
7439:
7438:
7433:
7407:
7399:
7394:
7385:
7380:
7379:
7378:
7353:
7350:
7345:
7327:
7325:
7317:
7300:
7296:
7288:
7283:
7242:
7233:
7231:
7230:
7225:
7218:
7217:
7213:
7209:
7208:
7207:
7206:
7201:
7170:
7169:
7168:
7157:
7153:
7146:
7145:
7144:
7143:
7138:
7118:
7113:
7112:
7111:
7086:
7083:
7078:
7060:
7044:
7033:
7031:
7030:
7025:
7023:
7014:
7011:
6995:
6994:
6989:
6971:
6970:
6969:
6951:
6950:
6945:
6924:
6919:
6918:
6917:
6892:
6889:
6884:
6863:
6859:
6855:
6854:
6850:
6843:
6839:
6838:
6833:
6789:
6785:
6784:
6780:
6779:
6774:
6737:
6736:
6735:
6705:
6703:
6702:
6697:
6692:
6688:
6684:
6683:
6682:
6681:
6676:
6645:
6644:
6642:
6635:
6634:
6633:
6632:
6627:
6612:
6611:
6606:
6597:
6592:
6588:
6578:
6577:
6576:
6575:
6570:
6542:
6541:
6539:
6538:
6537:
6536:
6535:
6530:
6506:
6505:
6500:
6491:
6486:
6465:
6463:
6462:
6457:
6450:
6440:
6439:
6438:
6437:
6432:
6408:
6406:
6398:
6397:
6396:
6374:
6372:
6371:
6337:
6335:
6334:
6329:
6324:
6323:
6311:
6310:
6295:
6294:
6215:
6211:
6207:
6201:
6191:
6183:integral formula
6177:
6175:
6174:
6169:
6160:
6156:
6148:
6144:
6143:
6142:
6141:
6140:
6135:
6132:
6118:
6117:
6116:
6115:
6114:
6091:
6086:
6001:
5999:
5998:
5993:
5985:
5981:
5980:
5979:
5978:
5977:
5972:
5955:
5954:
5953:
5952:
5947:
5913:
5892:
5890:
5889:
5884:
5882:
5881:
5880:
5879:
5874:
5857:
5856:
5855:
5854:
5849:
5832:
5831:
5830:
5829:
5824:
5794:
5790:
5783:
5781:
5780:
5775:
5755:
5754:
5733:
5731:
5711:
5710:
5709:
5684:
5681:
5676:
5652:
5650:
5639:
5625:
5601:
5597:
5596:
5595:
5594:
5589:
5562:
5560:
5559:
5558:
5557:
5556:
5551:
5527:
5526:
5521:
5512:
5498:
5477:
5475:
5474:
5469:
5455:
5447:
5445:
5444:
5439:
5430:
5429:
5428:
5427:
5426:
5421:
5397:
5372:
5370:
5369:
5364:
5350:
5342:
5340:
5339:
5334:
5325:
5324:
5323:
5322:
5321:
5316:
5292:
5263:
5261:
5250:
5207:
5189:
5187:
5186:
5181:
5176:
5175:
5163:
5162:
5150:
5149:
5121:
5096:
5090:
5071:
5061:
5055:
5048:
5044:
5037:
5029:
5016:
5014:
5013:
5008:
4920:
4919:
4907:
4906:
4887:
4881:
4875:
4871:
4859:
4830:
4821:
4798:
4796:
4795:
4790:
4779:
4778:
4766:
4765:
4744:
4743:
4728:
4727:
4715:
4714:
4699:
4698:
4686:
4685:
4680:
4661:
4652:
4634:
4614:
4579:
4568:
4558:
4544:
4542:
4541:
4536:
4525:
4524:
4515:
4514:
4502:
4501:
4479:
4473:
4467:
4456:
4445:
4439:
4433:
4421:
4419:
4418:
4413:
4363:
4362:
4340:
4333:
4331:
4329:
4328:
4318:
4315:
4298:
4289:
4275:
4273:
4272:
4267:
4262:
4260:
4259:
4247:
4246:
4245:
4244:
4243:
4216:
4204:
4203:
4201:
4200:
4192:
4189:
4175:
4163:
4162:
4160:
4159:
4154:
4151:
4131:
4125:
4114:
4098:
4087:
4081:
4070:
4064:
4055:
4054:
4052:
4051:
4043:
4040:
4023:
4021:
4020:
4015:
4013:
4011:
4010:
4005:
3996:
3995:
3994:
3993:
3992:
3991:
3966:
3948:
3937:
3931:
3925:
3919:
3913:
3907:
3893:
3872:
3870:
3869:
3864:
3862:
3853:
3852:
3850:
3842:
3834:
3832:
3830:
3829:
3824:
3815:
3814:
3813:
3812:
3811:
3806:
3782:
3780:
3779:
3767:
3753:
3752:
3751:
3750:
3742:
3724:
3719:
3710:
3709:
3694:
3684:
3676:
3675:
3674:
3673:
3657:
3647:
3642:
3633:
3632:
3614:
3613:
3601:
3593:
3592:
3567:
3562:
3546:
3545:
3527:
3525:
3514:
3498:
3494:
3489:
3487:
3486:
3481:
3478:
3459:
3455:
3447:
3446:
3444:
3443:
3438:
3435:
3419:
3410:
3399:
3385:
3383:
3382:
3377:
3375:
3366:
3365:
3364:
3353:
3349:
3348:
3343:
3329:
3315:
3313:
3305:
3288:
3286:
3278:
3276:
3275:
3264:
3260:
3259:
3254:
3240:
3225:
3220:
3204:
3183:
3179:
3178:
3173:
3169:
3168:
3163:
3149:
3135:
3133:
3122:
3119:
3097:
3096:
3078:
3076:
3065:
3035:Sternberg (2004)
3032:
3025:
3023:
3022:
3017:
3012:
3010:
3002:
2985:
2983:
2981:
2980:
2975:
2966:
2965:
2964:
2963:
2962:
2957:
2933:
2889:
2887:
2876:
2861:
2859:
2858:
2853:
2842:
2841:
2832:
2830:
2819:
2811:
2809:
2798:
2787:
2782:
2775:
2774:
2764:
2734:
2732:
2731:
2726:
2721:
2715:
2698:
2639:
2637:
2626:
2595:
2593:
2592:
2587:
2582:
2580:
2572:
2564:
2562:
2560:
2559:
2554:
2545:
2544:
2543:
2542:
2541:
2536:
2512:
2507:
2505:
2497:
2489:
2487:
2486:
2477:
2476:
2471:
2459:
2457:
2437:
2436:
2435:
2416:
2413:
2408:
2384:
2382:
2374:
2366:
2364:
2363:
2354:
2353:
2348:
2336:
2334:
2326:
2325:
2324:
2315:
2314:
2295:
2292:
2287:
2271:
2266:
2217:
2215:
2214:
2209:
2198:
2190:
2189:
2188:
2187:
2179:
2161:
2156:
2138:
2136:
2128:
2120:
2117:
2112:
2100:
2099:
2081:
2079:
2068:
2066:
2065:
2004:
2002:
2001:
1996:
1991:
1983:
1982:
1981:
1980:
1972:
1952:
1944:
1943:
1942:
1941:
1925:
1913:
1911:
1903:
1895:
1880:
1878:
1877:
1872:
1867:
1866:
1854:
1852:
1844:
1836:
1834:
1833:
1815:
1811:
1810:
1809:
1771:
1769:
1758:
1756:
1755:
1737:
1736:
1715:
1713:
1702:
1688:
1687:
1669:
1667:
1659:
1651:
1631:
1627:
1625:
1624:
1619:
1612:
1611:
1610:
1596:
1593:
1589:
1588:
1587:
1586:
1581:
1564:
1563:
1562:
1561:
1551:
1532:
1528:
1524:
1506:
1486:
1472:
1465:
1461:
1454:
1452:
1451:
1446:
1444:
1443:
1422:
1420:
1409:
1407:
1406:
1351:
1342:
1329:
1313:
1307:
1291:
1245:
1236:
1234:
1233:
1228:
1223:
1221:
1220:
1215:
1206:
1205:
1204:
1203:
1202:
1197:
1173:
1171:
1170:
1152:
1151:
1131:
1127:
1106:
1104:
1103:
1098:
1081:
1049:
1048:
1037:
1033:
1032:
1031:
1013:
1011:
1000:
984:
983:
961:
929:
923:
919:
904:
892:
873:
867:
863:
856:
841:
829:
819:
815:
797:
787:
786:
784:
783:
775:
772:
754:
745:
730:
721:
719:
718:
713:
708:
707:
698:
697:
692:
680:
678:
658:
657:
656:
637:
634:
629:
611:
609:
608:
603:
594:
593:
592:
591:
590:
585:
561:
551:
548:
547:
545:
544:
536:
533:
512:
498:
487:
481:
480:
478:
477:
472:
469:
446:
440:
416:
412:
410:
409:
404:
399:
397:
389:
372:
370:
368:
367:
362:
353:
352:
351:
350:
349:
344:
320:
318:
317:
296:
295:
277:
275:
264:
244:
232:
226:
206:Magnus expansion
180:
174:The formula for
170:
150:
144:
133:
116:
114:
113:
108:
105:
88:
72:matrix Lie group
69:
63:
57:
51:
15599:
15598:
15594:
15593:
15592:
15590:
15589:
15588:
15559:
15558:
15534:
15520:
15507:
15469:online lectures
15443:10.2307/2974511
15378:
15344:
15326:
15287:
15282:
15281:
15277:Chapter 1.12.2.
15273:
15269:
15261:
15257:
15249:
15245:
15238:
15231:
15223:
15219:
15211:
15207:
15199:
15195:
15191:Corollary 3.44.
15187:
15183:
15175:
15171:
15163:
15159:
15150:
15146:
15138:
15134:
15126:
15117:
15110:
15106:
15099:
15095:
15088:
15084:
15076:
15069:
15062:
15058:
15053:
15048:
15047:
15041:Rossmann (2002)
15034:
15028:
15022:
15011:
15005:
15003:
14999:
14988:
14976:
14970:
14967:
14959:
14953:
14943:
14941:
14937:
14927:
14919:
14897:
14893:
14887:
14883:
14872:
14869:
14868:
14860:
14832:
14828:
14821:
14816:
14799:
14796:
14795:
14733:
14730:
14729:
14725:
14721:
14710:
14706:
14702:
14692:
14688:
14683:
14671:
14615:
14611:
14602:
14598:
14583:
14579:
14570:
14566:
14565:
14549:
14545:
14541:
14537:
14526:
14522:
14518:
14514:
14500:
14496:
14492:
14488:
14477:
14473:
14469:
14465:
14464:
14460:
14458:
14447:
14443:
14442:
14438:
14430:
14426:
14425:
14421:
14410:
14406:
14405:
14401:
14393:
14389:
14388:
14384:
14382:
14379:
14378:
14351:
14347:
14346:
14342:
14334:
14330:
14329:
14325:
14314:
14310:
14309:
14305:
14297:
14293:
14292:
14288:
14286:
14283:
14282:
14269:
14222:
14218:
14209:
14205:
14187:
14183:
14174:
14170:
14152:
14148:
14139:
14135:
14123:
14119:
14110:
14106:
14105:
14089:
14085:
14081:
14077:
14066:
14062:
14058:
14054:
14040:
14036:
14032:
14028:
14017:
14013:
14009:
14005:
14004:
14000:
13998:
13989:
13985:
13976:
13972:
13957:
13953:
13944:
13940:
13939:
13934:
13926:
13922:
13915:
13893:
13889:
13879:
13877:
13871:
13860:
13847:
13843:
13837:
13833:
13819:
13816:
13815:
13801:
13797:
13788:
13784:
13781:
13772:
13768:
13759:
13755:
13751:
13748:
13739:
13732:. That is, in (
13727:
13723:
13672:
13668:
13659:
13655:
13639:
13635:
13626:
13622:
13620:
13617:
13616:
13568:
13564:
13549:
13545:
13536:
13532:
13523:
13519:
13507:
13503:
13494:
13490:
13489:
13467:
13463:
13459:
13455:
13438:
13434:
13430:
13426:
13415:
13411:
13407:
13403:
13392:
13388:
13384:
13380:
13366:
13362:
13358:
13354:
13343:
13339:
13335:
13331:
13330:
13326:
13324:
13309:
13305:
13290:
13286:
13277:
13273:
13264:
13260:
13245:
13241:
13232:
13228:
13227:
13222:
13208:
13204:
13197:
13180:
13173:
13169:
13159:
13157:
13151:
13140:
13128:
13125:
13124:
13102:
13101:
13064:
13060:
13051:
13047:
13031:
13027:
13018:
13014:
13005:
13002:
13001:
12971:
12967:
12949:
12945:
12936:
12932:
12923:
12919:
12907:
12903:
12894:
12890:
12889:
12861:
12857:
12853:
12849:
12832:
12828:
12824:
12820:
12809:
12805:
12801:
12797:
12786:
12782:
12778:
12774:
12760:
12756:
12752:
12748:
12737:
12733:
12729:
12725:
12724:
12720:
12718:
12694:
12690:
12672:
12668:
12659:
12655:
12646:
12642:
12627:
12623:
12614:
12610:
12609:
12604:
12602:
12600:
12595:
12592:
12591:
12564:
12560:
12533:
12529:
12517:
12513:
12504:
12500:
12488:
12484:
12475:
12471:
12470:
12442:
12438:
12434:
12430:
12407:
12403:
12399:
12395:
12384:
12380:
12376:
12372:
12361:
12357:
12353:
12349:
12335:
12331:
12327:
12323:
12312:
12308:
12304:
12300:
12299:
12295:
12293:
12269:
12265:
12238:
12234:
12222:
12218:
12209:
12205:
12190:
12186:
12177:
12173:
12172:
12167:
12165:
12145:
12141:
12132:
12128:
12121:
12104:
12097:
12093:
12083:
12081:
12075:
12064:
12050:
12048:
12045:
12044:
12040:Write this as
12021:
12020:
11989:
11985:
11976:
11972:
11956:
11952:
11943:
11939:
11917:
11913:
11904:
11900:
11891:
11887:
11875:
11871:
11862:
11858:
11857:
11832:
11828:
11824:
11820:
11809:
11805:
11801:
11797:
11786:
11782:
11778:
11774:
11760:
11756:
11752:
11748:
11737:
11733:
11729:
11725:
11724:
11720:
11718:
11697:
11693:
11684:
11680:
11671:
11667:
11652:
11648:
11639:
11635:
11634:
11629:
11627:
11625:
11620:
11617:
11616:
11604:
11600:
11591:
11587:
11575:
11571:
11562:
11558:
11557:
11538:
11534:
11530:
11526:
11515:
11511:
11507:
11503:
11489:
11485:
11481:
11477:
11466:
11462:
11458:
11454:
11453:
11449:
11447:
11432:
11428:
11419:
11415:
11400:
11396:
11387:
11383:
11382:
11377:
11375:
11355:
11351:
11342:
11338:
11331:
11314:
11307:
11303:
11293:
11291:
11285:
11274:
11260:
11258:
11255:
11254:
11244:
11231:
11228:
11223:
11222:
11220:
11211:
11208:
11196:
11189:
11180:
11168:
11148:
11147:
11116:
11112:
11103:
11099:
11083:
11079:
11070:
11066:
11044:
11040:
11031:
11027:
11018:
11014:
11002:
10998:
10989:
10985:
10984:
10959:
10955:
10951:
10947:
10936:
10932:
10928:
10924:
10913:
10909:
10905:
10901:
10887:
10883:
10879:
10875:
10864:
10860:
10856:
10852:
10851:
10847:
10845:
10831:
10827:
10818:
10814:
10805:
10801:
10786:
10782:
10773:
10769:
10768:
10764:
10762:
10760:
10755:
10752:
10751:
10739:
10735:
10726:
10722:
10710:
10706:
10697:
10693:
10692:
10673:
10669:
10665:
10661:
10650:
10646:
10642:
10638:
10624:
10620:
10616:
10612:
10601:
10597:
10593:
10589:
10588:
10584:
10582:
10574:
10570:
10561:
10557:
10542:
10538:
10529:
10525:
10524:
10520:
10518:
10498:
10494:
10485:
10481:
10474:
10457:
10450:
10446:
10436:
10434:
10428:
10417:
10400:
10392:
10390:
10386:
10384:
10381:
10380:
10356:
10355:
10321:
10317:
10308:
10304:
10288:
10284:
10275:
10271:
10246:
10242:
10233:
10229:
10220:
10216:
10204:
10200:
10191:
10187:
10186:
10171:
10167:
10166:
10162:
10154:
10150:
10149:
10142:
10134:
10133:
10132:
10131:
10123:
10119:
10118:
10111:
10103:
10102:
10101:
10100:
10089:
10085:
10084:
10077:
10069:
10068:
10067:
10066:
10058:
10054:
10053:
10046:
10038:
10037:
10036:
10035:
10034:
10032:
10018:
10014:
10005:
10001:
9992:
9988:
9973:
9969:
9960:
9956:
9955:
9951:
9949:
9947:
9942:
9939:
9938:
9923:
9919:
9910:
9906:
9894:
9890:
9881:
9877:
9876:
9867:
9863:
9862:
9855:
9847:
9846:
9845:
9844:
9836:
9832:
9831:
9824:
9816:
9815:
9814:
9813:
9802:
9798:
9797:
9790:
9782:
9781:
9780:
9779:
9771:
9767:
9766:
9759:
9751:
9750:
9749:
9748:
9747:
9745:
9737:
9733:
9724:
9720:
9705:
9701:
9692:
9688:
9687:
9683:
9681:
9661:
9657:
9648:
9644:
9637:
9620:
9613:
9609:
9599:
9597:
9591:
9580:
9563:
9555:
9553:
9549:
9547:
9544:
9543:
9513:
9502:
9501:Now substitute
9486:
9482:
9473:
9464:
9457:
9447:
9444:
9436:
9433:
9384:
9380:
9371:
9367:
9351:
9347:
9338:
9334:
9318:
9314:
9305:
9301:
9289:
9285:
9276:
9272:
9271:
9262:
9258:
9257:
9253:
9245:
9241:
9240:
9236:
9225:
9221:
9220:
9216:
9208:
9204:
9203:
9199:
9198:
9196:
9188:
9184:
9177:
9155:
9151:
9141:
9139:
9133:
9122:
9104:
9100:
9094:
9090:
9089:
9085:
9071:
9068:
9067:
9028:
9007:
9000:
8996:
8990:
8986:
8985:
8983:
8977:
8942:
8937:
8933:
8932:
8914:
8910:
8900:
8898:
8892:
8881:
8868:
8847:
8841:
8837:
8835:
8829:
8818:
8804:
8798:
8794:
8792:
8786:
8775:
8770:
8766:
8765:
8747:
8743:
8733:
8731:
8725:
8714:
8701:
8683:
8679:
8673:
8669:
8668:
8664:
8663:
8662:
8644:
8640:
8630:
8628:
8622:
8611:
8593:
8589:
8583:
8579:
8578:
8574:
8566:
8563:
8562:
8533:
8527:
8523:
8521:
8515:
8504:
8491:
8487:
8481:
8471:
8454:
8453:
8435:
8431:
8421:
8419:
8413:
8402:
8378:
8375:
8374:
8367:
8363:
8349:
8303:
8295:
8294:
8293:
8289:
8283:
8261:
8253:
8252:
8251:
8247:
8236:
8228:
8227:
8226:
8222:
8221:
8217:
8216:
8204:
8182:
8174:
8173:
8172:
8168:
8157:
8149:
8148:
8147:
8143:
8142:
8138:
8137:
8136:
8132:
8119:
8112:
8108:
8098:
8096:
8090:
8079:
8062:
8054:
8052:
8050:
8047:
8046:
8030:
8021:
8013:Rossmann (2002)
8009:
7964:
7960:
7951:
7947:
7931:
7927:
7918:
7914:
7898:
7894:
7885:
7881:
7869:
7865:
7856:
7852:
7851:
7836:
7832:
7828:
7824:
7813:
7809:
7805:
7801:
7787:
7783:
7779:
7775:
7764:
7760:
7756:
7752:
7748:
7746:
7737:
7733:
7724:
7720:
7705:
7701:
7692:
7688:
7687:
7682:
7674:
7670:
7663:
7641:
7637:
7627:
7625:
7619:
7608:
7596:
7593:
7592:
7579:
7575:
7561:
7555:
7522:
7514:
7513:
7508:
7504:
7497:
7493:
7478:
7459:
7451:
7450:
7446:
7442:
7434:
7426:
7425:
7420:
7416:
7415:
7411:
7410:
7395:
7390:
7368:
7364:
7354:
7352:
7346:
7335:
7318:
7301:
7299:
7284:
7279:
7258:
7255:
7254:
7202:
7194:
7193:
7188:
7184:
7177:
7173:
7158:
7139:
7131:
7130:
7129:
7125:
7124:
7120:
7119:
7101:
7097:
7087:
7085:
7079:
7068:
7053:
7051:
7048:
7047:
7039:Mercator series
7021:
7020:
6990:
6982:
6981:
6965:
6961:
6946:
6938:
6937:
6907:
6903:
6893:
6891:
6885:
6874:
6861:
6860:
6834:
6826:
6825:
6821:
6814:
6810:
6803:
6799:
6775:
6767:
6766:
6762:
6755:
6751:
6738:
6731:
6727:
6723:
6719:
6717:
6714:
6713:
6677:
6669:
6668:
6663:
6659:
6652:
6648:
6628:
6620:
6619:
6618:
6614:
6613:
6607:
6599:
6598:
6596:
6571:
6563:
6562:
6554:
6550:
6549:
6545:
6531:
6523:
6522:
6518:
6514:
6507:
6501:
6493:
6492:
6490:
6479:
6477:
6474:
6473:
6433:
6425:
6424:
6416:
6412:
6399:
6383:
6379:
6375:
6373:
6355:
6351:
6349:
6346:
6345:
6316:
6312:
6303:
6299:
6281:
6277:
6275:
6272:
6271:
6230:
6213:
6209:
6203:
6197:
6186:
6136:
6131:
6130:
6125:
6121:
6110:
6106:
6105:
6101:
6100:
6096:
6087:
6082:
6077:
6073:
6017:
6014:
6013:
5973:
5965:
5964:
5960:
5956:
5948:
5940:
5939:
5938:
5934:
5933:
5929:
5906:
5904:
5901:
5900:
5875:
5867:
5866:
5862:
5858:
5850:
5842:
5841:
5840:
5836:
5825:
5817:
5816:
5815:
5811:
5809:
5806:
5805:
5792:
5788:
5750:
5746:
5712:
5699:
5695:
5685:
5683:
5677:
5666:
5640:
5626:
5624:
5590:
5582:
5581:
5580:
5576:
5572:
5552:
5544:
5543:
5539:
5535:
5528:
5522:
5514:
5513:
5511:
5491:
5489:
5486:
5485:
5448:
5440:
5432:
5431:
5422:
5414:
5413:
5409:
5405:
5398:
5396:
5388:
5385:
5384:
5343:
5335:
5327:
5326:
5317:
5309:
5308:
5304:
5300:
5293:
5291:
5254:
5249:
5220:
5217:
5216:
5198:(1) = log( exp
5194:
5168:
5164:
5158:
5154:
5136:
5132:
5130:
5127:
5126:
5112:
5109:
5103:
5092:
5089:
5080:
5063:
5057:
5050:
5046:
5039:
5035:
5028:
5021:
4915:
4911:
4902:
4898:
4896:
4893:
4892:
4883:
4877:
4873:
4870:
4861:
4858:
4849:
4840:
4832:
4829:
4823:
4820:
4811:
4803:
4771:
4767:
4758:
4754:
4736:
4732:
4723:
4719:
4710:
4706:
4691:
4687:
4681:
4673:
4672:
4670:
4667:
4666:
4660:
4654:
4636:
4633:
4624:
4616:
4613:
4605:
4596:
4590:
4581:
4578:
4570:
4560:
4557:
4549:
4520:
4516:
4510:
4506:
4497:
4493:
4488:
4485:
4484:
4475:
4469:
4466:
4458:
4455:
4447:
4441:
4435:
4432:
4426:
4355:
4351:
4349:
4346:
4345:
4335:
4327:
4319:
4316:
4313:
4304:
4303:
4301:
4300:
4297:
4291:
4288:
4280:
4252:
4248:
4236:
4232:
4228:
4224:
4217:
4215:
4213:
4210:
4209:
4199:
4193:
4190:
4187:
4181:
4180:
4178:
4177:
4174:
4165:
4155:
4152:
4145:
4144:
4142:
4133:
4127:
4124:
4116:
4112:
4100:
4089:
4083:
4072:
4066:
4065:as follows. If
4063:
4057:
4050:
4044:
4041:
4038:
4032:
4031:
4029:
4028:
4006:
3998:
3997:
3987:
3983:
3979:
3978:
3974:
3967:
3965:
3963:
3960:
3959:
3947:
3939:
3933:
3927:
3921:
3915:
3909:
3895:
3891:
3884:
3879:
3860:
3859:
3843:
3835:
3833:
3825:
3817:
3816:
3807:
3799:
3798:
3794:
3790:
3783:
3781:
3775:
3771:
3760:
3743:
3735:
3734:
3730:
3726:
3720:
3715:
3705:
3701:
3692:
3691:
3677:
3663:
3659:
3658:
3650:
3649:
3643:
3638:
3628:
3624:
3606:
3602:
3594:
3573:
3569:
3563:
3558:
3547:
3532:
3528:
3518:
3513:
3509:
3507:
3504:
3503:
3496:
3482:
3479:
3474:
3473:
3471:
3461:
3457:
3449:
3439:
3436:
3430:
3429:
3427:
3421:
3415:
3401:
3390:
3373:
3372:
3354:
3330:
3328:
3321:
3317:
3316:
3306:
3289:
3287:
3277:
3265:
3241:
3239:
3232:
3228:
3227:
3221:
3210:
3194:
3181:
3180:
3174:
3150:
3148:
3141:
3137:
3136:
3126:
3121:
3109:
3098:
3083:
3079:
3069:
3064:
3060:
3058:
3055:
3054:
3043:
3030:
3003:
2986:
2984:
2976:
2968:
2967:
2958:
2950:
2949:
2945:
2941:
2934:
2932:
2880:
2875:
2873:
2870:
2869:
2837:
2833:
2823:
2818:
2802:
2797:
2770:
2766:
2765:
2763:
2746:
2743:
2742:
2714:
2691:
2630:
2625:
2623:
2620:
2619:
2613:
2601:Rossmann (2002)
2573:
2565:
2563:
2555:
2547:
2546:
2537:
2529:
2528:
2524:
2520:
2513:
2511:
2498:
2490:
2488:
2482:
2478:
2472:
2464:
2463:
2438:
2431:
2427:
2417:
2415:
2409:
2398:
2375:
2367:
2365:
2359:
2355:
2349:
2341:
2340:
2327:
2320:
2316:
2310:
2306:
2296:
2294:
2288:
2277:
2267:
2262:
2235:
2232:
2231:
2191:
2180:
2172:
2171:
2167:
2163:
2157:
2152:
2129:
2121:
2119:
2113:
2108:
2086:
2082:
2072:
2067:
2049:
2045:
2022:
2019:
2018:
1984:
1973:
1965:
1964:
1960:
1956:
1945:
1931:
1927:
1926:
1918:
1917:
1904:
1896:
1894:
1892:
1889:
1888:
1859:
1855:
1845:
1837:
1835:
1823:
1819:
1793:
1789:
1776:
1772:
1762:
1757:
1745:
1741:
1720:
1716:
1706:
1701:
1677:
1673:
1660:
1652:
1650:
1648:
1645:
1644:
1633:
1606:
1605:
1582:
1574:
1573:
1572:
1568:
1557:
1553:
1552:
1544:
1543:
1541:
1538:
1537:
1530:
1526:
1508:
1498:
1492:
1482:
1467:
1463:
1459:
1427:
1423:
1413:
1408:
1387:
1383:
1360:
1357:
1356:
1347:
1340:
1336:
1324:
1315:
1309:
1302:
1293:
1290:
1281:
1274:
1267:
1260:
1216:
1208:
1207:
1198:
1190:
1189:
1185:
1181:
1174:
1172:
1166:
1162:
1147:
1143:
1138:
1135:
1134:
1111:
1074:
1038:
1018:
1014:
1004:
999:
998:
995:
994:
979:
975:
970:
967:
966:
960:
949:
940:
931:
925:
921:
914:
910:To compute the
908:
894:
879:
869:
865:
861:
855:
843:
831:
825:
817:
813:
795:
782:
776:
773:
770:
764:
763:
761:
760:
750:
741:
703:
699:
693:
685:
684:
659:
652:
648:
638:
636:
630:
619:
604:
596:
595:
586:
578:
577:
573:
569:
562:
560:
558:
555:
554:
543:
537:
534:
531:
525:
524:
522:
521:
506:
500:
497:
491:
483:
482:. The argument
473:
470:
460:
459:
457:
448:
442:
427:
418:
390:
373:
371:
363:
355:
354:
345:
337:
336:
332:
328:
321:
319:
304:
300:
282:
278:
268:
263:
261:
258:
257:
251:
242:
228:
220:
183:Friedrich Schur
175:
158:
146:
135:
109:
106:
101:
100:
98:
97:
79:
65:
59:
53:
52:of a Lie group
47:
41:exponential map
17:
12:
11:
5:
15597:
15587:
15586:
15581:
15576:
15571:
15557:
15556:
15545:(2): 175â186,
15524:
15506:
15505:External links
15503:
15502:
15501:
15483:(4): 962â982.
15472:
15454:
15437:(9): 818â819,
15426:
15408:(4): 601â612.
15397:
15381:
15376:
15363:
15347:
15342:
15329:
15325:978-3319134666
15324:
15311:
15300:(in Russian),
15286:
15283:
15280:
15279:
15275:Sternberg 2004
15267:
15255:
15243:
15229:
15225:Sternberg 2004
15217:
15205:
15201:Sternberg 2004
15193:
15181:
15169:
15165:Sternberg 2004
15157:
15144:
15132:
15115:
15104:
15093:
15082:
15067:
15055:
15054:
15052:
15049:
15046:
15045:
14997:
14984:
14963:
14935:
14923:
14917:
14916:
14905:
14900:
14896:
14890:
14886:
14882:
14879:
14876:
14858:
14857:
14846:
14838:
14835:
14831:
14827:
14824:
14820:
14815:
14812:
14809:
14806:
14803:
14791:
14790:
14779:
14776:
14773:
14770:
14767:
14764:
14761:
14758:
14755:
14752:
14749:
14746:
14743:
14740:
14737:
14726:It holds that
14719:
14685:
14684:
14682:
14679:
14678:
14677:
14670:
14667:
14649:
14648:
14639:
14637:
14626:
14618:
14614:
14610:
14605:
14601:
14597:
14594:
14591:
14586:
14582:
14578:
14573:
14569:
14563:
14557:
14552:
14548:
14544:
14540:
14534:
14529:
14525:
14521:
14517:
14513:
14508:
14503:
14499:
14495:
14491:
14485:
14480:
14476:
14472:
14468:
14463:
14457:
14450:
14446:
14441:
14433:
14429:
14424:
14420:
14413:
14409:
14404:
14396:
14392:
14387:
14370:
14369:
14354:
14350:
14345:
14337:
14333:
14328:
14324:
14317:
14313:
14308:
14300:
14296:
14291:
14257:
14254:
14251:
14248:
14245:
14242:
14236:
14233:
14230:
14225:
14221:
14217:
14212:
14208:
14201:
14198:
14195:
14190:
14186:
14182:
14177:
14173:
14166:
14160:
14155:
14151:
14147:
14142:
14138:
14134:
14131:
14126:
14122:
14118:
14113:
14109:
14103:
14097:
14092:
14088:
14084:
14080:
14074:
14069:
14065:
14061:
14057:
14053:
14048:
14043:
14039:
14035:
14031:
14025:
14020:
14016:
14012:
14008:
14003:
13992:
13988:
13984:
13979:
13975:
13971:
13968:
13965:
13960:
13956:
13952:
13947:
13943:
13938:
13929:
13925:
13921:
13918:
13914:
13908:
13902:
13899:
13896:
13892:
13888:
13885:
13882:
13874:
13869:
13866:
13863:
13859:
13855:
13850:
13846:
13840:
13836:
13832:
13829:
13826:
13823:
13813:
13792:
13776:
13763:
13743:
13711:
13708:
13705:
13702:
13699:
13696:
13693:
13690:
13686:
13683:
13680:
13675:
13671:
13667:
13662:
13658:
13653:
13650:
13647:
13642:
13638:
13634:
13629:
13625:
13611:
13610:
13601:
13599:
13588:
13582:
13577:
13574:
13571:
13567:
13563:
13558:
13555:
13552:
13548:
13544:
13539:
13535:
13531:
13526:
13522:
13518:
13515:
13510:
13506:
13502:
13497:
13493:
13487:
13481:
13476:
13473:
13470:
13466:
13462:
13458:
13452:
13447:
13444:
13441:
13437:
13433:
13429:
13423:
13418:
13414:
13410:
13406:
13400:
13395:
13391:
13387:
13383:
13379:
13374:
13369:
13365:
13361:
13357:
13351:
13346:
13342:
13338:
13334:
13329:
13318:
13315:
13312:
13308:
13304:
13299:
13296:
13293:
13289:
13285:
13280:
13276:
13272:
13267:
13263:
13259:
13256:
13253:
13248:
13244:
13240:
13235:
13231:
13226:
13217:
13214:
13211:
13207:
13203:
13200:
13196:
13189:
13186:
13183:
13176:
13172:
13168:
13165:
13162:
13154:
13149:
13146:
13143:
13139:
13135:
13132:
13116:
13115:
13100:
13097:
13094:
13091:
13088:
13085:
13082:
13078:
13075:
13072:
13067:
13063:
13059:
13054:
13050:
13045:
13042:
13039:
13034:
13030:
13026:
13021:
13017:
13013:
13010:
13008:
13006:
13003:
13000:
12994:
12991:
12988:
12985:
12980:
12977:
12974:
12970:
12966:
12963:
12958:
12955:
12952:
12948:
12944:
12939:
12935:
12931:
12926:
12922:
12918:
12915:
12910:
12906:
12902:
12897:
12893:
12887:
12881:
12878:
12875:
12870:
12867:
12864:
12860:
12856:
12852:
12846:
12841:
12838:
12835:
12831:
12827:
12823:
12817:
12812:
12808:
12804:
12800:
12794:
12789:
12785:
12781:
12777:
12773:
12768:
12763:
12759:
12755:
12751:
12745:
12740:
12736:
12732:
12728:
12723:
12714:
12711:
12708:
12703:
12700:
12697:
12693:
12689:
12686:
12681:
12678:
12675:
12671:
12667:
12662:
12658:
12654:
12649:
12645:
12641:
12638:
12635:
12630:
12626:
12622:
12617:
12613:
12608:
12603:
12599:
12594:
12593:
12587:
12584:
12581:
12578:
12573:
12570:
12567:
12563:
12559:
12556:
12553:
12550:
12547:
12542:
12539:
12536:
12532:
12528:
12525:
12520:
12516:
12512:
12507:
12503:
12499:
12496:
12491:
12487:
12483:
12478:
12474:
12468:
12462:
12459:
12456:
12451:
12448:
12445:
12441:
12437:
12433:
12427:
12424:
12421:
12416:
12413:
12410:
12406:
12402:
12398:
12392:
12387:
12383:
12379:
12375:
12369:
12364:
12360:
12356:
12352:
12348:
12343:
12338:
12334:
12330:
12326:
12320:
12315:
12311:
12307:
12303:
12298:
12289:
12286:
12283:
12278:
12275:
12272:
12268:
12264:
12261:
12258:
12255:
12252:
12247:
12244:
12241:
12237:
12233:
12230:
12225:
12221:
12217:
12212:
12208:
12204:
12201:
12198:
12193:
12189:
12185:
12180:
12176:
12171:
12166:
12162:
12159:
12154:
12151:
12148:
12144:
12140:
12135:
12131:
12127:
12124:
12120:
12113:
12110:
12107:
12100:
12096:
12092:
12089:
12086:
12078:
12073:
12070:
12067:
12063:
12059:
12056:
12053:
12052:
12038:
12037:
12026:
12019:
12016:
12013:
12010:
12007:
12003:
12000:
11997:
11992:
11988:
11984:
11979:
11975:
11970:
11967:
11964:
11959:
11955:
11951:
11946:
11942:
11937:
11931:
11926:
11923:
11920:
11916:
11912:
11907:
11903:
11899:
11894:
11890:
11886:
11883:
11878:
11874:
11870:
11865:
11861:
11855:
11851:
11846:
11841:
11838:
11835:
11831:
11827:
11823:
11817:
11812:
11808:
11804:
11800:
11794:
11789:
11785:
11781:
11777:
11773:
11768:
11763:
11759:
11755:
11751:
11745:
11740:
11736:
11732:
11728:
11723:
11714:
11711:
11706:
11703:
11700:
11696:
11692:
11687:
11683:
11679:
11674:
11670:
11666:
11663:
11660:
11655:
11651:
11647:
11642:
11638:
11633:
11628:
11624:
11619:
11618:
11612:
11607:
11603:
11599:
11594:
11590:
11586:
11583:
11578:
11574:
11570:
11565:
11561:
11555:
11551:
11546:
11541:
11537:
11533:
11529:
11523:
11518:
11514:
11510:
11506:
11502:
11497:
11492:
11488:
11484:
11480:
11474:
11469:
11465:
11461:
11457:
11452:
11443:
11440:
11435:
11431:
11427:
11422:
11418:
11414:
11411:
11408:
11403:
11399:
11395:
11390:
11386:
11381:
11376:
11372:
11369:
11364:
11361:
11358:
11354:
11350:
11345:
11341:
11337:
11334:
11330:
11323:
11320:
11317:
11310:
11306:
11302:
11299:
11296:
11288:
11283:
11280:
11277:
11273:
11269:
11266:
11263:
11262:
11204:
11184:
11165:
11164:
11153:
11146:
11143:
11140:
11137:
11134:
11130:
11127:
11124:
11119:
11115:
11111:
11106:
11102:
11097:
11094:
11091:
11086:
11082:
11078:
11073:
11069:
11064:
11058:
11053:
11050:
11047:
11043:
11039:
11034:
11030:
11026:
11021:
11017:
11013:
11010:
11005:
11001:
10997:
10992:
10988:
10982:
10978:
10973:
10968:
10965:
10962:
10958:
10954:
10950:
10944:
10939:
10935:
10931:
10927:
10921:
10916:
10912:
10908:
10904:
10900:
10895:
10890:
10886:
10882:
10878:
10872:
10867:
10863:
10859:
10855:
10850:
10840:
10837:
10834:
10830:
10826:
10821:
10817:
10813:
10808:
10804:
10800:
10797:
10794:
10789:
10785:
10781:
10776:
10772:
10767:
10763:
10759:
10754:
10753:
10747:
10742:
10738:
10734:
10729:
10725:
10721:
10718:
10713:
10709:
10705:
10700:
10696:
10690:
10686:
10681:
10676:
10672:
10668:
10664:
10658:
10653:
10649:
10645:
10641:
10637:
10632:
10627:
10623:
10619:
10615:
10609:
10604:
10600:
10596:
10592:
10587:
10577:
10573:
10569:
10564:
10560:
10556:
10553:
10550:
10545:
10541:
10537:
10532:
10528:
10523:
10519:
10515:
10512:
10507:
10504:
10501:
10497:
10493:
10488:
10484:
10480:
10477:
10473:
10466:
10463:
10460:
10453:
10449:
10445:
10442:
10439:
10431:
10426:
10423:
10420:
10416:
10412:
10406:
10403:
10398:
10395:
10389:
10388:
10370:
10369:
10354:
10351:
10348:
10345:
10342:
10339:
10335:
10332:
10329:
10324:
10320:
10316:
10311:
10307:
10302:
10299:
10296:
10291:
10287:
10283:
10278:
10274:
10269:
10266:
10260:
10255:
10252:
10249:
10245:
10241:
10236:
10232:
10228:
10223:
10219:
10215:
10212:
10207:
10203:
10199:
10194:
10190:
10180:
10177:
10174:
10170:
10165:
10157:
10153:
10145:
10140:
10137:
10126:
10122:
10114:
10109:
10106:
10099:
10092:
10088:
10080:
10075:
10072:
10061:
10057:
10049:
10044:
10041:
10027:
10024:
10021:
10017:
10013:
10008:
10004:
10000:
9995:
9991:
9987:
9984:
9981:
9976:
9972:
9968:
9963:
9959:
9954:
9950:
9946:
9941:
9940:
9937:
9931:
9926:
9922:
9918:
9913:
9909:
9905:
9902:
9897:
9893:
9889:
9884:
9880:
9870:
9866:
9858:
9853:
9850:
9839:
9835:
9827:
9822:
9819:
9812:
9805:
9801:
9793:
9788:
9785:
9774:
9770:
9762:
9757:
9754:
9740:
9736:
9732:
9727:
9723:
9719:
9716:
9713:
9708:
9704:
9700:
9695:
9691:
9686:
9682:
9678:
9675:
9670:
9667:
9664:
9660:
9656:
9651:
9647:
9643:
9640:
9636:
9629:
9626:
9623:
9616:
9612:
9608:
9605:
9602:
9594:
9589:
9586:
9583:
9579:
9575:
9569:
9566:
9561:
9558:
9552:
9551:
9478:
9469:
9462:
9455:
9440:
9417:
9414:
9411:
9408:
9405:
9402:
9398:
9395:
9392:
9387:
9383:
9379:
9374:
9370:
9365:
9362:
9359:
9354:
9350:
9346:
9341:
9337:
9332:
9326:
9321:
9317:
9313:
9308:
9304:
9300:
9297:
9292:
9288:
9284:
9279:
9275:
9265:
9261:
9256:
9248:
9244:
9239:
9235:
9228:
9224:
9219:
9211:
9207:
9202:
9191:
9187:
9183:
9180:
9176:
9170:
9164:
9161:
9158:
9154:
9150:
9147:
9144:
9136:
9131:
9128:
9125:
9121:
9117:
9113:
9107:
9103:
9097:
9093:
9088:
9084:
9081:
9078:
9075:
9065:
9059:
9058:
9049:
9047:
9036:
9031:
9026:
9019:
9016:
9013:
9010:
9003:
8999:
8993:
8989:
8980:
8975:
8972:
8969:
8966:
8963:
8960:
8957:
8954:
8951:
8948:
8945:
8941:
8936:
8929:
8923:
8920:
8917:
8913:
8909:
8906:
8903:
8895:
8890:
8887:
8884:
8880:
8876:
8871:
8866:
8862:
8859:
8853:
8850:
8844:
8840:
8832:
8827:
8824:
8821:
8817:
8810:
8807:
8801:
8797:
8789:
8784:
8781:
8778:
8774:
8769:
8762:
8756:
8753:
8750:
8746:
8742:
8739:
8736:
8728:
8723:
8720:
8717:
8713:
8709:
8704:
8698:
8694:
8691:
8686:
8682:
8676:
8672:
8667:
8659:
8653:
8650:
8647:
8643:
8639:
8636:
8633:
8625:
8620:
8617:
8614:
8610:
8606:
8602:
8596:
8592:
8586:
8582:
8577:
8573:
8570:
8554:
8553:
8539:
8536:
8530:
8526:
8518:
8513:
8510:
8507:
8503:
8499:
8494:
8490:
8479:
8474:
8469:
8466:
8463:
8460:
8457:
8450:
8444:
8441:
8438:
8434:
8430:
8427:
8424:
8416:
8411:
8408:
8405:
8401:
8397:
8394:
8391:
8388:
8385:
8382:
8344:
8343:
8334:
8332:
8320:
8316:
8309:
8306:
8301:
8298:
8292:
8286:
8281:
8277:
8274:
8267:
8264:
8259:
8256:
8250:
8242:
8239:
8234:
8231:
8225:
8220:
8215:
8212:
8207:
8202:
8198:
8195:
8188:
8185:
8180:
8177:
8171:
8163:
8160:
8155:
8152:
8146:
8141:
8135:
8128:
8125:
8122:
8115:
8111:
8107:
8104:
8101:
8093:
8088:
8085:
8082:
8078:
8074:
8068:
8065:
8060:
8057:
8020:
8017:
7997:
7994:
7991:
7988:
7985:
7982:
7978:
7975:
7972:
7967:
7963:
7959:
7954:
7950:
7945:
7942:
7939:
7934:
7930:
7926:
7921:
7917:
7912:
7906:
7901:
7897:
7893:
7888:
7884:
7880:
7877:
7872:
7868:
7864:
7859:
7855:
7849:
7844:
7839:
7835:
7831:
7827:
7821:
7816:
7812:
7808:
7804:
7800:
7795:
7790:
7786:
7782:
7778:
7772:
7767:
7763:
7759:
7755:
7751:
7740:
7736:
7732:
7727:
7723:
7719:
7716:
7713:
7708:
7704:
7700:
7695:
7691:
7686:
7677:
7673:
7669:
7666:
7662:
7656:
7650:
7647:
7644:
7640:
7636:
7633:
7630:
7622:
7617:
7614:
7611:
7607:
7603:
7600:
7590:
7552:
7551:
7540:
7536:
7532:
7525:
7520:
7517:
7511:
7507:
7503:
7500:
7496:
7487:
7484:
7481:
7476:
7472:
7469:
7462:
7457:
7454:
7449:
7445:
7437:
7432:
7429:
7423:
7419:
7414:
7406:
7403:
7398:
7393:
7389:
7383:
7377:
7374:
7371:
7367:
7363:
7360:
7357:
7349:
7344:
7341:
7338:
7334:
7330:
7324:
7321:
7316:
7313:
7310:
7307:
7304:
7295:
7292:
7287:
7282:
7278:
7274:
7271:
7268:
7265:
7262:
7246:
7245:
7236:
7234:
7223:
7216:
7212:
7205:
7200:
7197:
7191:
7187:
7183:
7180:
7176:
7167:
7164:
7161:
7156:
7152:
7149:
7142:
7137:
7134:
7128:
7123:
7116:
7110:
7107:
7104:
7100:
7096:
7093:
7090:
7082:
7077:
7074:
7071:
7067:
7063:
7059:
7056:
7035:
7034:
7019:
7010:
7007:
7004:
7001:
6998:
6993:
6988:
6985:
6980:
6976:
6968:
6964:
6960:
6957:
6954:
6949:
6944:
6941:
6936:
6933:
6930:
6927:
6922:
6916:
6913:
6910:
6906:
6902:
6899:
6896:
6888:
6883:
6880:
6877:
6873:
6869:
6866:
6864:
6862:
6858:
6853:
6849:
6846:
6842:
6837:
6832:
6829:
6824:
6820:
6817:
6813:
6809:
6806:
6802:
6798:
6795:
6792:
6788:
6783:
6778:
6773:
6770:
6765:
6761:
6758:
6754:
6750:
6747:
6744:
6741:
6739:
6734:
6730:
6726:
6722:
6721:
6707:
6706:
6695:
6691:
6687:
6680:
6675:
6672:
6666:
6662:
6658:
6655:
6651:
6641:
6638:
6631:
6626:
6623:
6617:
6610:
6605:
6602:
6595:
6591:
6587:
6584:
6581:
6574:
6569:
6566:
6560:
6557:
6553:
6548:
6534:
6529:
6526:
6521:
6517:
6513:
6510:
6504:
6499:
6496:
6489:
6485:
6482:
6467:
6466:
6455:
6449:
6446:
6443:
6436:
6431:
6428:
6422:
6419:
6415:
6411:
6405:
6402:
6395:
6392:
6389:
6386:
6382:
6378:
6370:
6367:
6364:
6361:
6358:
6354:
6339:
6338:
6327:
6322:
6319:
6315:
6309:
6306:
6302:
6298:
6293:
6290:
6287:
6284:
6280:
6229:
6226:
6179:
6178:
6167:
6164:
6159:
6155:
6152:
6147:
6139:
6128:
6124:
6113:
6109:
6104:
6099:
6095:
6090:
6085:
6081:
6076:
6072:
6069:
6066:
6063:
6060:
6057:
6054:
6051:
6048:
6045:
6042:
6039:
6036:
6033:
6030:
6027:
6024:
6021:
6003:
6002:
5991:
5988:
5984:
5976:
5971:
5968:
5963:
5959:
5951:
5946:
5943:
5937:
5932:
5928:
5925:
5922:
5919:
5916:
5912:
5909:
5894:
5893:
5878:
5873:
5870:
5865:
5861:
5853:
5848:
5845:
5839:
5835:
5828:
5823:
5820:
5814:
5785:
5784:
5773:
5770:
5767:
5764:
5761:
5758:
5753:
5749:
5745:
5742:
5739:
5736:
5730:
5727:
5724:
5721:
5718:
5715:
5708:
5705:
5702:
5698:
5694:
5691:
5688:
5680:
5675:
5672:
5669:
5665:
5661:
5658:
5655:
5649:
5646:
5643:
5638:
5635:
5632:
5629:
5623:
5620:
5617:
5614:
5611:
5607:
5604:
5600:
5593:
5588:
5585:
5579:
5575:
5571:
5568:
5565:
5555:
5550:
5547:
5542:
5538:
5534:
5531:
5525:
5520:
5517:
5510:
5507:
5504:
5501:
5497:
5494:
5479:
5478:
5467:
5464:
5461:
5458:
5454:
5451:
5443:
5438:
5435:
5425:
5420:
5417:
5412:
5408:
5404:
5401:
5395:
5392:
5374:
5373:
5362:
5359:
5356:
5353:
5349:
5346:
5338:
5333:
5330:
5320:
5315:
5312:
5307:
5303:
5299:
5296:
5290:
5287:
5284:
5281:
5278:
5275:
5272:
5269:
5266:
5260:
5257:
5253:
5248:
5245:
5242:
5239:
5236:
5233:
5230:
5227:
5224:
5191:
5190:
5179:
5174:
5171:
5167:
5161:
5157:
5153:
5148:
5145:
5142:
5139:
5135:
5105:Main article:
5102:
5099:
5085:
5026:
5018:
5017:
5006:
5003:
5000:
4997:
4994:
4991:
4988:
4985:
4982:
4979:
4976:
4973:
4969:
4966:
4963:
4960:
4957:
4954:
4951:
4948:
4945:
4942:
4938:
4935:
4932:
4929:
4926:
4923:
4918:
4914:
4910:
4905:
4901:
4866:
4854:
4845:
4836:
4825:
4816:
4807:
4800:
4799:
4788:
4785:
4782:
4777:
4774:
4770:
4764:
4761:
4757:
4753:
4750:
4747:
4742:
4739:
4735:
4731:
4726:
4722:
4718:
4713:
4709:
4705:
4702:
4697:
4694:
4690:
4684:
4679:
4676:
4656:
4629:
4620:
4609:
4601:
4592:
4586:
4574:
4553:
4546:
4545:
4534:
4531:
4528:
4523:
4519:
4513:
4509:
4505:
4500:
4496:
4492:
4462:
4451:
4428:
4423:
4422:
4411:
4408:
4405:
4402:
4399:
4396:
4393:
4390:
4387:
4384:
4381:
4378:
4375:
4372:
4369:
4366:
4361:
4358:
4354:
4334:one sees that
4323:
4309:
4293:
4284:
4277:
4276:
4265:
4258:
4255:
4251:
4242:
4239:
4235:
4231:
4227:
4223:
4220:
4195:
4183:
4170:
4120:
4108:
4059:
4046:
4034:
4025:
4024:
4009:
4004:
4001:
3990:
3986:
3982:
3977:
3973:
3970:
3943:
3883:
3880:
3878:
3875:
3874:
3873:
3858:
3849:
3846:
3841:
3838:
3828:
3823:
3820:
3810:
3805:
3802:
3797:
3793:
3789:
3786:
3778:
3774:
3770:
3766:
3763:
3759:
3756:
3749:
3746:
3741:
3738:
3733:
3729:
3723:
3718:
3714:
3708:
3704:
3700:
3697:
3695:
3693:
3690:
3687:
3683:
3680:
3672:
3669:
3666:
3662:
3656:
3653:
3646:
3641:
3637:
3631:
3627:
3623:
3620:
3617:
3612:
3609:
3605:
3600:
3597:
3591:
3588:
3585:
3582:
3579:
3576:
3572:
3566:
3561:
3557:
3553:
3550:
3548:
3544:
3541:
3538:
3535:
3531:
3524:
3521:
3517:
3512:
3511:
3387:
3386:
3371:
3363:
3360:
3357:
3352:
3346:
3342:
3339:
3336:
3333:
3327:
3324:
3320:
3312:
3309:
3304:
3301:
3298:
3295:
3292:
3284:
3281:
3274:
3271:
3268:
3263:
3257:
3253:
3250:
3247:
3244:
3238:
3235:
3231:
3224:
3219:
3216:
3213:
3209:
3203:
3200:
3197:
3193:
3189:
3186:
3184:
3182:
3177:
3172:
3166:
3162:
3159:
3156:
3153:
3147:
3144:
3140:
3132:
3129:
3125:
3118:
3115:
3112:
3108:
3104:
3101:
3099:
3095:
3092:
3089:
3086:
3082:
3075:
3072:
3068:
3063:
3062:
3042:
3039:
3027:
3026:
3015:
3009:
3006:
3001:
2998:
2995:
2992:
2989:
2979:
2974:
2971:
2961:
2956:
2953:
2948:
2944:
2940:
2937:
2931:
2928:
2925:
2922:
2919:
2916:
2913:
2910:
2907:
2904:
2901:
2898:
2895:
2892:
2886:
2883:
2879:
2863:
2862:
2851:
2848:
2845:
2840:
2836:
2829:
2826:
2822:
2817:
2814:
2808:
2805:
2801:
2796:
2793:
2790:
2785:
2781:
2778:
2773:
2769:
2762:
2759:
2756:
2753:
2750:
2736:
2735:
2724:
2720:
2713:
2710:
2707:
2704:
2701:
2697:
2694:
2690:
2687:
2684:
2681:
2678:
2675:
2672:
2669:
2666:
2663:
2660:
2657:
2654:
2651:
2648:
2645:
2642:
2636:
2633:
2629:
2612:
2609:
2597:
2596:
2585:
2579:
2576:
2571:
2568:
2558:
2553:
2550:
2540:
2535:
2532:
2527:
2523:
2519:
2516:
2510:
2504:
2501:
2496:
2493:
2485:
2481:
2475:
2470:
2467:
2462:
2456:
2453:
2450:
2447:
2444:
2441:
2434:
2430:
2426:
2423:
2420:
2412:
2407:
2404:
2401:
2397:
2393:
2390:
2387:
2381:
2378:
2373:
2370:
2362:
2358:
2352:
2347:
2344:
2339:
2333:
2330:
2323:
2319:
2313:
2309:
2305:
2302:
2299:
2291:
2286:
2283:
2280:
2276:
2270:
2265:
2261:
2257:
2254:
2251:
2248:
2245:
2242:
2239:
2219:
2218:
2207:
2204:
2201:
2197:
2194:
2186:
2183:
2178:
2175:
2170:
2166:
2160:
2155:
2151:
2147:
2144:
2141:
2135:
2132:
2127:
2124:
2116:
2111:
2107:
2103:
2098:
2095:
2092:
2089:
2085:
2078:
2075:
2071:
2064:
2061:
2058:
2055:
2052:
2048:
2044:
2041:
2038:
2035:
2032:
2029:
2026:
2006:
2005:
1994:
1990:
1987:
1979:
1976:
1971:
1968:
1963:
1959:
1955:
1951:
1948:
1940:
1937:
1934:
1930:
1924:
1921:
1916:
1910:
1907:
1902:
1899:
1882:
1881:
1870:
1865:
1862:
1858:
1851:
1848:
1843:
1840:
1832:
1829:
1826:
1822:
1818:
1814:
1808:
1805:
1802:
1799:
1796:
1792:
1788:
1785:
1782:
1779:
1775:
1768:
1765:
1761:
1754:
1751:
1748:
1744:
1740:
1735:
1732:
1729:
1726:
1723:
1719:
1712:
1709:
1705:
1700:
1697:
1694:
1691:
1686:
1683:
1680:
1676:
1672:
1666:
1663:
1658:
1655:
1617:
1609:
1604:
1601:
1592:
1585:
1580:
1577:
1571:
1567:
1560:
1556:
1550:
1547:
1535:
1494:
1489:adjoint action
1456:
1455:
1442:
1439:
1436:
1433:
1430:
1426:
1419:
1416:
1412:
1405:
1402:
1399:
1396:
1393:
1390:
1386:
1382:
1379:
1376:
1373:
1370:
1367:
1364:
1335:
1332:
1320:
1298:
1286:
1279:
1272:
1265:
1249:
1248:
1239:
1237:
1226:
1219:
1214:
1211:
1201:
1196:
1193:
1188:
1184:
1180:
1177:
1169:
1165:
1161:
1158:
1155:
1150:
1146:
1142:
1108:
1107:
1096:
1093:
1090:
1087:
1084:
1080:
1077:
1073:
1070:
1067:
1064:
1061:
1058:
1055:
1052:
1047:
1044:
1041:
1036:
1030:
1027:
1024:
1021:
1017:
1010:
1007:
1003:
997:
993:
990:
987:
982:
978:
974:
954:
945:
936:
907:
906:
858:
845:
830:by an element
808:left invariant
778:
766:
747:
738:
734:
733:
724:
722:
711:
706:
702:
696:
691:
688:
683:
677:
674:
671:
668:
665:
662:
655:
651:
647:
644:
641:
633:
628:
625:
622:
618:
614:
607:
602:
599:
589:
584:
581:
576:
572:
568:
565:
539:
527:
518:
515:adjoint action
502:
493:
489:
424:
423:
422:
402:
396:
393:
388:
385:
382:
379:
376:
366:
361:
358:
348:
343:
340:
335:
331:
327:
324:
316:
313:
310:
307:
303:
299:
294:
291:
288:
285:
281:
274:
271:
267:
255:
250:
247:
187:Henri Poincaré
25:Henri Poincaré
15:
9:
6:
4:
3:
2:
15596:
15585:
15582:
15580:
15577:
15575:
15574:Matrix theory
15572:
15570:
15567:
15566:
15564:
15553:
15548:
15544:
15540:
15533:
15529:
15525:
15519:
15518:
15513:
15509:
15508:
15498:
15494:
15490:
15486:
15482:
15478:
15473:
15470:
15466:
15462:
15458:
15455:
15452:
15448:
15444:
15440:
15436:
15432:
15427:
15423:
15419:
15415:
15411:
15407:
15403:
15398:
15394:
15390:
15386:
15382:
15379:
15377:0-19-859683-9
15373:
15369:
15364:
15360:
15356:
15352:
15348:
15345:
15343:0-12-497460-0
15339:
15335:
15330:
15327:
15321:
15317:
15312:
15309:
15303:
15299:
15298:
15293:
15289:
15288:
15276:
15271:
15264:
15259:
15252:
15251:Rossmann 2002
15247:
15241:
15236:
15234:
15226:
15221:
15214:
15209:
15202:
15197:
15190:
15185:
15178:
15177:Rossmann 2002
15173:
15166:
15161:
15154:
15148:
15141:
15136:
15129:
15128:Rossmann 2002
15124:
15122:
15120:
15113:
15108:
15102:
15101:Poincaré 1899
15097:
15091:
15086:
15079:
15078:Rossmann 2002
15074:
15072:
15065:
15060:
15056:
15042:
15037:
15031:
15025:
15019:
15015:
15008:
15001:
14994:
14993:Rossmann 2002
14987:
14983:
14979:
14973:
14966:
14962:
14956:
14951:
14946:
14939:
14932:
14926:
14922:
14903:
14898:
14894:
14888:
14880:
14877:
14867:
14866:
14863:
14844:
14836:
14833:
14829:
14825:
14822:
14818:
14813:
14807:
14801:
14794:
14793:
14777:
14774:
14768:
14765:
14762:
14759:
14753:
14747:
14744:
14741:
14735:
14728:
14727:
14723:
14714:
14701:, since both
14700:
14696:
14690:
14686:
14676:
14673:
14672:
14666:
14664:
14663:
14659:and theorem (
14658:
14657:
14647:
14640:
14638:
14624:
14616:
14612:
14608:
14603:
14599:
14595:
14592:
14589:
14584:
14580:
14576:
14571:
14567:
14561:
14550:
14546:
14538:
14527:
14523:
14515:
14511:
14501:
14497:
14489:
14478:
14474:
14466:
14461:
14455:
14448:
14444:
14439:
14431:
14427:
14422:
14418:
14411:
14407:
14402:
14394:
14390:
14385:
14377:
14376:
14373:
14352:
14348:
14343:
14335:
14331:
14326:
14322:
14315:
14311:
14306:
14298:
14294:
14289:
14281:
14280:
14279:
14278:
14274:
14268:
14255:
14252:
14249:
14246:
14243:
14240:
14234:
14231:
14228:
14223:
14219:
14215:
14210:
14206:
14199:
14196:
14193:
14188:
14184:
14180:
14175:
14171:
14164:
14158:
14153:
14149:
14145:
14140:
14136:
14132:
14129:
14124:
14120:
14116:
14111:
14107:
14101:
14090:
14086:
14078:
14067:
14063:
14055:
14051:
14041:
14037:
14029:
14018:
14014:
14006:
14001:
13990:
13986:
13982:
13977:
13973:
13969:
13966:
13963:
13958:
13954:
13950:
13945:
13941:
13936:
13927:
13923:
13919:
13916:
13912:
13906:
13900:
13897:
13894:
13886:
13883:
13867:
13864:
13861:
13857:
13853:
13848:
13844:
13838:
13834:
13830:
13827:
13824:
13821:
13812:
13808:
13804:
13795:
13791:
13779:
13775:
13766:
13762:
13746:
13742:
13737:
13736:
13730:
13709:
13706:
13703:
13700:
13697:
13694:
13691:
13688:
13684:
13681:
13678:
13673:
13669:
13665:
13660:
13656:
13651:
13648:
13645:
13640:
13636:
13632:
13627:
13623:
13609:
13602:
13600:
13586:
13580:
13575:
13572:
13569:
13565:
13561:
13556:
13553:
13550:
13546:
13542:
13537:
13533:
13529:
13524:
13520:
13516:
13513:
13508:
13504:
13500:
13495:
13491:
13485:
13474:
13471:
13468:
13464:
13456:
13445:
13442:
13439:
13435:
13427:
13416:
13412:
13404:
13393:
13389:
13381:
13377:
13367:
13363:
13355:
13344:
13340:
13332:
13327:
13316:
13313:
13310:
13306:
13302:
13297:
13294:
13291:
13287:
13283:
13278:
13274:
13270:
13265:
13261:
13257:
13254:
13251:
13246:
13242:
13238:
13233:
13229:
13224:
13215:
13212:
13209:
13205:
13201:
13198:
13194:
13187:
13184:
13181:
13174:
13166:
13163:
13147:
13144:
13141:
13137:
13133:
13130:
13123:
13122:
13119:
13098:
13092:
13089:
13086:
13083:
13080:
13076:
13073:
13070:
13065:
13061:
13057:
13052:
13048:
13043:
13040:
13037:
13032:
13028:
13024:
13019:
13015:
13009:
12998:
12992:
12986:
12983:
12978:
12975:
12972:
12968:
12961:
12956:
12953:
12950:
12946:
12942:
12937:
12933:
12929:
12924:
12920:
12916:
12913:
12908:
12904:
12900:
12895:
12891:
12885:
12876:
12873:
12868:
12865:
12862:
12858:
12850:
12839:
12836:
12833:
12829:
12821:
12810:
12806:
12798:
12787:
12783:
12775:
12771:
12761:
12757:
12749:
12738:
12734:
12726:
12721:
12709:
12706:
12701:
12698:
12695:
12691:
12684:
12679:
12676:
12673:
12669:
12665:
12660:
12656:
12652:
12647:
12643:
12639:
12636:
12633:
12628:
12624:
12620:
12615:
12611:
12606:
12597:
12585:
12579:
12576:
12571:
12568:
12565:
12561:
12554:
12548:
12545:
12540:
12537:
12534:
12530:
12523:
12518:
12514:
12510:
12505:
12501:
12497:
12494:
12489:
12485:
12481:
12476:
12472:
12466:
12457:
12454:
12449:
12446:
12443:
12439:
12431:
12422:
12419:
12414:
12411:
12408:
12404:
12396:
12385:
12381:
12373:
12362:
12358:
12350:
12346:
12336:
12332:
12324:
12313:
12309:
12301:
12296:
12284:
12281:
12276:
12273:
12270:
12266:
12259:
12253:
12250:
12245:
12242:
12239:
12235:
12228:
12223:
12219:
12215:
12210:
12206:
12202:
12199:
12196:
12191:
12187:
12183:
12178:
12174:
12169:
12160:
12157:
12152:
12149:
12146:
12142:
12138:
12133:
12129:
12125:
12122:
12118:
12111:
12108:
12105:
12098:
12090:
12087:
12071:
12068:
12065:
12061:
12057:
12054:
12043:
12042:
12041:
12024:
12017:
12014:
12011:
12008:
12005:
12001:
11998:
11995:
11990:
11986:
11982:
11977:
11973:
11968:
11965:
11962:
11957:
11953:
11949:
11944:
11940:
11935:
11929:
11924:
11921:
11918:
11914:
11910:
11905:
11901:
11897:
11892:
11888:
11884:
11881:
11876:
11872:
11868:
11863:
11859:
11853:
11849:
11839:
11836:
11833:
11829:
11821:
11810:
11806:
11798:
11787:
11783:
11775:
11771:
11761:
11757:
11749:
11738:
11734:
11726:
11721:
11712:
11709:
11704:
11701:
11698:
11694:
11690:
11685:
11681:
11677:
11672:
11668:
11664:
11661:
11658:
11653:
11649:
11645:
11640:
11636:
11631:
11622:
11610:
11605:
11601:
11597:
11592:
11588:
11584:
11581:
11576:
11572:
11568:
11563:
11559:
11553:
11549:
11539:
11535:
11527:
11516:
11512:
11504:
11500:
11490:
11486:
11478:
11467:
11463:
11455:
11450:
11441:
11438:
11433:
11429:
11425:
11420:
11416:
11412:
11409:
11406:
11401:
11397:
11393:
11388:
11384:
11379:
11370:
11367:
11362:
11359:
11356:
11352:
11348:
11343:
11339:
11335:
11332:
11328:
11321:
11318:
11315:
11308:
11300:
11297:
11281:
11278:
11275:
11271:
11267:
11264:
11253:
11252:
11251:
11247:
11241:
11234:
11226:
11218:
11214:
11207:
11203:
11199:
11194:
11187:
11183:
11179:) is denoted
11178:
11177:
11171:
11151:
11144:
11141:
11138:
11135:
11132:
11128:
11125:
11122:
11117:
11113:
11109:
11104:
11100:
11095:
11092:
11089:
11084:
11080:
11076:
11071:
11067:
11062:
11056:
11051:
11048:
11045:
11041:
11037:
11032:
11028:
11024:
11019:
11015:
11011:
11008:
11003:
10999:
10995:
10990:
10986:
10980:
10976:
10966:
10963:
10960:
10956:
10948:
10937:
10933:
10925:
10914:
10910:
10902:
10898:
10888:
10884:
10876:
10865:
10861:
10853:
10848:
10838:
10835:
10832:
10828:
10824:
10819:
10815:
10811:
10806:
10802:
10798:
10795:
10792:
10787:
10783:
10779:
10774:
10770:
10765:
10757:
10745:
10740:
10736:
10732:
10727:
10723:
10719:
10716:
10711:
10707:
10703:
10698:
10694:
10688:
10684:
10674:
10670:
10662:
10651:
10647:
10639:
10635:
10625:
10621:
10613:
10602:
10598:
10590:
10585:
10575:
10571:
10567:
10562:
10558:
10554:
10551:
10548:
10543:
10539:
10535:
10530:
10526:
10521:
10513:
10510:
10505:
10502:
10499:
10495:
10491:
10486:
10482:
10478:
10475:
10471:
10464:
10461:
10458:
10451:
10443:
10440:
10424:
10421:
10418:
10414:
10410:
10404:
10401:
10396:
10393:
10379:
10378:
10377:
10375:
10352:
10349:
10346:
10343:
10340:
10337:
10333:
10330:
10327:
10322:
10318:
10314:
10309:
10305:
10300:
10297:
10294:
10289:
10285:
10281:
10276:
10272:
10267:
10264:
10258:
10253:
10250:
10247:
10243:
10239:
10234:
10230:
10226:
10221:
10217:
10213:
10210:
10205:
10201:
10197:
10192:
10188:
10178:
10175:
10172:
10168:
10163:
10155:
10151:
10143:
10124:
10120:
10112:
10097:
10090:
10086:
10078:
10059:
10055:
10047:
10025:
10022:
10019:
10015:
10011:
10006:
10002:
9998:
9993:
9989:
9985:
9982:
9979:
9974:
9970:
9966:
9961:
9957:
9952:
9944:
9935:
9929:
9924:
9920:
9916:
9911:
9907:
9903:
9900:
9895:
9891:
9887:
9882:
9878:
9868:
9864:
9856:
9837:
9833:
9825:
9810:
9803:
9799:
9791:
9772:
9768:
9760:
9738:
9734:
9730:
9725:
9721:
9717:
9714:
9711:
9706:
9702:
9698:
9693:
9689:
9684:
9676:
9673:
9668:
9665:
9662:
9658:
9654:
9649:
9645:
9641:
9638:
9634:
9627:
9624:
9621:
9614:
9606:
9603:
9587:
9584:
9581:
9577:
9573:
9567:
9564:
9559:
9556:
9542:
9541:
9540:
9538:
9537:
9532:
9531:
9526:
9520:
9517:
9509:
9506:
9499:
9497:
9496:
9490:
9481:
9477:
9472:
9468:
9461:
9454:
9450:
9443:
9439:
9432:
9415:
9412:
9409:
9406:
9403:
9400:
9396:
9393:
9390:
9385:
9381:
9377:
9372:
9368:
9363:
9360:
9357:
9352:
9348:
9344:
9339:
9335:
9330:
9324:
9319:
9315:
9311:
9306:
9302:
9298:
9295:
9290:
9286:
9282:
9277:
9273:
9263:
9259:
9254:
9246:
9242:
9237:
9233:
9226:
9222:
9217:
9209:
9205:
9200:
9189:
9185:
9181:
9178:
9174:
9168:
9162:
9159:
9156:
9148:
9145:
9129:
9126:
9123:
9119:
9115:
9111:
9105:
9101:
9095:
9091:
9086:
9082:
9079:
9076:
9073:
9064:
9063:This becomes
9057:
9050:
9048:
9034:
9029:
9024:
9017:
9014:
9011:
9008:
9001:
8997:
8991:
8987:
8973:
8970:
8967:
8964:
8961:
8958:
8955:
8952:
8949:
8946:
8943:
8939:
8934:
8927:
8921:
8918:
8915:
8907:
8904:
8888:
8885:
8882:
8878:
8874:
8869:
8864:
8860:
8857:
8851:
8848:
8842:
8838:
8825:
8822:
8819:
8815:
8808:
8805:
8799:
8795:
8782:
8779:
8776:
8772:
8767:
8760:
8754:
8751:
8748:
8740:
8737:
8721:
8718:
8715:
8711:
8707:
8702:
8696:
8692:
8689:
8684:
8680:
8674:
8670:
8665:
8657:
8651:
8648:
8645:
8637:
8634:
8618:
8615:
8612:
8608:
8604:
8600:
8594:
8590:
8584:
8580:
8575:
8571:
8568:
8561:
8560:
8557:
8537:
8534:
8528:
8524:
8511:
8508:
8505:
8501:
8497:
8492:
8488:
8477:
8472:
8464:
8461:
8458:
8448:
8442:
8439:
8436:
8428:
8425:
8409:
8406:
8403:
8399:
8395:
8389:
8383:
8380:
8373:
8372:
8371:
8359:
8356:
8352:
8342:
8335:
8333:
8318:
8314:
8307:
8304:
8290:
8284:
8279:
8275:
8272:
8265:
8262:
8248:
8240:
8237:
8223:
8218:
8213:
8210:
8205:
8200:
8196:
8193:
8186:
8183:
8169:
8161:
8158:
8144:
8139:
8133:
8126:
8123:
8120:
8113:
8105:
8102:
8086:
8083:
8080:
8076:
8072:
8066:
8063:
8058:
8055:
8045:
8044:
8041:
8037:
8033:
8028:
8027:
8016:
8014:
8008:
7995:
7992:
7989:
7986:
7983:
7980:
7976:
7973:
7970:
7965:
7961:
7957:
7952:
7948:
7943:
7940:
7937:
7932:
7928:
7924:
7919:
7915:
7910:
7904:
7899:
7895:
7891:
7886:
7882:
7878:
7875:
7870:
7866:
7862:
7857:
7853:
7837:
7833:
7825:
7814:
7810:
7802:
7798:
7788:
7784:
7776:
7765:
7761:
7753:
7738:
7734:
7730:
7725:
7721:
7717:
7714:
7711:
7706:
7702:
7698:
7693:
7689:
7684:
7675:
7671:
7667:
7664:
7660:
7654:
7648:
7645:
7642:
7634:
7631:
7615:
7612:
7609:
7605:
7601:
7598:
7589:
7586:
7583:
7568:
7564:
7558:
7538:
7534:
7530:
7523:
7509:
7505:
7501:
7498:
7494:
7485:
7482:
7479:
7474:
7470:
7467:
7460:
7447:
7443:
7435:
7421:
7417:
7412:
7404:
7401:
7396:
7391:
7387:
7381:
7375:
7372:
7369:
7361:
7358:
7342:
7339:
7336:
7332:
7328:
7322:
7319:
7311:
7305:
7302:
7293:
7290:
7285:
7280:
7276:
7272:
7266:
7260:
7253:
7252:
7251:
7244:
7237:
7235:
7221:
7214:
7210:
7203:
7189:
7185:
7181:
7178:
7174:
7165:
7162:
7159:
7154:
7150:
7147:
7140:
7126:
7121:
7114:
7108:
7105:
7102:
7094:
7091:
7075:
7072:
7069:
7061:
7057:
7054:
7046:
7045:
7042:
7040:
7017:
7008:
7005:
7002:
6999:
6991:
6974:
6966:
6958:
6955:
6947:
6931:
6928:
6920:
6914:
6911:
6908:
6900:
6897:
6881:
6878:
6875:
6867:
6865:
6856:
6851:
6847:
6844:
6840:
6835:
6822:
6818:
6815:
6811:
6807:
6804:
6800:
6796:
6793:
6790:
6786:
6781:
6776:
6763:
6759:
6756:
6752:
6748:
6745:
6742:
6740:
6712:
6711:
6710:
6693:
6689:
6685:
6678:
6664:
6660:
6656:
6653:
6649:
6639:
6636:
6629:
6615:
6608:
6593:
6589:
6585:
6582:
6579:
6572:
6558:
6555:
6551:
6546:
6532:
6519:
6515:
6511:
6508:
6502:
6487:
6483:
6480:
6472:
6471:
6470:
6453:
6447:
6444:
6441:
6434:
6420:
6417:
6413:
6409:
6403:
6400:
6390:
6384:
6380:
6376:
6365:
6359:
6356:
6352:
6344:
6343:
6342:
6325:
6320:
6317:
6313:
6307:
6304:
6300:
6296:
6288:
6282:
6278:
6270:
6269:
6268:
6262:
6258:
6254:
6250:
6246:
6242:
6238:
6237:Eugene Dynkin
6234:
6225:
6223:
6222:Miller (1972)
6219:
6206:
6200:
6195:
6189:
6184:
6165:
6162:
6157:
6153:
6150:
6145:
6137:
6126:
6122:
6111:
6107:
6102:
6097:
6093:
6088:
6083:
6079:
6074:
6070:
6067:
6064:
6058:
6055:
6052:
6049:
6046:
6043:
6037:
6034:
6031:
6025:
6019:
6012:
6011:
6010:
6008:
5989:
5986:
5982:
5974:
5961:
5957:
5949:
5935:
5930:
5926:
5923:
5917:
5910:
5907:
5899:
5898:
5897:
5876:
5863:
5859:
5851:
5837:
5833:
5826:
5812:
5804:
5803:
5802:
5800:
5799:
5771:
5768:
5762:
5756:
5751:
5743:
5740:
5737:
5725:
5722:
5719:
5713:
5706:
5703:
5700:
5692:
5689:
5673:
5670:
5667:
5663:
5659:
5656:
5653:
5647:
5644:
5641:
5636:
5633:
5630:
5627:
5621:
5615:
5609:
5605:
5602:
5598:
5591:
5577:
5573:
5569:
5566:
5563:
5553:
5540:
5536:
5532:
5529:
5523:
5508:
5502:
5495:
5492:
5484:
5483:
5482:
5465:
5459:
5452:
5449:
5441:
5423:
5410:
5406:
5402:
5399:
5393:
5390:
5383:
5382:
5381:
5379:
5360:
5354:
5347:
5344:
5336:
5318:
5305:
5301:
5297:
5294:
5288:
5279:
5273:
5267:
5264:
5258:
5255:
5251:
5240:
5234:
5231:
5225:
5222:
5215:
5214:
5213:
5211:
5205:
5201:
5197:
5177:
5172:
5169:
5165:
5159:
5155:
5151:
5143:
5137:
5133:
5125:
5124:
5123:
5119:
5115:
5108:
5098:
5095:
5088:
5083:
5078:
5073:
5070:
5066:
5060:
5054:
5043:
5033:
5024:
5004:
5001:
4998:
4995:
4992:
4989:
4986:
4983:
4980:
4977:
4974:
4971:
4967:
4964:
4961:
4958:
4955:
4952:
4949:
4946:
4943:
4940:
4936:
4933:
4930:
4927:
4924:
4921:
4916:
4912:
4908:
4903:
4899:
4891:
4890:
4889:
4886:
4880:
4869:
4864:
4857:
4853:
4848:
4844:
4839:
4835:
4828:
4819:
4815:
4810:
4806:
4786:
4783:
4780:
4775:
4772:
4768:
4762:
4759:
4755:
4751:
4748:
4745:
4740:
4737:
4733:
4724:
4720:
4716:
4711:
4707:
4700:
4695:
4692:
4688:
4682:
4665:
4664:
4663:
4659:
4651:
4647:
4643:
4639:
4632:
4628:
4623:
4619:
4612:
4608:
4604:
4600:
4595:
4589:
4585:
4577:
4573:
4567:
4563:
4556:
4552:
4532:
4529:
4526:
4521:
4517:
4511:
4507:
4503:
4498:
4494:
4490:
4483:
4482:
4481:
4478:
4472:
4465:
4461:
4454:
4450:
4444:
4438:
4431:
4409:
4406:
4403:
4400:
4397:
4394:
4391:
4388:
4385:
4382:
4379:
4376:
4373:
4370:
4367:
4364:
4359:
4356:
4352:
4344:
4343:
4342:
4338:
4326:
4322:
4312:
4308:
4296:
4287:
4283:
4263:
4256:
4253:
4249:
4240:
4237:
4233:
4229:
4225:
4221:
4218:
4208:
4207:
4206:
4198:
4186:
4173:
4168:
4158:
4149:
4140:
4136:
4130:
4123:
4119:
4111:
4107:
4103:
4096:
4092:
4086:
4082:for a matrix
4079:
4075:
4069:
4062:
4049:
4037:
4007:
3975:
3971:
3968:
3958:
3957:
3956:
3954:
3953:
3946:
3942:
3936:
3930:
3924:
3918:
3912:
3906:
3902:
3898:
3889:
3856:
3847:
3844:
3839:
3836:
3826:
3808:
3795:
3791:
3787:
3784:
3776:
3772:
3768:
3764:
3761:
3757:
3754:
3747:
3744:
3731:
3727:
3721:
3716:
3712:
3706:
3702:
3698:
3696:
3688:
3685:
3681:
3678:
3670:
3667:
3664:
3660:
3644:
3639:
3635:
3629:
3625:
3621:
3618:
3615:
3610:
3607:
3603:
3598:
3595:
3589:
3583:
3580:
3577:
3570:
3564:
3559:
3555:
3551:
3549:
3539:
3533:
3529:
3522:
3519:
3515:
3502:
3501:
3500:
3493:
3485:
3477:
3469:
3465:
3453:
3442:
3434:
3425:
3418:
3412:
3408:
3404:
3397:
3393:
3369:
3361:
3358:
3355:
3350:
3344:
3337:
3331:
3325:
3322:
3318:
3310:
3307:
3299:
3293:
3290:
3282:
3279:
3272:
3269:
3266:
3261:
3255:
3248:
3242:
3236:
3233:
3229:
3222:
3217:
3214:
3211:
3207:
3195:
3187:
3185:
3175:
3170:
3164:
3157:
3151:
3145:
3142:
3138:
3130:
3127:
3123:
3110:
3102:
3100:
3090:
3084:
3080:
3073:
3070:
3066:
3053:
3052:
3051:
3048:
3038:
3036:
3013:
3007:
3004:
2996:
2990:
2987:
2977:
2959:
2946:
2942:
2938:
2935:
2926:
2920:
2917:
2914:
2905:
2899:
2893:
2890:
2884:
2881:
2877:
2868:
2867:
2866:
2849:
2846:
2843:
2838:
2834:
2827:
2824:
2820:
2815:
2812:
2806:
2803:
2799:
2794:
2791:
2788:
2783:
2779:
2776:
2771:
2767:
2760:
2754:
2748:
2741:
2740:
2739:
2722:
2718:
2711:
2702:
2688:
2682:
2676:
2670:
2667:
2664:
2655:
2649:
2643:
2640:
2634:
2631:
2627:
2618:
2617:
2616:
2608:
2606:
2602:
2583:
2577:
2574:
2569:
2566:
2556:
2538:
2525:
2521:
2517:
2514:
2508:
2502:
2499:
2494:
2491:
2483:
2473:
2454:
2448:
2445:
2442:
2432:
2424:
2421:
2405:
2402:
2399:
2395:
2391:
2388:
2385:
2379:
2376:
2371:
2368:
2360:
2350:
2331:
2328:
2321:
2317:
2311:
2303:
2300:
2284:
2281:
2278:
2274:
2268:
2263:
2259:
2255:
2249:
2246:
2243:
2230:
2229:
2228:
2226:
2225:
2205:
2202:
2199:
2195:
2192:
2184:
2181:
2168:
2164:
2158:
2153:
2149:
2145:
2142:
2139:
2133:
2114:
2109:
2105:
2101:
2093:
2087:
2083:
2076:
2059:
2053:
2050:
2046:
2042:
2036:
2033:
2030:
2017:
2016:
2015:
2013:
2012:
1992:
1988:
1985:
1977:
1974:
1961:
1957:
1953:
1949:
1946:
1938:
1935:
1932:
1928:
1914:
1908:
1887:
1886:
1885:
1868:
1863:
1860:
1856:
1849:
1846:
1841:
1838:
1830:
1827:
1824:
1820:
1816:
1812:
1803:
1797:
1794:
1790:
1783:
1777:
1773:
1766:
1752:
1749:
1746:
1742:
1738:
1730:
1724:
1721:
1717:
1710:
1695:
1692:
1684:
1681:
1678:
1674:
1670:
1664:
1643:
1642:
1641:
1638:
1637:
1632:
1615:
1602:
1599:
1590:
1583:
1569:
1565:
1558:
1554:
1534:
1523:
1519:
1515:
1511:
1505:
1501:
1497:
1490:
1485:
1479:
1478:
1474:
1470:
1437:
1431:
1428:
1424:
1417:
1400:
1394:
1391:
1388:
1384:
1380:
1374:
1371:
1368:
1355:
1354:
1353:
1350:
1344:
1331:
1328:
1323:
1319:
1312:
1306:
1301:
1297:
1289:
1285:
1278:
1271:
1263:
1258:
1257:
1247:
1240:
1238:
1224:
1217:
1199:
1186:
1182:
1178:
1175:
1167:
1163:
1159:
1156:
1153:
1148:
1144:
1140:
1133:
1132:
1129:
1126:
1122:
1118:
1114:
1094:
1091:
1085:
1078:
1075:
1071:
1068:
1065:
1059:
1053:
1050:
1045:
1042:
1039:
1034:
1025:
1019:
1015:
1008:
1005:
1001:
991:
988:
985:
980:
976:
972:
965:
964:
963:
958:
953:
948:
944:
939:
934:
928:
917:
913:
902:
898:
890:
886:
882:
877:
872:
859:
853:
849:
839:
835:
828:
823:
820:viewed as an
812:
809:
805:
801:
793:
792:
781:
769:
758:
753:
748:
744:
739:
732:
725:
723:
709:
704:
694:
675:
669:
666:
663:
653:
645:
642:
626:
623:
620:
616:
612:
605:
587:
574:
570:
566:
563:
553:
552:
542:
530:
520:The fraction
519:
516:
510:
505:
496:
490:
486:
476:
467:
463:
455:
451:
445:
438:
434:
430:
426:
425:
420:
419:
417:
400:
394:
391:
383:
377:
374:
364:
346:
333:
329:
325:
322:
311:
305:
301:
297:
289:
283:
279:
272:
269:
265:
254:
246:
240:
236:
231:
224:
217:
215:
211:
207:
203:
199:
194:
192:
188:
184:
178:
172:
169:
165:
161:
157:
153:
149:
142:
138:
132:
128:
124:
120:
112:
104:
96:
92:
87:
83:
77:
73:
68:
62:
56:
50:
46:
42:
38:
30:
26:
21:
15584:Exponentials
15542:
15538:
15517:Lie Algebras
15516:
15480:
15476:
15434:
15430:
15405:
15401:
15392:
15388:
15367:
15358:
15354:
15351:Poincaré, H.
15333:
15315:
15308:Google books
15301:
15295:
15270:
15258:
15246:
15227:Section 1.2.
15220:
15215:Section 5.5.
15208:
15203:Section 1.6.
15196:
15184:
15172:
15160:
15153:Tuynman 1995
15147:
15135:
15107:
15096:
15085:
15059:
15035:
15029:
15023:
15017:
15013:
15006:
15000:
14985:
14981:
14977:
14971:
14964:
14960:
14954:
14944:
14938:
14924:
14920:
14861:
14722:
14712:
14689:
14660:
14654:
14652:
14641:
14371:
14276:
14272:
14270:
13814:
13806:
13802:
13793:
13789:
13777:
13773:
13764:
13760:
13744:
13740:
13733:
13728:
13614:
13603:
13117:
12039:
11245:
11239:
11232:
11224:
11216:
11212:
11205:
11201:
11197:
11192:
11185:
11181:
11174:
11169:
11166:
10371:
9534:
9533:). Equation
9528:
9518:
9515:
9507:
9504:
9500:
9493:
9488:
9479:
9475:
9470:
9466:
9459:
9452:
9448:
9441:
9437:
9434:
9066:
9062:
9051:
8555:
8357:
8354:
8350:
8347:
8336:
8035:
8031:
8024:
8022:
8010:
7591:
7584:
7581:
7566:
7562:
7556:
7553:
7249:
7238:
7036:
6708:
6468:
6340:
6266:
6256:
6204:
6198:
6187:
6180:
6006:
6004:
5895:
5796:
5786:
5480:
5377:
5375:
5203:
5199:
5195:
5192:
5117:
5113:
5110:
5093:
5086:
5081:
5074:
5068:
5064:
5058:
5052:
5041:
5022:
5019:
4884:
4878:
4867:
4862:
4855:
4851:
4846:
4842:
4837:
4833:
4826:
4817:
4813:
4808:
4804:
4801:
4662:is given by
4657:
4649:
4645:
4641:
4637:
4630:
4626:
4621:
4617:
4610:
4606:
4602:
4598:
4593:
4587:
4583:
4575:
4571:
4565:
4561:
4554:
4550:
4547:
4476:
4470:
4463:
4459:
4452:
4448:
4442:
4436:
4429:
4424:
4336:
4324:
4320:
4310:
4306:
4294:
4285:
4281:
4278:
4196:
4184:
4171:
4166:
4156:
4147:
4138:
4134:
4128:
4121:
4117:
4109:
4105:
4101:
4094:
4090:
4084:
4077:
4073:
4067:
4060:
4047:
4035:
4026:
3950:
3944:
3940:
3934:
3928:
3922:
3916:
3910:
3904:
3900:
3896:
3885:
3877:Applications
3491:
3483:
3475:
3467:
3463:
3451:
3440:
3432:
3423:
3416:
3413:
3406:
3402:
3395:
3391:
3388:
3046:
3044:
3028:
2864:
2737:
2614:
2598:
2222:
2220:
2009:
2007:
1883:
1639:
1635:
1634:
1536:
1533:is given by
1521:
1517:
1513:
1509:
1503:
1499:
1495:
1480:
1476:
1475:
1468:
1457:
1348:
1345:
1337:
1326:
1321:
1317:
1310:
1304:
1299:
1295:
1287:
1283:
1276:
1269:
1261:
1254:
1252:
1241:
1124:
1120:
1116:
1112:
1109:
956:
951:
946:
942:
937:
932:
926:
915:
912:differential
911:
909:
900:
896:
888:
884:
880:
870:
851:
847:
837:
833:
826:
811:vector field
789:
779:
767:
756:
751:
742:
726:
540:
528:
513:. It is the
508:
503:
494:
484:
474:
465:
461:
453:
449:
443:
436:
432:
428:
256:
252:
238:
234:
229:
222:
218:
204:, as in the
195:
190:
176:
173:
167:
163:
159:
156:differential
147:
140:
136:
130:
126:
122:
118:
110:
102:
85:
81:
66:
60:
54:
48:
34:
15461:'t Hooft, G
15240:Dynkin 1947
15112:Suzuki 1985
15064:Schmid 1982
13783:must equal
9539:then gives
8040:and expand
7574:. For each
6218:Hall (2015)
5896:and hence
4182:1 â exp(âad
4033:1 â exp(âad
3037:reference.
2605:Hall (2015)
1487:denote the
1128:the result
765:1 â exp(âad
526:1 â exp(âad
421:Explanation
45:Lie algebra
15579:Lie groups
15563:Categories
15457:Veltman, M
15285:References
15265:Chapter 5.
15253:Chapter 2.
15090:Schur 1891
14950:triangular
9485:of length
4474:such that
4299:. Putting
4279:where the
95:derivative
64:. In case
37:Lie groups
15465:de Wit, B
15385:Schur, F.
15304:: 323â326
15263:Hall 2015
15213:Hall 2015
15189:Hall 2015
15151:See also
15140:Hall 2015
14878:−
14834:−
14826:−
14802:τ
14766:
14760:−
14754:ϕ
14745:
14736:τ
14593:⋯
14512:⋯
14419:⋯
14323:⋯
14250:≤
14244:≤
14194:≥
14133:⋯
14052:⋯
13967:⋯
13920:∈
13913:∑
13898:−
13884:−
13873:∞
13858:∑
13831:
13698:≤
13692:≤
13646:≥
13517:⋯
13378:⋯
13255:⋯
13202:∈
13195:∑
13164:−
13153:∞
13138:∑
13090:≤
13084:≤
13038:≥
12917:⋯
12772:⋯
12637:⋯
12498:⋯
12347:⋯
12200:⋯
12158:≥
12126:∈
12119:∑
12088:−
12077:∞
12062:∑
12015:≤
12009:≤
11963:≥
11885:⋯
11772:⋯
11662:⋯
11585:⋯
11501:⋯
11410:⋯
11368:≥
11336:∈
11329:∑
11298:−
11287:∞
11272:∑
11191:, but is
11142:≤
11136:≤
11090:≥
11012:⋯
10899:⋯
10796:⋯
10720:⋯
10636:⋯
10552:⋯
10511:≥
10479:∈
10472:∑
10441:−
10430:∞
10415:∑
10347:≤
10341:≤
10295:≥
10214:⋯
10098:⋯
9983:⋯
9904:⋯
9811:⋯
9715:⋯
9674:≥
9642:∈
9635:∑
9604:−
9593:∞
9578:∑
9410:≤
9404:≤
9358:≥
9299:⋯
9234:⋯
9182:∈
9175:∑
9146:−
9135:∞
9120:∑
9083:
8979:∞
8953:≥
8940:∑
8905:−
8894:∞
8879:∑
8858:−
8831:∞
8816:∑
8788:∞
8773:∑
8738:−
8727:∞
8712:∑
8690:−
8635:−
8624:∞
8609:∑
8572:
8517:∞
8502:∑
8462:−
8426:−
8415:∞
8400:∑
8384:
8273:−
8194:−
8103:−
8092:∞
8077:∑
7990:≤
7984:≤
7938:≥
7879:⋯
7799:⋯
7715:⋯
7668:∈
7661:∑
7646:−
7632:−
7621:∞
7606:∑
7483:−
7468:−
7388:∫
7373:−
7359:−
7348:∞
7333:∑
7277:∫
7163:−
7148:−
7106:−
7092:−
7081:∞
7066:∑
7006:
6997:‖
6979:‖
6956:−
6932:
6898:−
6887:∞
6872:∑
6845:−
6819:
6797:
6760:
6749:
6637:−
6556:−
6520:−
6512:−
6418:−
6357:−
6257:existence
6253:Hausdorff
6094:ψ
6080:∫
6056:
6047:
6038:
5927:ψ
5795:given by
5766:‖
5760:‖
5741:−
5690:−
5679:∞
5664:∑
5645:−
5634:
5610:ψ
5570:ψ
5567:≡
5541:−
5533:−
5411:−
5403:−
5306:−
5298:−
5268:
5232:−
5226:
4999:
4987:≤
4975:≤
4965:…
4956:±
4947:±
4931:π
4922:≠
4913:λ
4909:−
4900:λ
4784:⋯
4756:λ
4752:≡
4749:⋯
4721:λ
4717:−
4708:λ
4530:⋯
4508:λ
4407:…
4398:±
4389:±
4374:π
4365:≠
4353:λ
4305:1 â exp(â
4250:λ
4234:λ
4230:−
4222:−
4146:1 â exp(â
3972:−
3796:−
3788:−
3732:−
3713:∫
3665:−
3636:∫
3581:−
3556:∫
3420:sections
3359:−
3270:−
3208:∑
3202:∞
3199:→
3117:∞
3114:→
3029:Here the
2947:−
2939:−
2921:
2894:
2847:⋯
2777:−
2749:ϕ
2689:−
2683:ϕ
2671:
2644:
2526:−
2518:−
2422:−
2411:∞
2396:∑
2301:−
2290:∞
2275:∑
2260:∫
2238:Γ
2169:−
2150:∫
2131:∂
2126:Γ
2123:∂
2106:∫
2074:∂
2070:∂
2051:−
2025:Γ
1962:−
1933:−
1906:∂
1901:Γ
1898:∂
1825:−
1764:∂
1760:∂
1747:−
1708:∂
1704:∂
1693:−
1679:−
1662:∂
1657:Γ
1654:∂
1603:∈
1415:∂
1411:∂
1389:−
1363:Γ
1187:−
1179:−
1154:
986:
643:−
632:∞
617:∑
575:−
567:−
334:−
326:−
249:Statement
212:, and in
23:In 1899,
15530:(1982),
15514:(2004),
15361:: 220â55
15010:satisfy
14929:are the
14669:See also
13726:for all
11243:, using
7058:′
6484:′
6341:whence
6249:Campbell
6241:Poincaré
5911:′
5496:′
5453:′
5380:. Thus,
5348:′
4888:satisfy
4115:, where
4099:will be
3765:′
3682:′
3599:′
2719:′
2196:′
1989:′
1950:′
1079:′
239:distinct
134:, where
91:analytic
15485:Bibcode
15451:2974511
15410:Bibcode
15395:: 15â32
15016:| <
14681:Remarks
13750:equals
11248:(0) = 0
11237:
11221:
11219:(1) = â«
9523:in the
9465:, ...,
4330:
4302:
4202:
4179:
4161:
4143:
4053:
4030:
3499:yields
3488:
3472:
3445:
3428:
1471:Î(1, t)
1308:(since
878:. When
806:of the
785:
762:
546:
523:
479:
458:
115:
99:
15463:&
15449:
15374:
15340:
15322:
14991:. See
14918:where
14859:Here,
14238:
14203:
14168:
13615:where
9435:where
8362:. The
8353:= log(
7491:
7408:
7297:
7219:
7171:
7015:
7012:
6972:
6646:
6543:
6451:
6119:
5208:, the
4569:. Let
3899:, 0 â€
3894:. Any
3854:
3367:
2738:where
2716:
1613:
1597:
1594:
1280:exp(0)
874:, see
235:except
39:, the
15535:(PDF)
15521:(PDF)
15447:JSTOR
15051:Notes
14711:ad =
8029:) to
6245:Baker
5079:that
5034:that
4812:>
4644:<
4625:<
4564:>
4559:with
3926:is a
3903:†â,
3497:ÎŁ â â«
3460:â â,
1636:Proof
1477:Lemma
1334:Proof
883:= GL(
749:When
740:When
441:is a
162:exp:T
145:is a
89:, is
70:is a
58:into
15372:ISBN
15338:ISBN
15320:ISBN
15033:and
15012:|Im
14975:are
14705:and
14695:here
14229:>
13679:>
13071:>
11996:>
11123:>
10328:>
9536:(99)
9527:of (
9521:â 1)
9512:for
9510:â 1)
9495:(99)
9430:(99)
9391:>
8971:>
7971:>
7000:<
6251:and
6220:and
6185:for
5791:and
5769:<
5202:exp
5051:0 â
5040:0 â
4205:are
4169:= ad
4164:and
4141:) =
3908:map
3886:The
3400:and
3047:must
1529:and
1507:for
1481:Let
1119:) =
955:exp(
846:exp(
832:exp(
804:flow
511:) =
456:) =
227:and
221:exp(
152:path
125:)):T
117:exp(
80:exp:
15547:doi
15493:doi
15439:doi
15435:102
15418:doi
14948:is
14763:log
14742:log
14656:(A)
13828:log
13809:â 1
13798:= 0
13796:+ 1
13780:+ 1
13769:= 0
13767:+ 1
13754:or
13747:+ 1
13735:100
13724:= 0
13606:100
11193:not
11188:+ 1
9525:LHS
9451:= (
9080:log
8569:log
8483:and
8381:log
8368:exp
8364:log
8038:â 1
7572:(A)
7003:log
6929:exp
6816:exp
6794:log
6757:exp
6746:log
6212:or
6205:X+Y
6190:(1)
6181:an
6053:exp
6044:exp
6035:log
5798:(4)
5631:log
5265:exp
5223:exp
5111:If
5084:exp
5056:in
5047:exp
5036:exp
5025:exp
4996:dim
4874:exp
4865:exp
4635:if
4446:be
4339:exp
4332:= 0
3892:exp
3454:= 1
3192:lim
3107:lim
3031:exp
2918:exp
2891:exp
2668:exp
2641:exp
2227:),
2011:(4)
2008:by
1630:(4)
1504:AXA
1341:exp
1282:= T
1275:â T
1264:exp
1256:(1)
1145:exp
977:exp
950:â T
941:: T
935:exp
924:at
922:exp
920:of
918:exp
895:GL(
893:or
868:or
862:exp
796:exp
757:not
755:is
415:(1)
243:exp
208:in
179:exp
166:â T
129:â T
15565::
15541:,
15537:,
15491:.
15479:.
15459:,
15445:,
15433:,
15416:.
15406:26
15404:.
15391:,
15359:18
15357:,
15302:57
15232:^
15118:^
15070:^
14715:Ad
14707:ad
14703:Ad
14277:if
13811:,
13805:â
13771:,
11250:,
11240:dt
11233:dt
11225:dZ
11215:=
11200:â
11176:97
10376:,
9530:98
9498:.
9474:,
9458:,
9054:98
8339:97
8034:=
8015:.
7582:dt
7565:,
6247:,
6243:,
6224:.
6133:ad
6108:ad
5793:ad
5789:Ad
5772:1.
5067:â
4850:â
4841:=
4838:ij
4824:ad
4818:ij
4809:mn
4655:ad
4648:â
4640:â
4631:nm
4622:ij
4611:jl
4603:ik
4597:=
4594:kl
4588:ij
4576:ij
4427:ad
4325:ij
4311:ij
4292:ad
4286:ij
4194:ad
4122:ij
4110:ij
4058:ad
4045:ad
3941:df
3495:,
3490:â
3470:,
3468:dk
3466:â
3426:=
3411:.
3405:ÂŽ(
2607:.
1531:ad
1527:Ad
1520:â
1516:,
1512:â
1502:=
1493:Ad
1484:Ad
1473:.
1330:.
1325:â
1303:â
1268::T
1125:tY
1123:+
930:,
899:,
887:,
854:))
844:dL
840:))
777:ad
538:ad
501:ad
492:ad
475:dt
462:dX
452:âČ(
431:=
216:.
193:.
171:.
111:dt
84:â
15549::
15543:6
15499:.
15495::
15487::
15481:8
15471:.
15441::
15424:.
15420::
15412::
15393:4
15310:.
15036:Ό
15030:λ
15024:Ό
15018:Ï
15014:λ
15007:λ
14989:)
14986:i
14982:λ
14980:(
14978:f
14972:U
14965:i
14961:λ
14955:U
14945:U
14933:.
14925:k
14921:b
14904:,
14899:k
14895:b
14889:k
14885:)
14881:1
14875:(
14862:Ï
14845:.
14837:w
14830:e
14823:1
14819:w
14814:=
14811:)
14808:w
14805:(
14778:1
14775:=
14772:)
14769:z
14757:(
14751:)
14748:z
14739:(
14717:.
14713:d
14662:B
14646:)
14644:B
14642:(
14625:.
14617:k
14613:j
14609:+
14604:k
14600:i
14596:+
14590:+
14585:1
14581:j
14577:+
14572:1
14568:i
14562:]
14556:)
14551:k
14547:j
14543:(
14539:Y
14533:)
14528:k
14524:i
14520:(
14516:X
14507:)
14502:1
14498:j
14494:(
14490:Y
14484:)
14479:1
14475:i
14471:(
14467:X
14462:[
14456:=
14449:k
14445:j
14440:Y
14432:k
14428:i
14423:X
14412:1
14408:j
14403:Y
14395:1
14391:i
14386:X
14353:k
14349:j
14344:Y
14336:k
14332:i
14327:X
14316:1
14312:j
14307:Y
14299:1
14295:i
14290:X
14256:.
14253:k
14247:r
14241:1
14235:,
14232:0
14224:r
14220:j
14216:+
14211:r
14207:i
14200:,
14197:0
14189:r
14185:j
14181:,
14176:r
14172:i
14165:,
14159:!
14154:k
14150:j
14146:!
14141:k
14137:i
14130:!
14125:1
14121:j
14117:!
14112:1
14108:i
14102:]
14096:)
14091:k
14087:j
14083:(
14079:Y
14073:)
14068:k
14064:i
14060:(
14056:X
14047:)
14042:1
14038:j
14034:(
14030:Y
14024:)
14019:1
14015:i
14011:(
14007:X
14002:[
13991:k
13987:j
13983:+
13978:k
13974:i
13970:+
13964:+
13959:1
13955:j
13951:+
13946:1
13942:i
13937:1
13928:k
13924:S
13917:s
13907:k
13901:1
13895:k
13891:)
13887:1
13881:(
13868:1
13865:=
13862:k
13854:=
13849:Y
13845:e
13839:X
13835:e
13825:=
13822:Z
13807:k
13803:k
13794:k
13790:i
13785:1
13778:k
13774:i
13765:k
13761:j
13756:1
13752:0
13745:k
13741:j
13729:T
13710:,
13707:1
13704:+
13701:k
13695:r
13689:1
13685:,
13682:0
13674:r
13670:j
13666:+
13661:r
13657:i
13652:,
13649:0
13641:r
13637:j
13633:,
13628:r
13624:i
13608:)
13604:(
13587:,
13581:!
13576:1
13573:+
13570:k
13566:j
13562:!
13557:1
13554:+
13551:k
13547:i
13543:!
13538:k
13534:j
13530:!
13525:k
13521:i
13514:!
13509:1
13505:j
13501:!
13496:1
13492:i
13486:]
13480:)
13475:1
13472:+
13469:k
13465:j
13461:(
13457:Y
13451:)
13446:1
13443:+
13440:k
13436:i
13432:(
13428:X
13422:)
13417:k
13413:j
13409:(
13405:Y
13399:)
13394:k
13390:i
13386:(
13382:X
13373:)
13368:1
13364:j
13360:(
13356:Y
13350:)
13345:1
13341:i
13337:(
13333:X
13328:[
13317:1
13314:+
13311:k
13307:j
13303:+
13298:1
13295:+
13292:k
13288:i
13284:+
13279:k
13275:j
13271:+
13266:k
13262:i
13258:+
13252:+
13247:1
13243:j
13239:+
13234:1
13230:i
13225:1
13216:1
13213:+
13210:k
13206:S
13199:s
13188:1
13185:+
13182:k
13175:k
13171:)
13167:1
13161:(
13148:0
13145:=
13142:k
13134:=
13131:Z
13099:.
13096:)
13093:k
13087:r
13081:1
13077:,
13074:0
13066:r
13062:j
13058:+
13053:r
13049:i
13044:,
13041:0
13033:r
13029:j
13025:,
13020:r
13016:i
13012:(
12999:,
12993:!
12990:)
12987:1
12984:=
12979:1
12976:+
12973:k
12969:j
12965:(
12962:!
12957:1
12954:+
12951:k
12947:i
12943:!
12938:k
12934:j
12930:!
12925:k
12921:i
12914:!
12909:1
12905:j
12901:!
12896:1
12892:i
12886:]
12880:)
12877:1
12874:=
12869:1
12866:+
12863:k
12859:j
12855:(
12851:Y
12845:)
12840:1
12837:+
12834:k
12830:i
12826:(
12822:X
12816:)
12811:k
12807:j
12803:(
12799:Y
12793:)
12788:k
12784:i
12780:(
12776:X
12767:)
12762:1
12758:j
12754:(
12750:Y
12744:)
12739:1
12735:i
12731:(
12727:X
12722:[
12713:)
12710:1
12707:=
12702:1
12699:+
12696:k
12692:j
12688:(
12685:+
12680:1
12677:+
12674:k
12670:i
12666:+
12661:k
12657:j
12653:+
12648:k
12644:i
12640:+
12634:+
12629:1
12625:j
12621:+
12616:1
12612:i
12607:1
12598:+
12586:!
12583:)
12580:0
12577:=
12572:1
12569:+
12566:k
12562:j
12558:(
12555:!
12552:)
12549:1
12546:=
12541:1
12538:+
12535:k
12531:i
12527:(
12524:!
12519:k
12515:j
12511:!
12506:k
12502:i
12495:!
12490:1
12486:j
12482:!
12477:1
12473:i
12467:]
12461:)
12458:0
12455:=
12450:1
12447:+
12444:k
12440:j
12436:(
12432:Y
12426:)
12423:1
12420:=
12415:1
12412:+
12409:k
12405:i
12401:(
12397:X
12391:)
12386:k
12382:j
12378:(
12374:Y
12368:)
12363:k
12359:i
12355:(
12351:X
12342:)
12337:1
12333:j
12329:(
12325:Y
12319:)
12314:1
12310:i
12306:(
12302:X
12297:[
12288:)
12285:0
12282:=
12277:1
12274:+
12271:k
12267:j
12263:(
12260:+
12257:)
12254:1
12251:=
12246:1
12243:+
12240:k
12236:i
12232:(
12229:+
12224:k
12220:j
12216:+
12211:k
12207:i
12203:+
12197:+
12192:1
12188:j
12184:+
12179:1
12175:i
12170:1
12161:0
12153:1
12150:+
12147:k
12143:i
12139:,
12134:k
12130:S
12123:s
12112:1
12109:+
12106:k
12099:k
12095:)
12091:1
12085:(
12072:0
12069:=
12066:k
12058:=
12055:Z
12025:.
12018:k
12012:r
12006:1
12002:,
11999:0
11991:r
11987:j
11983:+
11978:r
11974:i
11969:,
11966:0
11958:r
11954:j
11950:,
11945:r
11941:i
11936:,
11930:!
11925:1
11922:+
11919:k
11915:i
11911:!
11906:k
11902:j
11898:!
11893:k
11889:i
11882:!
11877:1
11873:j
11869:!
11864:1
11860:i
11854:]
11850:Y
11845:)
11840:1
11837:+
11834:k
11830:i
11826:(
11822:X
11816:)
11811:k
11807:j
11803:(
11799:Y
11793:)
11788:k
11784:i
11780:(
11776:X
11767:)
11762:1
11758:j
11754:(
11750:Y
11744:)
11739:1
11735:i
11731:(
11727:X
11722:[
11713:1
11710:+
11705:1
11702:+
11699:k
11695:i
11691:+
11686:k
11682:j
11678:+
11673:k
11669:i
11665:+
11659:+
11654:1
11650:j
11646:+
11641:1
11637:i
11632:1
11623:+
11611:!
11606:k
11602:j
11598:!
11593:k
11589:i
11582:!
11577:1
11573:j
11569:!
11564:1
11560:i
11554:]
11550:X
11545:)
11540:k
11536:j
11532:(
11528:Y
11522:)
11517:k
11513:i
11509:(
11505:X
11496:)
11491:1
11487:j
11483:(
11479:Y
11473:)
11468:1
11464:i
11460:(
11456:X
11451:[
11442:1
11439:+
11434:k
11430:j
11426:+
11421:k
11417:i
11413:+
11407:+
11402:1
11398:j
11394:+
11389:1
11385:i
11380:1
11371:0
11363:1
11360:+
11357:k
11353:i
11349:,
11344:k
11340:S
11333:s
11322:1
11319:+
11316:k
11309:k
11305:)
11301:1
11295:(
11282:0
11279:=
11276:k
11268:=
11265:Z
11246:Z
11229:/
11217:Z
11213:Z
11206:k
11202:S
11198:s
11186:k
11182:i
11170:e
11152:.
11145:k
11139:r
11133:1
11129:,
11126:0
11118:r
11114:j
11110:+
11105:r
11101:i
11096:,
11093:0
11085:r
11081:j
11077:,
11072:r
11068:i
11063:,
11057:!
11052:1
11049:+
11046:k
11042:i
11038:!
11033:k
11029:j
11025:!
11020:k
11016:i
11009:!
11004:1
11000:j
10996:!
10991:1
10987:i
10981:]
10977:Y
10972:)
10967:1
10964:+
10961:k
10957:i
10953:(
10949:X
10943:)
10938:k
10934:j
10930:(
10926:Y
10920:)
10915:k
10911:i
10907:(
10903:X
10894:)
10889:1
10885:j
10881:(
10877:Y
10871:)
10866:1
10862:i
10858:(
10854:X
10849:[
10839:1
10836:+
10833:k
10829:i
10825:+
10820:k
10816:j
10812:+
10807:k
10803:i
10799:+
10793:+
10788:1
10784:j
10780:+
10775:1
10771:i
10766:t
10758:+
10746:!
10741:k
10737:j
10733:!
10728:k
10724:i
10717:!
10712:1
10708:j
10704:!
10699:1
10695:i
10689:]
10685:X
10680:)
10675:k
10671:j
10667:(
10663:Y
10657:)
10652:k
10648:i
10644:(
10640:X
10631:)
10626:1
10622:j
10618:(
10614:Y
10608:)
10603:1
10599:i
10595:(
10591:X
10586:[
10576:k
10572:j
10568:+
10563:k
10559:i
10555:+
10549:+
10544:1
10540:j
10536:+
10531:1
10527:i
10522:t
10514:0
10506:1
10503:+
10500:k
10496:i
10492:,
10487:k
10483:S
10476:s
10465:1
10462:+
10459:k
10452:k
10448:)
10444:1
10438:(
10425:0
10422:=
10419:k
10411:=
10405:t
10402:d
10397:Z
10394:d
10353:,
10350:k
10344:r
10338:1
10334:,
10331:0
10323:r
10319:j
10315:+
10310:r
10306:i
10301:,
10298:0
10290:r
10286:j
10282:,
10277:r
10273:i
10268:,
10265:Y
10259:!
10254:1
10251:+
10248:k
10244:i
10240:!
10235:k
10231:j
10227:!
10222:k
10218:i
10211:!
10206:1
10202:j
10198:!
10193:1
10189:i
10179:1
10176:+
10173:k
10169:i
10164:X
10156:k
10152:j
10144:Y
10139:d
10136:a
10125:k
10121:i
10113:X
10108:d
10105:a
10091:1
10087:j
10079:Y
10074:d
10071:a
10060:1
10056:i
10048:X
10043:d
10040:a
10026:1
10023:+
10020:k
10016:i
10012:+
10007:k
10003:j
9999:+
9994:k
9990:i
9986:+
9980:+
9975:1
9971:j
9967:+
9962:1
9958:i
9953:t
9945:+
9936:X
9930:!
9925:k
9921:j
9917:!
9912:k
9908:i
9901:!
9896:1
9892:j
9888:!
9883:1
9879:i
9869:k
9865:j
9857:Y
9852:d
9849:a
9838:k
9834:i
9826:X
9821:d
9818:a
9804:1
9800:j
9792:Y
9787:d
9784:a
9773:1
9769:i
9761:X
9756:d
9753:a
9739:k
9735:j
9731:+
9726:k
9722:i
9718:+
9712:+
9707:1
9703:j
9699:+
9694:1
9690:i
9685:t
9677:0
9669:1
9666:+
9663:k
9659:i
9655:,
9650:k
9646:S
9639:s
9628:1
9625:+
9622:k
9615:k
9611:)
9607:1
9601:(
9588:0
9585:=
9582:k
9574:=
9568:t
9565:d
9560:Z
9557:d
9519:e
9516:e
9514:(
9508:e
9505:e
9503:(
9489:k
9487:2
9483:)
9480:k
9476:j
9471:k
9467:i
9463:1
9460:j
9456:1
9453:i
9449:s
9442:k
9438:S
9416:,
9413:k
9407:r
9401:1
9397:,
9394:0
9386:r
9382:j
9378:+
9373:r
9369:i
9364:,
9361:0
9353:r
9349:j
9345:,
9340:r
9336:i
9331:,
9325:!
9320:k
9316:j
9312:!
9307:k
9303:i
9296:!
9291:1
9287:j
9283:!
9278:1
9274:i
9264:k
9260:j
9255:Y
9247:k
9243:i
9238:X
9227:1
9223:j
9218:Y
9210:1
9206:i
9201:X
9190:k
9186:S
9179:s
9169:k
9163:1
9160:+
9157:k
9153:)
9149:1
9143:(
9130:1
9127:=
9124:k
9116:=
9112:)
9106:Y
9102:e
9096:X
9092:e
9087:(
9077:=
9074:Z
9056:)
9052:(
9035:.
9030:k
9025:)
9018:!
9015:j
9012:!
9009:i
9002:j
8998:Y
8992:i
8988:X
8974:1
8968:j
8965:+
8962:i
8959:,
8956:0
8950:j
8947:,
8944:i
8935:(
8928:k
8922:1
8919:+
8916:k
8912:)
8908:1
8902:(
8889:1
8886:=
8883:k
8875:=
8870:k
8865:)
8861:I
8852:!
8849:j
8843:j
8839:Y
8826:0
8823:=
8820:j
8809:!
8806:i
8800:i
8796:X
8783:0
8780:=
8777:i
8768:(
8761:k
8755:1
8752:+
8749:k
8745:)
8741:1
8735:(
8722:1
8719:=
8716:k
8708:=
8703:k
8697:)
8693:I
8685:Y
8681:e
8675:X
8671:e
8666:(
8658:k
8652:1
8649:+
8646:k
8642:)
8638:1
8632:(
8619:1
8616:=
8613:k
8605:=
8601:)
8595:Y
8591:e
8585:X
8581:e
8576:(
8538:!
8535:k
8529:k
8525:X
8512:0
8509:=
8506:k
8498:=
8493:X
8489:e
8478:,
8473:k
8468:)
8465:I
8459:A
8456:(
8449:k
8443:1
8440:+
8437:k
8433:)
8429:1
8423:(
8410:1
8407:=
8404:k
8396:=
8393:)
8390:A
8387:(
8360:)
8358:e
8355:e
8351:Z
8341:)
8337:(
8319:}
8315:Y
8308:X
8305:t
8300:d
8297:a
8291:e
8285:k
8280:)
8276:1
8266:Y
8263:t
8258:d
8255:a
8249:e
8241:X
8238:t
8233:d
8230:a
8224:e
8219:(
8214:+
8211:X
8206:k
8201:)
8197:1
8187:Y
8184:t
8179:d
8176:a
8170:e
8162:X
8159:t
8154:d
8151:a
8145:e
8140:(
8134:{
8127:1
8124:+
8121:k
8114:k
8110:)
8106:1
8100:(
8087:0
8084:=
8081:k
8073:=
8067:t
8064:d
8059:Z
8056:d
8036:n
8032:k
8026:5
7996:.
7993:k
7987:r
7981:1
7977:,
7974:0
7966:r
7962:j
7958:+
7953:r
7949:i
7944:,
7941:0
7933:r
7929:j
7925:,
7920:r
7916:i
7911:,
7905:!
7900:k
7896:j
7892:!
7887:k
7883:i
7876:!
7871:1
7867:j
7863:!
7858:1
7854:i
7848:]
7843:)
7838:k
7834:j
7830:(
7826:Y
7820:)
7815:k
7811:i
7807:(
7803:X
7794:)
7789:1
7785:j
7781:(
7777:Y
7771:)
7766:1
7762:i
7758:(
7754:X
7750:[
7739:k
7735:j
7731:+
7726:k
7722:i
7718:+
7712:+
7707:1
7703:j
7699:+
7694:1
7690:i
7685:1
7676:k
7672:S
7665:s
7655:k
7649:1
7643:k
7639:)
7635:1
7629:(
7616:1
7613:=
7610:k
7602:=
7599:Z
7585:t
7580:â«
7576:k
7567:Y
7563:X
7557:Z
7539:.
7535:)
7531:Y
7524:X
7519:d
7516:a
7510:t
7506:e
7502:+
7499:X
7495:(
7486:1
7480:n
7475:)
7471:1
7461:Y
7456:d
7453:a
7448:t
7444:e
7436:X
7431:d
7428:a
7422:t
7418:e
7413:(
7405:t
7402:d
7397:1
7392:0
7382:n
7376:1
7370:n
7366:)
7362:1
7356:(
7343:1
7340:=
7337:n
7329:=
7323:t
7320:d
7315:)
7312:t
7309:(
7306:Z
7303:d
7294:t
7291:d
7286:1
7281:0
7273:=
7270:)
7267:1
7264:(
7261:Z
7243:)
7241:5
7239:(
7222:,
7215:)
7211:Y
7204:X
7199:d
7196:a
7190:t
7186:e
7182:+
7179:X
7175:(
7166:1
7160:n
7155:)
7151:1
7141:Z
7136:d
7133:a
7127:e
7122:(
7115:n
7109:1
7103:n
7099:)
7095:1
7089:(
7076:1
7073:=
7070:n
7062:=
7055:Z
7018:,
7009:2
6992:Z
6987:d
6984:a
6975:,
6967:n
6963:)
6959:1
6953:)
6948:Z
6943:d
6940:a
6935:(
6926:(
6921:n
6915:1
6912:+
6909:n
6905:)
6901:1
6895:(
6882:1
6879:=
6876:n
6868:=
6857:)
6852:)
6848:1
6841:)
6836:Z
6831:d
6828:a
6823:(
6812:(
6808:+
6805:1
6801:(
6791:=
6787:)
6782:)
6777:Z
6772:d
6769:a
6764:(
6753:(
6743:=
6733:Z
6729:d
6725:a
6694:.
6690:)
6686:Y
6679:X
6674:d
6671:a
6665:t
6661:e
6657:+
6654:X
6650:(
6640:1
6630:Z
6625:d
6622:a
6616:e
6609:Z
6604:d
6601:a
6594:=
6590:)
6586:Y
6583:+
6580:X
6573:Y
6568:d
6565:a
6559:t
6552:e
6547:(
6533:Z
6528:d
6525:a
6516:e
6509:1
6503:Z
6498:d
6495:a
6488:=
6481:Z
6454:,
6448:Y
6445:+
6442:X
6435:Y
6430:d
6427:a
6421:t
6414:e
6410:=
6404:t
6401:d
6394:)
6391:t
6388:(
6385:Z
6381:e
6377:d
6369:)
6366:t
6363:(
6360:Z
6353:e
6326:,
6321:Y
6318:t
6314:e
6308:X
6305:t
6301:e
6297:=
6292:)
6289:t
6286:(
6283:Z
6279:e
6214:Y
6210:X
6199:Ï
6188:Z
6166:,
6163:Y
6158:)
6154:t
6151:d
6146:)
6138:Y
6127:t
6123:e
6112:X
6103:e
6098:(
6089:1
6084:0
6075:(
6071:+
6068:X
6065:=
6062:)
6059:Y
6050:X
6041:(
6032:=
6029:)
6026:1
6023:(
6020:Z
6007:t
5990:.
5987:Y
5983:)
5975:Y
5970:d
5967:a
5962:t
5958:e
5950:X
5945:d
5942:a
5936:e
5931:(
5924:=
5921:)
5918:t
5915:(
5908:Z
5877:Y
5872:d
5869:a
5864:t
5860:e
5852:X
5847:d
5844:a
5838:e
5834:=
5827:Z
5822:d
5819:a
5813:e
5763:w
5757:,
5752:m
5748:)
5744:1
5738:w
5735:(
5729:)
5726:1
5723:+
5720:m
5717:(
5714:m
5707:1
5704:+
5701:m
5697:)
5693:1
5687:(
5674:1
5671:=
5668:m
5660:+
5657:1
5654:=
5648:1
5642:w
5637:w
5628:w
5622:=
5619:)
5616:w
5613:(
5606:,
5603:Y
5599:)
5592:Z
5587:d
5584:a
5578:e
5574:(
5564:Y
5554:Z
5549:d
5546:a
5537:e
5530:1
5524:Z
5519:d
5516:a
5509:=
5506:)
5503:t
5500:(
5493:Z
5466:,
5463:)
5460:t
5457:(
5450:Z
5442:Z
5437:d
5434:a
5424:Z
5419:d
5416:a
5407:e
5400:1
5394:=
5391:Y
5378:Y
5361:.
5358:)
5355:t
5352:(
5345:Z
5337:Z
5332:d
5329:a
5319:Z
5314:d
5311:a
5302:e
5295:1
5289:=
5286:)
5283:)
5280:t
5277:(
5274:Z
5271:(
5259:t
5256:d
5252:d
5247:)
5244:)
5241:t
5238:(
5235:Z
5229:(
5206:)
5204:Y
5200:X
5196:Z
5178:,
5173:Y
5170:t
5166:e
5160:X
5156:e
5152:=
5147:)
5144:t
5141:(
5138:Z
5134:e
5120:)
5118:t
5116:(
5114:Z
5094:Ο
5087:Ο
5082:d
5069:G
5065:e
5059:g
5053:g
5042:g
5027:0
5023:d
5005:.
5002:V
4993:=
4990:n
4984:j
4981:,
4978:i
4972:1
4968:,
4962:,
4959:2
4953:,
4950:1
4944:=
4941:k
4937:,
4934:i
4928:2
4925:k
4917:j
4904:i
4885:X
4879:X
4868:X
4863:d
4856:j
4852:λ
4847:i
4843:λ
4834:λ
4827:X
4814:E
4805:E
4787:,
4781:+
4776:j
4773:i
4769:E
4763:j
4760:i
4746:+
4741:j
4738:i
4734:E
4730:)
4725:j
4712:i
4704:(
4701:=
4696:j
4693:i
4689:E
4683:X
4678:d
4675:a
4658:X
4650:m
4646:n
4642:j
4638:i
4627:E
4618:E
4607:ÎŽ
4599:ÎŽ
4591:)
4584:E
4582:(
4572:E
4566:i
4562:n
4555:n
4551:e
4533:,
4527:+
4522:i
4518:e
4512:i
4504:=
4499:i
4495:e
4491:X
4477:X
4471:V
4464:i
4460:e
4453:i
4449:λ
4443:X
4437:X
4430:X
4410:.
4404:,
4401:2
4395:,
4392:1
4386:=
4383:k
4380:,
4377:i
4371:2
4368:k
4360:j
4357:i
4337:d
4321:λ
4317:/
4314:)
4307:λ
4295:X
4282:λ
4264:,
4257:j
4254:i
4241:j
4238:i
4226:e
4219:1
4197:X
4191:/
4188:)
4185:X
4172:X
4167:U
4157:U
4153:/
4150:)
4148:U
4139:U
4137:(
4135:g
4129:U
4118:λ
4113:)
4106:λ
4104:(
4102:g
4097:)
4095:U
4093:(
4091:g
4085:U
4080:)
4078:U
4076:(
4074:g
4068:g
4061:X
4048:X
4042:/
4039:)
4036:X
4008:X
4003:d
4000:a
3989:X
3985:d
3981:a
3976:e
3969:1
3952:3
3945:x
3935:x
3929:C
3923:f
3917:C
3911:f
3905:Ï
3901:k
3897:C
3857:.
3848:t
3845:d
3840:X
3837:d
3827:X
3822:d
3819:a
3809:X
3804:d
3801:a
3792:e
3785:1
3777:X
3773:e
3769:=
3762:X
3758:s
3755:d
3748:X
3745:s
3740:d
3737:a
3728:e
3722:1
3717:0
3707:X
3703:e
3699:=
3689:s
3686:d
3679:X
3671:X
3668:s
3661:e
3655:d
3652:A
3645:1
3640:0
3630:X
3626:e
3622:=
3619:s
3616:d
3611:X
3608:s
3604:e
3596:X
3590:X
3587:)
3584:s
3578:1
3575:(
3571:e
3565:1
3560:0
3552:=
3543:)
3540:t
3537:(
3534:X
3530:e
3523:t
3520:d
3516:d
3492:s
3484:N
3480:/
3476:k
3464:k
3462:Î
3458:N
3452:k
3450:Î
3448:(
3441:N
3437:/
3433:k
3431:Î
3424:s
3422:Î
3417:N
3409:)
3407:t
3403:X
3398:)
3396:t
3394:(
3392:X
3370:,
3362:1
3356:k
3351:)
3345:N
3341:)
3338:t
3335:(
3332:X
3326:+
3323:1
3319:(
3311:t
3308:d
3303:)
3300:t
3297:(
3294:X
3291:d
3283:N
3280:1
3273:k
3267:N
3262:)
3256:N
3252:)
3249:t
3246:(
3243:X
3237:+
3234:1
3230:(
3223:N
3218:1
3215:=
3212:k
3196:N
3188:=
3176:N
3171:)
3165:N
3161:)
3158:t
3155:(
3152:X
3146:+
3143:1
3139:(
3131:t
3128:d
3124:d
3111:N
3103:=
3094:)
3091:t
3088:(
3085:X
3081:e
3074:t
3071:d
3067:d
3014:.
3008:t
3005:d
3000:)
2997:t
2994:(
2991:C
2988:d
2978:C
2973:d
2970:a
2960:C
2955:d
2952:a
2943:e
2936:1
2930:)
2927:C
2924:(
2915:=
2912:)
2909:)
2906:t
2903:(
2900:C
2897:(
2885:t
2882:d
2878:d
2850:,
2844:+
2839:2
2835:z
2828:!
2825:3
2821:1
2816:+
2813:z
2807:!
2804:2
2800:1
2795:+
2792:1
2789:=
2784:z
2780:1
2772:z
2768:e
2761:=
2758:)
2755:z
2752:(
2723:,
2712:C
2709:)
2706:)
2703:C
2700:(
2696:d
2693:a
2686:(
2680:)
2677:C
2674:(
2665:=
2662:)
2659:)
2656:t
2653:(
2650:C
2647:(
2635:t
2632:d
2628:d
2584:,
2578:t
2575:d
2570:X
2567:d
2557:X
2552:d
2549:a
2539:X
2534:d
2531:a
2522:e
2515:1
2509:=
2503:t
2500:d
2495:X
2492:d
2484:k
2480:)
2474:X
2469:d
2466:a
2461:(
2455:!
2452:)
2449:1
2446:+
2443:k
2440:(
2433:k
2429:)
2425:1
2419:(
2406:0
2403:=
2400:k
2392:=
2389:s
2386:d
2380:t
2377:d
2372:X
2369:d
2361:k
2357:)
2351:X
2346:d
2343:a
2338:(
2332:!
2329:k
2322:k
2318:s
2312:k
2308:)
2304:1
2298:(
2285:0
2282:=
2279:k
2269:1
2264:0
2256:=
2253:)
2250:t
2247:,
2244:1
2241:(
2224:2
2206:.
2203:s
2200:d
2193:X
2185:X
2182:s
2177:d
2174:a
2165:e
2159:1
2154:0
2146:=
2143:s
2140:d
2134:s
2115:1
2110:0
2102:=
2097:)
2094:t
2091:(
2088:X
2084:e
2077:t
2063:)
2060:t
2057:(
2054:X
2047:e
2043:=
2040:)
2037:t
2034:,
2031:1
2028:(
1993:,
1986:X
1978:X
1975:s
1970:d
1967:a
1958:e
1954:=
1947:X
1939:X
1936:s
1929:e
1923:d
1920:A
1915:=
1909:s
1869:.
1864:X
1861:s
1857:e
1850:t
1847:d
1842:X
1839:d
1831:X
1828:s
1821:e
1817:=
1813:]
1807:)
1804:t
1801:(
1798:X
1795:s
1791:e
1787:)
1784:t
1781:(
1778:X
1774:[
1767:t
1753:X
1750:s
1743:e
1739:+
1734:)
1731:t
1728:(
1725:X
1722:s
1718:e
1711:t
1699:)
1696:X
1690:(
1685:X
1682:s
1675:e
1671:=
1665:s
1616:.
1608:g
1600:X
1591:,
1584:X
1579:d
1576:a
1570:e
1566:=
1559:X
1555:e
1549:d
1546:A
1522:g
1518:X
1514:G
1510:A
1500:X
1496:A
1469:e
1464:s
1460:Î
1441:)
1438:t
1435:(
1432:X
1429:s
1425:e
1418:t
1404:)
1401:t
1398:(
1395:X
1392:s
1385:e
1381:=
1378:)
1375:t
1372:,
1369:s
1366:(
1349:s
1327:g
1322:e
1318:G
1316:T
1311:g
1305:g
1300:X
1296:g
1294:T
1288:e
1284:G
1277:G
1273:0
1270:g
1266:0
1262:d
1246:)
1244:3
1242:(
1225:Y
1218:X
1213:d
1210:a
1200:X
1195:d
1192:a
1183:e
1176:1
1168:X
1164:e
1160:=
1157:Y
1149:X
1141:d
1121:X
1117:t
1115:(
1113:Z
1095:Y
1092:=
1089:)
1086:0
1083:(
1076:Z
1072:,
1069:X
1066:=
1063:)
1060:0
1057:(
1054:Z
1051:,
1046:0
1043:=
1040:t
1035:|
1029:)
1026:t
1023:(
1020:Z
1016:e
1009:t
1006:d
1002:d
992:=
989:Y
981:X
973:d
959:)
957:X
952:G
947:X
943:g
938:X
933:d
927:X
916:d
903:)
901:R
897:n
891:)
889:C
885:n
881:G
871:C
866:â
857:.
852:t
850:(
848:X
838:t
836:(
834:X
827:g
818:G
814:X
791:2
780:X
774:/
771:)
768:X
752:G
743:G
731:)
729:2
727:(
710:.
705:k
701:)
695:X
690:d
687:a
682:(
676:!
673:)
670:1
667:+
664:k
661:(
654:k
650:)
646:1
640:(
627:0
624:=
621:k
613:=
606:X
601:d
598:a
588:X
583:d
580:a
571:e
564:1
541:X
535:/
532:)
529:X
509:Y
507:(
504:X
495:X
485:t
471:/
468:)
466:t
464:(
454:t
450:X
444:C
439:)
437:t
435:(
433:X
429:X
401:.
395:t
392:d
387:)
384:t
381:(
378:X
375:d
365:X
360:d
357:a
347:X
342:d
339:a
330:e
323:1
315:)
312:t
309:(
306:X
302:e
298:=
293:)
290:t
287:(
284:X
280:e
273:t
270:d
266:d
230:e
225:)
223:X
177:d
168:G
164:g
160:d
148:C
143:)
141:t
139:(
137:X
131:G
127:g
123:t
121:(
119:X
107:/
103:d
86:G
82:g
67:G
61:G
55:G
49:g
31:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.