|
\Large Name of class \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Template}{edit} % Note: replace "Template" with Name_of_class in previous line |
|
\Large Lie algebras \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Lie_algebras}{edit} |
|
\abbreviation{Abbr} |
|
\abbreviation{LieA} |
|
A ... is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle ...\rangle$ such that $\langle A,...\rangle$ is a \href{Name_of_class.pdf}{name of class} |
|
A Lie algebra is a \href{Bilinear_algebras.pdf}{bilinear algebra} $\mathbf{A}=\langle A,+,-,0,\cdot,s_r\ (r\in F)\rangle$ over a \href{Fields.pdf}{field} $\mathbf F$ such that |
|
$op_1$ is (name of property): $axiom_1$ |
|
$xx=0$ and |
|
$op_2$ is ...: $...$ |
|
$(xy)z + (yz)x + (zx)y = 0$. |
|
Classtype & (value, see description) \cite{Ln19xx} \\\hline |
|
Classtype & variety \\\hline |
|
\href{....pdf}{...} supervariety \href{....pdf}{...} subreduct |
|
\href{Bilinear_algebras.pdf}{Bilinear algebras} |