<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=209.119.70.1</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=209.119.70.1"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/209.119.70.1"/>
	<updated>2026-05-02T02:46:34Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Quantum_phase_transition&amp;diff=6181</id>
		<title>Quantum phase transition</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Quantum_phase_transition&amp;diff=6181"/>
		<updated>2013-07-15T16:29:31Z</updated>

		<summary type="html">&lt;p&gt;209.119.70.1: The text (and a relevant link) has been updated to reflect the fact that the &amp;quot;order&amp;quot; of a phase transition refers to the derivative of free energy which is discontinuous at the transition rather than to an order of approximation.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{Group theory sidebar |Topological}}&lt;br /&gt;
&lt;br /&gt;
In [[mathematics]], &#039;&#039;&#039;SO(8)&#039;&#039;&#039; is the [[special orthogonal group]] acting on eight-dimensional [[Euclidean space]]. It could be either a real or complex [[simple Lie group]] of rank 4 and dimension 28.&lt;br /&gt;
&lt;br /&gt;
==Spin(8)==&lt;br /&gt;
Like all special orthogonal groups of &amp;lt;math&amp;gt;n &amp;gt; 2&amp;lt;/math&amp;gt;, SO(8) is not [[simply connected]], having a [[fundamental group]] [[isomorphic]] to [[cyclic group|&#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;]]. The [[universal cover]] of SO(8) is the [[spin group]] &#039;&#039;&#039;Spin(8)&#039;&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
==Center==&lt;br /&gt;
The [[center of a group|center]] of SO(8) is &#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;, the diagonal matrices {±I} (as for all SO(2&#039;&#039;n&#039;&#039;) for 2&#039;&#039;n&#039;&#039; &amp;gt; 2), while the center of Spin(8) is &#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;&amp;amp;times;&#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; (as for all Spin(4&#039;&#039;n&#039;&#039;), 4&#039;&#039;n&#039;&#039; &amp;gt; 0).&lt;br /&gt;
&lt;br /&gt;
==Triality==&lt;br /&gt;
{{main|Triality}}&lt;br /&gt;
[[Image:Dynkin diagram D4.png|thumb|[[Dynkin diagram]] of SO(8), (D&amp;lt;sub&amp;gt;4&amp;lt;/sub&amp;gt;)]]&lt;br /&gt;
&lt;br /&gt;
SO(8) is unique among the [[simple Lie group]]s in that its [[Dynkin diagram]] (shown right) (D&amp;lt;sub&amp;gt;4&amp;lt;/sub&amp;gt; under the Dynkin classification) possesses a three-fold [[symmetry]]. This gives rise to peculiar feature of Spin(8) known as [[triality]]. Related to this is the fact that the two [[spinor]] [[group representation|representations]], as well as the [[fundamental representation|fundamental]] vector representation, of Spin(8) are all eight-dimensional (for all other spin groups the spinor representation is either smaller or larger than the vector representation). The triality [[automorphism]] of Spin(8) lives in the [[outer automorphism group]] of Spin(8) which is isomorphic to the [[symmetric group]] S&amp;lt;sub&amp;gt;3&amp;lt;/sub&amp;gt; that permutes these three representations. The automorphism group acts on the center &#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; x &#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; (which also has automorphism group isomorphic to &#039;&#039;S&#039;&#039;&amp;lt;sub&amp;gt;3&amp;lt;/sub&amp;gt; which may also be considered as the [[general linear group]] over the finite field with two elements,  &#039;&#039;S&#039;&#039;&amp;lt;sub&amp;gt;3&amp;lt;/sub&amp;gt; ≅GL(2,2)). When one quotients Spin(8) by one central &#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;, breaking this symmetry and obtaining SO(8), the remaining [[outer automorphism group]] is only &#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;. The triality symmetry acts again on the further quotient SO(8)/&#039;&#039;&#039;Z&#039;&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Sometimes Spin(8) appears naturally in an &amp;quot;enlarged&amp;quot; form, as the automorphism group of Spin(8), which breaks up as a [[semidirect product]]: Aut(Spin(8)) ≅ Spin (8) ⋊ &#039;&#039;S&#039;&#039;&amp;lt;sub&amp;gt;3&amp;lt;/sub&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
==[[Root system]]==&lt;br /&gt;
&amp;lt;math&amp;gt;(\pm 1,\pm 1,0,0)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;(\pm 1,0,\pm 1,0)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;(\pm 1,0,0,\pm 1)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;(0,\pm 1,\pm 1,0)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;(0,\pm 1,0,\pm 1)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;(0,0,\pm 1,\pm 1)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==[[Weyl group]]==&lt;br /&gt;
Its [[Weyl group|Weyl]]/[[Coxeter group]] has 4!&amp;amp;times;8=192 elements.&lt;br /&gt;
&lt;br /&gt;
==[[Cartan matrix]]==&lt;br /&gt;
&amp;lt;math&amp;gt;&lt;br /&gt;
\begin{pmatrix}&lt;br /&gt;
2  &amp;amp; -1 &amp;amp; -1 &amp;amp; -1\\&lt;br /&gt;
-1 &amp;amp;  2 &amp;amp;  0 &amp;amp;  0\\&lt;br /&gt;
-1 &amp;amp;  0 &amp;amp;  2 &amp;amp;  0\\&lt;br /&gt;
-1 &amp;amp;  0 &amp;amp;  0 &amp;amp;  2&lt;br /&gt;
\end{pmatrix}&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[Octonions]]&lt;br /&gt;
* [[Clifford algebra]]&lt;br /&gt;
* [[G2 (mathematics)|&#039;&#039;G&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;]]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
*{{citation|last=Adams|first=J.F.|authorlink=Frank Adams|title=Lectures on exceptional Lie groups|series=Chicago Lectures in Mathematics|publisher= [[University of Chicago Press]]|year= 1996|isbn= 0-226-00526-7}}&lt;br /&gt;
*{{citation|last=Chevalley|first=Claude|authorlink=Claude Chevalley|title=The algebraic theory of spinors and Clifford algebras|series=Collected works|volume=2|publisher=Springer-Verlag|year=1997|isbn= 3-540-57063-2}} (originally published in 1954 by [[Columbia University Press]]) &lt;br /&gt;
*{{citation|last=Porteous|first= Ian R.|authorlink=Ian R. Porteous|title=Clifford algebras and the classical groups|series=&lt;br /&gt;
Cambridge Studies in Advanced Mathematics|volume= 50|publisher= [[Cambridge University Press]]|year= 1995|isbn= 0-521-55177-3}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Lie groups]]&lt;/div&gt;</summary>
		<author><name>209.119.70.1</name></author>
	</entry>
</feed>