Error Parsing Jupyter Notebook
SyntaxError: Unexpected token c in JSON at position 4501
{ "cells": [ {"cell_type": "code", "execution_count":null, "metadata":{}, "source":["%%html\n<link href=\"http://mathbook.pugetsound.edu/beta/mathbook-content.css\" rel=\"stylesheet\" type=\"text/css\" />\n<link href=\"https://aimath.org/mathbook/mathbook-add-on.css\" rel=\"stylesheet\" type=\"text/css\" />\n<style>.subtitle {font-size:medium; display:block}</style>\n<link href=\"https://fonts.googleapis.com/css?family=Open+Sans:400,400italic,600,600italic\" rel=\"stylesheet\" type=\"text/css\" />\n<link href=\"https://fonts.googleapis.com/css?family=Inconsolata:400,700&subset=latin,latin-ext\" rel=\"stylesheet\" type=\"text/css\" /><!-- Hide this cell. -->\n<script>\nvar cell = $(\".container .cell\").eq(0), ia = cell.find(\".input_area\")\nif (cell.find(\".toggle-button\").length == 0) {\nia.after(\n $('<button class=\"toggle-button\">Toggle hidden code</button>').click(\n function (){ ia.toggle() }\n )\n )\nia.hide()\n}\n</script>\n"], "outputs":[]}, {"cell_type":"markdown", "metadata":{}, "source":["**Important:** to view this notebook properly you will need to execute the cell above, which assumes you have an Internet connection. It should already be selected, or place your cursor anywhere above to select. Then press the \"Run\" button in the menu bar above (the right-pointing arrowhead), or press Shift-Enter on your keyboard."]}, {"cell_type":"markdown", "metadata":{}, "source":["$\\newcommand{\\identity}{\\mathrm{id}}\n\\newcommand{\\notdivide}{\\nmid}\n\\newcommand{\\notsubset}{\\not\\subset}\n\\newcommand{\\lcm}{\\operatorname{lcm}}\n\\newcommand{\\gf}{\\operatorname{GF}}\n\\newcommand{\\inn}{\\operatorname{Inn}}\n\\newcommand{\\aut}{\\operatorname{Aut}}\n\\newcommand{\\Hom}{\\operatorname{Hom}}\n\\newcommand{\\cis}{\\operatorname{cis}}\n\\newcommand{\\chr}{\\operatorname{char}}\n\\newcommand{\\Null}{\\operatorname{Null}}\n\\newcommand{\\lt}{<}\n\\newcommand{\\gt}{>}\n\\newcommand{\\amp}{&}\n$"]}, {"cell_type":"markdown", "metadata":{}, "source":["<div class=\"mathbook-content\"><h2 class=\"heading hide-type\" alt=\"Exercises 14.8 Sage Exercises\"><span class=\"type\">Section</span><span class=\"codenumber\">14.8</span><span class=\"title\">Sage Exercises</span></h2><a href=\"actions-sage-exercises.ipynb\" class=\"permalink\">¶</a></div>"]}, {"cell_type":"markdown", "metadata":{}, "source":["<div class=\"mathbook-content\"><article class=\"exercise-like\" id=\"exercise-493\"><h6 class=\"heading\"><span class=\"codenumber\">1</span></h6><p id=\"p-2161\">Construct the Higman-Sims graph with the command <code class=\"code-inline tex2jax_ignore\">graphs.HigmanSimsGraph()</code>. Then construct the automorphism group and determine the order of the one interesting normal subgroup of this group. You can try plotting the graph, but the graphic is unlikely to be very informative.</p></article></div>"]}, {"cell_type":"markdown", "metadata":{}, "source":["<div class=\"mathbook-content\"><article class=\"exercise-like\" id=\"exercise-494\"><h6 class=\"heading\"><span class=\"codenumber\">2</span></h6><p id=\"p-2162\">This exercise asks you to verify the class equation outside of the usual situation where the group action is conjugation. Consider the example of the automorphism group of the path on $11$ vertices. First construct the list of orbits. From each orbit, grab the first element of the orbit as a representative. Compute the size of the orbit as the index of the stabilizer of the representative in the group via Theorem <a href=\"section-groups-acting-on-sets.ipynb#theorem-orbit\" class=\"xref\" alt=\"Theorem 14.11 \" title=\"Theorem 14.11 \">14.11</a>. (Yes, you could just compute the size of the full orbit, but the idea of the exercise is to use more group-theoretic results.) Then sum these orbit-sizes, which should equal the size of the whole vertex set since the orbits form a partition.</p></article></div>"]}, {"cell_type":"markdown", "metadata":{}, "source":["<div class=\"mathbook-content\"><article class=\"exercise-like\" id=\"exercise-495\"><h6 class=\"heading\"><span class=\"codenumber\">3</span></h6><p id=\"p-2163\">Construct a simple graph (no loops or multiple edges), with at least two vertices and at least one edge, whose automorphism group is trivial. You might start experimenting by drawing pictures on paper before constructing the graph. A command like the following will let you construct a graph from edges. The graph below looks like a triangle or $3$-cycle.</p>{"cell_type": "code", "execution_count":null, "metadata":{}, "source":["G = Graph([(1,2), (2,3), (3,1)])\nG.plot()"], "outputs":[]}</article></div>"]}, {"cell_type":"markdown", "metadata":{}, "source":["<div class=\"mathbook-content\"><article class=\"exercise-like\" id=\"exercise-496\"><h6 class=\"heading\"><span class=\"codenumber\">4</span></h6><p id=\"p-2164\">For the following two pairs of groups, compute the list of conjugacy class representatives for each group in the pair. For each part, compare and contrast the results for the two groups in the pair, with thoughtful and insightful comments.</p><ol class=\"lower-alpha\"><li id=\"li-488\"><p id=\"p-2165\">The full symmetric group on 5 symbols, $S_5\\text{,}$ and the alternating group on 5 symbols, $A_5\\text{.}$</p></li><li id=\"li-489\"><p id=\"p-2166\">The dihedral groups that are symmetries of a $7$-gon and an $8$-gon, $D_{7}$ and $D_{8}\\text{.}$</p></li></ol></article></div>"]}, {"cell_type":"markdown", "metadata":{}, "source":["<div class=\"mathbook-content\"><article class=\"exercise-like\" id=\"exercise-497\"><h6 class=\"heading\"><span class=\"codenumber\">5</span></h6><p id=\"p-2167\">Use the command <code class=\"code-inline tex2jax_ignore\">graphs.CubeGraph(4)</code> to build the four-dimensional cube graph, $Q_4\\text{.}$ Using a plain <code class=\"code-inline tex2jax_ignore\">.plot()</code> command (without a spring layout) should create a nice plot. Construct the automorphism group of the graph, which will provide a group action on the vertex set.</p><ol class=\"lower-alpha\"><li id=\"li-490\"><p id=\"p-2168\">Construct the orbits of this action, and comment.</p></li><li id=\"li-491\"><p id=\"p-2169\">Construct a stabilizer of a single vertex (which is a subgroup of the full automorphism group) and then consider the action of <em class=\"emphasis\">this</em> group on the vertex set. Construct the orbits of this new action, and comment carefully and fully on your observations, especially in terms of the vertices of the graph.</p></li></ol></article></div>"]}, {"cell_type":"markdown", "metadata":{}, "source":["<div class=\"mathbook-content\"><article class=\"exercise-like\" id=\"exercise-498\"><h6 class=\"heading\"><span class=\"codenumber\">6</span></h6><p id=\"p-2170\">Build the graph given by the commands below. The result should be a symmetric-looking graph with an automorphism group of order $16\\text{.}$</p>{"cell_type": "code", "execution_count":null, "metadata":{}, "source":["G = graphs.CycleGraph(8)\nG.add_edges([(0,2),(1,3),(4,6),(5,7)])\nG.plot()"], "outputs":[]}<p id=\"p-2171\">Repeat the two parts of the previous exercise, but realize that in the second part there are now two different stabilizers to create, so build both and compare the differences in the stabilizers and their orbits. Creating a second plot with <code class=\"code-inline tex2jax_ignore\">G.plot(layout='planar')</code> might provide extra insight.</p></article></div>"]} ], "nbformat": 4, "nbformat_minor": 0, "metadata": {"kernelspec": {"display_name": "", "name": "sagemath"}, "language_info": {"codemirror_mode": {"name": "ipython", "version": 2}, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython2", "version": "2.7.8"}, "name": "actions-sage-exercises.ipynb"} }