- formulasearchengine

General

Display information for equation id:math.222245.46 on revision:222245

* Page found: Isomorphism theorem (eq math.222245.46)

Occurrences on the following pages:

Isomorphism theorem Eq: math.222245.46

Hash: 5ec5668e5c51da0d7d5c8c0558d3a16f

TeX (original user input):

\Phi/\Psi= \{ ([a']_\Psi,[a'']_\Psi): (a',a'')\in \Phi\} = [\ ]_\Psi \circ \Phi \circ [\ ]_\Psi^{-1}

TeX (checked):

\Phi /\Psi =\{([a']_{\Psi },[a'']_{\Psi }):(a',a'')\in \Phi \}=[\ ]_{\Psi }\circ \Phi \circ [\ ]_{\Psi }^{-1}

LaTeXML (experimental; uses MathML) rendering

MathML (10.909 KB / 1.627 KB) :

{\displaystyle\Phi/\Psi=\{([a^{\prime}]_{\Psi},[a^{\prime\prime}]_{\Psi}):(a^{% \prime},a^{\prime\prime})\in\Phi\}=[\ ]_{\Psi}\circ\Phi\circ[\ ]_{\Psi}^{{-1}}}

<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle\Phi/\Psi=\{([a^{\prime}]_{\Psi},[a^{\prime\prime}]_{\Psi}):(a^{%&#10;\prime},a^{\prime\prime})\in\Phi\}=[\ ]_{\Psi}\circ\Phi\circ[\ ]_{\Psi}^{{-1}}}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.43" xref="p1.1.m1.1.43.cmml">
      <mrow id="p1.1.m1.1.43.2" xref="p1.1.m1.1.43.2.cmml">
        <mi mathvariant="normal" id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">Φ</mi>
        <mo id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">/</mo>
        <mi mathvariant="normal" id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">Ψ</mi>
      </mrow>
      <mo id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">=</mo>
      <mrow id="p1.1.m1.1.43.3" xref="p1.1.m1.1.43.3.1.cmml">
        <mo stretchy="false" id="p1.1.m1.1.5" xref="p1.1.m1.1.43.3.1.1.cmml">{</mo>
        <mrow id="p1.1.m1.1.43.3.2" xref="p1.1.m1.1.43.3.2.1.cmml">
          <mo stretchy="false" id="p1.1.m1.1.6" xref="p1.1.m1.1.43.3.2.1.cmml">(</mo>
          <msub id="p1.1.m1.1.43.3.2.2" xref="p1.1.m1.1.43.3.2.2.cmml">
            <mrow id="p1.1.m1.1.43.3.2.2.2" xref="p1.1.m1.1.43.3.2.2.2.1.cmml">
              <mo stretchy="false" id="p1.1.m1.1.7" xref="p1.1.m1.1.43.3.2.2.2.1.1.cmml">[</mo>
              <msup id="p1.1.m1.1.43.3.2.2.2.2" xref="p1.1.m1.1.43.3.2.2.2.2.cmml">
                <mi id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">a</mi>
                <mo id="p1.1.m1.1.9.1" xref="p1.1.m1.1.9.1.cmml">′</mo>
              </msup>
              <mo stretchy="false" id="p1.1.m1.1.10" xref="p1.1.m1.1.43.3.2.2.2.1.1.cmml">]</mo>
            </mrow>
            <mi mathvariant="normal" id="p1.1.m1.1.11.1" xref="p1.1.m1.1.11.1.cmml">Ψ</mi>
          </msub>
          <mo id="p1.1.m1.1.12" xref="p1.1.m1.1.43.3.2.1.cmml">,</mo>
          <msub id="p1.1.m1.1.43.3.2.3" xref="p1.1.m1.1.43.3.2.3.cmml">
            <mrow id="p1.1.m1.1.43.3.2.3.2" xref="p1.1.m1.1.43.3.2.3.2.1.cmml">
              <mo stretchy="false" id="p1.1.m1.1.13" xref="p1.1.m1.1.43.3.2.3.2.1.1.cmml">[</mo>
              <msup id="p1.1.m1.1.43.3.2.3.2.2" xref="p1.1.m1.1.43.3.2.3.2.2.cmml">
                <mi id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">a</mi>
                <mo id="p1.1.m1.1.15.1" xref="p1.1.m1.1.15.1.cmml">′′</mo>
              </msup>
              <mo stretchy="false" id="p1.1.m1.1.16" xref="p1.1.m1.1.43.3.2.3.2.1.1.cmml">]</mo>
            </mrow>
            <mi mathvariant="normal" id="p1.1.m1.1.17.1" xref="p1.1.m1.1.17.1.cmml">Ψ</mi>
          </msub>
          <mo stretchy="false" id="p1.1.m1.1.18" xref="p1.1.m1.1.43.3.2.1.cmml">)</mo>
        </mrow>
        <mo id="p1.1.m1.1.19" xref="p1.1.m1.1.43.3.1.1.cmml">:</mo>
        <mrow id="p1.1.m1.1.43.3.3" xref="p1.1.m1.1.43.3.3.cmml">
          <mrow id="p1.1.m1.1.43.3.3.1" xref="p1.1.m1.1.43.3.3.1.1.cmml">
            <mo stretchy="false" id="p1.1.m1.1.20" xref="p1.1.m1.1.43.3.3.1.1.cmml">(</mo>
            <msup id="p1.1.m1.1.43.3.3.1.2" xref="p1.1.m1.1.43.3.3.1.2.cmml">
              <mi id="p1.1.m1.1.21" xref="p1.1.m1.1.21.cmml">a</mi>
              <mo id="p1.1.m1.1.22.1" xref="p1.1.m1.1.22.1.cmml">′</mo>
            </msup>
            <mo id="p1.1.m1.1.23" xref="p1.1.m1.1.43.3.3.1.1.cmml">,</mo>
            <msup id="p1.1.m1.1.43.3.3.1.3" xref="p1.1.m1.1.43.3.3.1.3.cmml">
              <mi id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">a</mi>
              <mo id="p1.1.m1.1.25.1" xref="p1.1.m1.1.25.1.cmml">′′</mo>
            </msup>
            <mo stretchy="false" id="p1.1.m1.1.26" xref="p1.1.m1.1.43.3.3.1.1.cmml">)</mo>
          </mrow>
          <mo id="p1.1.m1.1.27" xref="p1.1.m1.1.27.cmml">∈</mo>
          <mi mathvariant="normal" id="p1.1.m1.1.28" xref="p1.1.m1.1.28.cmml">Φ</mi>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.29" xref="p1.1.m1.1.43.3.1.1.cmml">}</mo>
      </mrow>
      <mo id="p1.1.m1.1.30" xref="p1.1.m1.1.30.cmml">=</mo>
      <mrow id="p1.1.m1.1.43.4" xref="p1.1.m1.1.43.4.cmml">
        <msub id="p1.1.m1.1.43.4.1" xref="p1.1.m1.1.43.4.1.cmml">
          <mrow id="p1.1.m1.1.43.4.1.2" xref="p1.1.m1.1.43.4.1.cmml">
            <mo rspace="7.5pt" stretchy="false" id="p1.1.m1.1.31" xref="p1.1.m1.1.43.4.1.2.1.cmml">[</mo>
            <mo stretchy="false" id="p1.1.m1.1.33" xref="p1.1.m1.1.43.4.1.2.1.cmml">]</mo>
          </mrow>
          <mi mathvariant="normal" id="p1.1.m1.1.34.1" xref="p1.1.m1.1.34.1.cmml">Ψ</mi>
        </msub>
        <mo id="p1.1.m1.1.37" xref="p1.1.m1.1.37.cmml">∘</mo>
        <mi mathvariant="normal" id="p1.1.m1.1.36" xref="p1.1.m1.1.36.cmml">Φ</mi>
        <mo id="p1.1.m1.1.37a" xref="p1.1.m1.1.37.cmml">∘</mo>
        <msubsup id="p1.1.m1.1.43.4.2" xref="p1.1.m1.1.43.4.2.cmml">
          <mrow id="p1.1.m1.1.43.4.2.2.2" xref="p1.1.m1.1.43.4.2.cmml">
            <mo rspace="7.5pt" stretchy="false" id="p1.1.m1.1.38" xref="p1.1.m1.1.43.4.2.2.2.1.cmml">[</mo>
            <mo stretchy="false" id="p1.1.m1.1.40" xref="p1.1.m1.1.43.4.2.2.2.1.cmml">]</mo>
          </mrow>
          <mi mathvariant="normal" id="p1.1.m1.1.41.1" xref="p1.1.m1.1.41.1.cmml">Ψ</mi>
          <mrow id="p1.1.m1.1.42.1" xref="p1.1.m1.1.42.1.cmml">
            <mo id="p1.1.m1.1.42.1.1" xref="p1.1.m1.1.42.1.1.cmml">-</mo>
            <mn id="p1.1.m1.1.42.1.2" xref="p1.1.m1.1.42.1.2.cmml">1</mn>
          </mrow>
        </msubsup>
      </mrow>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.43.cmml" xref="p1.1.m1.1.43">
        <and id="p1.1.m1.1.43a.cmml" xref="p1.1.m1.1.43"/>
        <apply id="p1.1.m1.1.43b.cmml" xref="p1.1.m1.1.43">
          <eq id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4"/>
          <apply id="p1.1.m1.1.43.2.cmml" xref="p1.1.m1.1.43.2">
            <divide id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2"/>
            <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">Φ</ci>
            <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">Ψ</ci>
          </apply>
          <apply id="p1.1.m1.1.43.3.1.cmml" xref="p1.1.m1.1.43.3">
            <csymbol cd="latexml" id="p1.1.m1.1.43.3.1.1.cmml" xref="p1.1.m1.1.5">conditional-set</csymbol>
            <interval closure="open" id="p1.1.m1.1.43.3.2.1.cmml" xref="p1.1.m1.1.43.3.2">
              <apply id="p1.1.m1.1.43.3.2.2.cmml" xref="p1.1.m1.1.43.3.2.2">
                <csymbol cd="ambiguous" id="p1.1.m1.1.43.3.2.2.1.cmml" xref="p1.1.m1.1.43.3.2.2">subscript</csymbol>
                <apply id="p1.1.m1.1.43.3.2.2.2.1.cmml" xref="p1.1.m1.1.43.3.2.2.2">
                  <csymbol cd="latexml" id="p1.1.m1.1.43.3.2.2.2.1.1.cmml" xref="p1.1.m1.1.7">delimited-[]</csymbol>
                  <apply id="p1.1.m1.1.43.3.2.2.2.2.cmml" xref="p1.1.m1.1.43.3.2.2.2.2">
                    <csymbol cd="ambiguous" id="p1.1.m1.1.43.3.2.2.2.2.1.cmml" xref="p1.1.m1.1.43.3.2.2.2.2">superscript</csymbol>
                    <ci id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">𝑎</ci>
                    <ci id="p1.1.m1.1.9.1.cmml" xref="p1.1.m1.1.9.1">′</ci>
                  </apply>
                </apply>
                <ci id="p1.1.m1.1.11.1.cmml" xref="p1.1.m1.1.11.1">Ψ</ci>
              </apply>
              <apply id="p1.1.m1.1.43.3.2.3.cmml" xref="p1.1.m1.1.43.3.2.3">
                <csymbol cd="ambiguous" id="p1.1.m1.1.43.3.2.3.1.cmml" xref="p1.1.m1.1.43.3.2.3">subscript</csymbol>
                <apply id="p1.1.m1.1.43.3.2.3.2.1.cmml" xref="p1.1.m1.1.43.3.2.3.2">
                  <csymbol cd="latexml" id="p1.1.m1.1.43.3.2.3.2.1.1.cmml" xref="p1.1.m1.1.13">delimited-[]</csymbol>
                  <apply id="p1.1.m1.1.43.3.2.3.2.2.cmml" xref="p1.1.m1.1.43.3.2.3.2.2">
                    <csymbol cd="ambiguous" id="p1.1.m1.1.43.3.2.3.2.2.1.cmml" xref="p1.1.m1.1.43.3.2.3.2.2">superscript</csymbol>
                    <ci id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">𝑎</ci>
                    <ci id="p1.1.m1.1.15.1.cmml" xref="p1.1.m1.1.15.1">′′</ci>
                  </apply>
                </apply>
                <ci id="p1.1.m1.1.17.1.cmml" xref="p1.1.m1.1.17.1">Ψ</ci>
              </apply>
            </interval>
            <apply id="p1.1.m1.1.43.3.3.cmml" xref="p1.1.m1.1.43.3.3">
              <in id="p1.1.m1.1.27.cmml" xref="p1.1.m1.1.27"/>
              <interval closure="open" id="p1.1.m1.1.43.3.3.1.1.cmml" xref="p1.1.m1.1.43.3.3.1">
                <apply id="p1.1.m1.1.43.3.3.1.2.cmml" xref="p1.1.m1.1.43.3.3.1.2">
                  <csymbol cd="ambiguous" id="p1.1.m1.1.43.3.3.1.2.1.cmml" xref="p1.1.m1.1.43.3.3.1.2">superscript</csymbol>
                  <ci id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21">𝑎</ci>
                  <ci id="p1.1.m1.1.22.1.cmml" xref="p1.1.m1.1.22.1">′</ci>
                </apply>
                <apply id="p1.1.m1.1.43.3.3.1.3.cmml" xref="p1.1.m1.1.43.3.3.1.3">
                  <csymbol cd="ambiguous" id="p1.1.m1.1.43.3.3.1.3.1.cmml" xref="p1.1.m1.1.43.3.3.1.3">superscript</csymbol>
                  <ci id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24">𝑎</ci>
                  <ci id="p1.1.m1.1.25.1.cmml" xref="p1.1.m1.1.25.1">′′</ci>
                </apply>
              </interval>
              <ci id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28">Φ</ci>
            </apply>
          </apply>
        </apply>
        <apply id="p1.1.m1.1.43c.cmml" xref="p1.1.m1.1.43">
          <eq id="p1.1.m1.1.30.cmml" xref="p1.1.m1.1.30"/>
          <share href="#p1.1.m1.1.43.3.cmml" id="p1.1.m1.1.43d.cmml" xref="p1.1.m1.1.43"/>
          <apply id="p1.1.m1.1.43.4.cmml" xref="p1.1.m1.1.43.4">
            <compose id="p1.1.m1.1.37.cmml" xref="p1.1.m1.1.37"/>
            <apply id="p1.1.m1.1.43.4.1.cmml" xref="p1.1.m1.1.43.4.1">
              <csymbol cd="ambiguous" id="p1.1.m1.1.43.4.1.1.cmml" xref="p1.1.m1.1.43.4.1">subscript</csymbol>
              <list id="p1.1.m1.1.43.4.1.2.1.cmml" xref="p1.1.m1.1.31"/>
              <ci id="p1.1.m1.1.34.1.cmml" xref="p1.1.m1.1.34.1">Ψ</ci>
            </apply>
            <ci id="p1.1.m1.1.36.cmml" xref="p1.1.m1.1.36">Φ</ci>
            <apply id="p1.1.m1.1.43.4.2.cmml" xref="p1.1.m1.1.43.4.2">
              <csymbol cd="ambiguous" id="p1.1.m1.1.43.4.2.1.cmml" xref="p1.1.m1.1.43.4.2">superscript</csymbol>
              <apply id="p1.1.m1.1.43.4.2.2.cmml" xref="p1.1.m1.1.43.4.2">
                <csymbol cd="ambiguous" id="p1.1.m1.1.43.4.2.2.1.cmml" xref="p1.1.m1.1.43.4.2">subscript</csymbol>
                <list id="p1.1.m1.1.43.4.2.2.2.1.cmml" xref="p1.1.m1.1.38"/>
                <ci id="p1.1.m1.1.41.1.cmml" xref="p1.1.m1.1.41.1">Ψ</ci>
              </apply>
              <apply id="p1.1.m1.1.42.1.cmml" xref="p1.1.m1.1.42.1">
                <minus id="p1.1.m1.1.42.1.1.cmml" xref="p1.1.m1.1.42.1.1"/>
                <cn type="integer" id="p1.1.m1.1.42.1.2.cmml" xref="p1.1.m1.1.42.1.2">1</cn>
              </apply>
            </apply>
          </apply>
        </apply>
      </apply>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle\Phi/\Psi=\{([a^{\prime}]_{\Psi},[a^{\prime\prime}]_{\Psi}):(a^{%
\prime},a^{\prime\prime})\in\Phi\}=[\ ]_{\Psi}\circ\Phi\circ[\ ]_{\Psi}^{{-1}}}</annotation>
  </semantics>
</math>

SVG (13.77 KB / 4.008 KB) :

SVG with PNG fallback (MathML can be enabled via browser plugin) rendering

MathML (2.647 KB / 551 B) :

\Phi /\Psi =\{([a']_{\Psi },[a'']_{\Psi }):(a',a'')\in \Phi \}=[\ ]_{\Psi }\circ \Phi \circ [\ ]_{\Psi }^{-1}

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \Phi /\Psi =\{([a']_{\Psi },[a'']_{\Psi }):(a',a'')\in \Phi \}=[\ ]_{\Psi }\circ \Phi \circ [\ ]_{\Psi }^{-1}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mi mathvariant="normal">&#x03A6;<!-- Φ --></mi>
        <mrow class="MJX-TeXAtom-ORD">
          <mo>/</mo>
        </mrow>
        <mi mathvariant="normal">&#x03A8;<!-- Ψ --></mi>
        <mo>=</mo>
        <mo fence="false" stretchy="false">{</mo>
        <mo stretchy="false">(</mo>
        <mo stretchy="false">[</mo>
        <msup>
          <mi>a</mi>
          <mo>&#x2032;</mo>
        </msup>
        <msub>
          <mo stretchy="false">]</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi mathvariant="normal">&#x03A8;<!-- Ψ --></mi>
          </mrow>
        </msub>
        <mo>,</mo>
        <mo stretchy="false">[</mo>
        <msup>
          <mi>a</mi>
          <mo>&#x2033;</mo>
        </msup>
        <msub>
          <mo stretchy="false">]</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi mathvariant="normal">&#x03A8;<!-- Ψ --></mi>
          </mrow>
        </msub>
        <mo stretchy="false">)</mo>
        <mo>:</mo>
        <mo stretchy="false">(</mo>
        <msup>
          <mi>a</mi>
          <mo>&#x2032;</mo>
        </msup>
        <mo>,</mo>
        <msup>
          <mi>a</mi>
          <mo>&#x2033;</mo>
        </msup>
        <mo stretchy="false">)</mo>
        <mo>&#x2208;<!-- ∈ --></mo>
        <mi mathvariant="normal">&#x03A6;<!-- Φ --></mi>
        <mo fence="false" stretchy="false">}</mo>
        <mo>=</mo>
        <mo stretchy="false">[</mo>
        <mtext>&#xA0;</mtext>
        <msub>
          <mo stretchy="false">]</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi mathvariant="normal">&#x03A8;<!-- Ψ --></mi>
          </mrow>
        </msub>
        <mo>&#x2218;<!-- ∘ --></mo>
        <mi mathvariant="normal">&#x03A6;<!-- Φ --></mi>
        <mo>&#x2218;<!-- ∘ --></mo>
        <mo stretchy="false">[</mo>
        <mtext>&#xA0;</mtext>
        <msubsup>
          <mo stretchy="false">]</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi mathvariant="normal">&#x03A8;<!-- Ψ --></mi>
          </mrow>
          <mrow class="MJX-TeXAtom-ORD">
            <mo>&#x2212;<!-- − --></mo>
            <mn>1</mn>
          </mrow>
        </msubsup>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle \Phi /\Psi =\{([a']_{\Psi },[a'']_{\Psi }):(a',a'')\in \Phi \}=[\ ]_{\Psi }\circ \Phi \circ [\ ]_{\Psi }^{-1}}</annotation>
  </semantics>
</math>

SVG (9.767 KB / 3.504 KB) :

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Identifiers

$\Phi$

$\Psi$

$a'$

$\Psi$

$a''$

$\Psi$

$a'$

$a''$

$\Phi$

$\Psi$

$\Phi$

$\Psi$

MathML observations

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

General

LaTeXML (experimental; uses MathML) rendering

SVG with PNG fallback (MathML can be enabled via browser plugin) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

General

LaTeXML (experimental; uses MathML) rendering

SVG with PNG fallback (MathML can be enabled via browser plugin) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

Search