Editing Special unitary group (section)

=== Lie algebra ===
The generators, {{mvar|T}}, of the Lie algebra <math>\mathfrak{su}(3)</math> of {{math|SU(3)}} in the defining (particle physics, Hermitian) representation, are

<math display="block">T_a = \frac{\lambda_a}{2}~,  </math>

where {{math|''λ''<sub>a</sub>}}, the [[Gell-Mann matrices]], are the {{math|SU(3)}} analog of the [[Pauli matrices]] for {{math|SU(2)}}:

<math display="block">\begin{align}
  \lambda_1 ={} &\begin{pmatrix} 0 &  1 &  0 \\ 1 &  0 &  0 \\ 0 & 0 &  0 \end{pmatrix}, & 
  \lambda_2 ={} &\begin{pmatrix} 0 & -i &  0 \\ i &  0 &  0 \\ 0 & 0 &  0 \end{pmatrix}, & 
  \lambda_3 ={} &\begin{pmatrix} 1 &  0 &  0 \\ 0 & -1 &  0 \\ 0 & 0 &  0 \end{pmatrix}, \\[6pt]
  \lambda_4 ={} &\begin{pmatrix} 0 &  0 &  1 \\ 0 &  0 &  0 \\ 1 & 0 &  0 \end{pmatrix}, & 
  \lambda_5 ={} &\begin{pmatrix} 0 &  0 & -i \\ 0 &  0 &  0 \\ i & 0 &  0 \end{pmatrix}, \\[6pt]
  \lambda_6 ={} &\begin{pmatrix} 0 &  0 &  0 \\ 0 &  0 &  1 \\ 0 & 1 &  0 \end{pmatrix}, & 
  \lambda_7 ={} &\begin{pmatrix} 0 &  0 &  0 \\ 0 &  0 & -i \\ 0 & i &  0 \end{pmatrix}, & 
  \lambda_8 = \frac{1}{\sqrt{3}}
                &\begin{pmatrix} 1 &  0 &  0 \\ 0 &  1 &  0 \\ 0 & 0 & -2 \end{pmatrix}.
\end{align}</math>

These {{math|''λ''<sub>a</sub>}} span all [[trace (linear algebra)|traceless]] [[Hermitian matrix|Hermitian matrices]] {{mvar|H}} of the [[Lie algebra]], as required. Note that {{math|''λ''<sub>2</sub>, ''λ''<sub>5</sub>, ''λ''<sub>7</sub>}} are antisymmetric.

They obey the relations

<math display="block">\begin{align}
    \left[T_a, T_b\right] &= i \sum_{c=1}^8 f_{abc} T_c, \\
  \left\{T_a, T_b\right\} &= \frac{1}{3} \delta_{ab} I_3 + \sum_{c=1}^8 d_{abc} T_c,
\end{align}</math>

or, equivalently,

<math display="block">\begin{align}
            \left[\lambda_a, \lambda_b\right] &= 2i \sum_{c=1}^8 f_{abc} \lambda_c, \\
             \{\lambda_a, \lambda_b\} &= \frac{4}{3}\delta_{ab} I_3 + 2\sum_{c=1}^8{d_{abc} \lambda_c}.
\end{align}</math>

The {{mvar|f}} are the [[structure constants]] of the Lie algebra, given by

<math display="block">\begin{align}
                                                      f_{123} &= 1, \\
  f_{147} = -f_{156} = f_{246} = f_{257} = f_{345} = -f_{367} &= \frac{1}{2}, \\
                                           f_{458} =  f_{678} &= \frac{\sqrt{3}}{2},
\end{align}</math>

while all other {{math|''f<sub>abc</sub>''}} not related to these by permutation are zero. In general, they vanish unless they contain an odd number of indices from the set {{math|{{mset|2, 5, 7}}}}.{{efn|So fewer than {{frac|1|6}} of all {{math|''f<sub>abc</sub>''}}s are non-vanishing.}}

The symmetric coefficients {{math|''d''}} take the values

<math display="block">\begin{align}
                                             d_{118} = d_{228} = d_{338} = -d_{888} &=  \frac{1}{\sqrt{3}} \\
                                             d_{448} = d_{558} = d_{668} =  d_{778} &= -\frac{1}{2\sqrt{3}} \\
  d_{344} = d_{355} = -d_{366} = -d_{377} = -d_{247} = d_{146} = d_{157} =  d_{256} &=  \frac{1}{2} ~.
\end{align}</math>

They vanish if the number of indices from the set {{math|{{mset|2, 5, 7}}}} is odd.

A generic {{math|SU(3)}} group element generated by a traceless 3×3 Hermitian matrix {{mvar|H}}, normalized as {{math|tr(''H''<sup>2</sup>) {{=}} 2}}, can be expressed as a ''second order'' matrix polynomial in {{mvar|H}}:<ref>{{cite journal|last1=Rosen|first1=S P|title=Finite Transformations in Various Representations of SU(3)|journal=Journal of Mathematical Physics|volume=12|issue=4|year=1971|pages=673–681 |doi=10.1063/1.1665634|bibcode=1971JMP....12..673R}};  {{cite journal|doi=10.1016/S0034-4877(15)30040-9|title= Elementary results for the fundamental representation of SU(3)|author1= Curtright, T L|author2=Zachos, C K|year=2015|journal=Reports on Mathematical Physics|volume=76|issue=3|pages=401–404|bibcode=2015RpMP...76..401C|arxiv=1508.00868|s2cid= 119679825}}</ref>

<math display="block">\begin{align}
  \exp(i\theta H) ={}
          &\left[-\frac{1}{3} I\sin\left(\varphi + \frac{2\pi}{3}\right) \sin\left(\varphi - \frac{2\pi}{3}\right) - \frac{1}{2\sqrt{3}}~H\sin(\varphi) - \frac{1}{4}~H^2\right]
           \frac{\exp\left(\frac{2}{\sqrt{3}}~i\theta\sin(\varphi)\right)}
                {\cos\left(\varphi + \frac{2\pi}{3}\right) \cos\left(\varphi - \frac{2\pi}{3}\right)} \\[6pt]
    & {} + \left[-\frac{1}{3}~I\sin(\varphi) \sin\left(\varphi - \frac{2\pi}{3}\right) - \frac{1}{2\sqrt{3}}~H\sin\left(\varphi + \frac{2\pi}{3}\right) - \frac{1}{4}~H^{2}\right]
           \frac{\exp\left(\frac{2}{\sqrt{3}}~i\theta \sin\left(\varphi + \frac{2\pi}{3}\right)\right)}
                {\cos(\varphi) \cos\left(\varphi - \frac{2\pi}{3}\right)} \\[6pt]
    & {} + \left[-\frac{1}{3}~I\sin(\varphi) \sin\left(\varphi + \frac{2\pi}{3}\right) - \frac{1}{2\sqrt{3}}~H \sin\left(\varphi - \frac{2\pi}{3}\right) - \frac{1}{4}~H^2\right]
           \frac{\exp\left(\frac{2}{\sqrt{3}}~i\theta \sin\left(\varphi - \frac{2\pi}{3}\right)\right)}
                {\cos(\varphi)\cos\left(\varphi + \frac{2\pi}{3}\right)}
\end{align}</math>
LP
where

<math display="block">\varphi \equiv \frac{1}{3}\left[\arccos\left(\frac{3\sqrt{3}}{2}\det H\right) - \frac{\pi}{2}\right].</math>