{ "cells": [ {"cell_type": "code", "execution_count":null, "metadata":{}, "source":["%%html\n\n\n\n\n\n\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":["

Section4.8Sage Exercises

"]}, {"cell_type":"markdown", "metadata":{}, "source":["
"]}, {"cell_type":"markdown", "metadata":{}, "source":["

This group of exercises is about the group of units mod $n\\text{,}$ $U(n)\\text{,}$ which is sometimes cyclic, sometimes not. There are some commands in Sage that will answer some of these questions very quickly, but instead of using those now, just use the basic techniques described. The idea here is to just work with elements, and lists of elements, to discern the subgroup structure of these groups.

"]}, {"cell_type":"markdown", "metadata":{}, "source":["

Sage worksheets have extensive capabilities for making new cells with carefully formatted text, include support for LaTeX syntax to express mathematics. So when a question asks for explanation or commentary, make a new cell and communicate clearly with your audience. Continue this practice in subsequent exercise sets.

"]}, {"cell_type":"markdown", "metadata":{}, "source":["
1

Execute the statement R = Integers(40) to create the set [0,1,2,...,39] This is a group under addition mod $40\\text{,}$ which we will ignore. Instead we are interested in the subset of elements which have an inverse under multiplication mod $40\\text{.}$ Determine how big this subgroup is by executing the command R.unit_group_order(), and then obtain a list of these elements with R.list_of_elements_of_multiplicative_group().

"]}, {"cell_type":"markdown", "metadata":{}, "source":["
2

You can create elements of this group by coercing regular integers into U, such as with the statement a = U(7). (Don't confuse this with our mathematical notation $U(40)\\text{.}$) This will tell Sage that you want to view $7$ as an element of $U\\text{,}$ subject to the corresponding operations. Determine the elements of the cyclic subgroup of $U$ generated by $7$ with a list comprehension as follows:

{"cell_type": "code", "execution_count":null, "metadata":{}, "source":["R = Integers(40)\na = R(7)\n[a^i for i in srange(16)]"], "outputs":[]}

What is the order of $7$ in $U(40)\\text{?}$

"]}, {"cell_type":"markdown", "metadata":{}, "source":["
3

The group $U(49)$ is cyclic. Using only the Sage commands described previously, use Sage to find a generator for this group. Now using only theorems about the structure of cyclic groups, describe each of the subgroups of $U(49)$ by specifying its order and by giving an explicit generator. Do not repeat any of the subgroups — in other words, present each subgroup exactly once. You can use Sage to check your work on the subgroups, but your answer about the subgroups should rely only on theorems and be a nicely written paragraph with a table, etc.

"]}, {"cell_type":"markdown", "metadata":{}, "source":["
4

The group $U(35)$ is not cyclic. Again, using only the Sage commands described previously, use computations to provide irrefutable evidence of this. How many of the $16$ different subgroups of $U(35)$ can you list?

"]}, {"cell_type":"markdown", "metadata":{}, "source":["
5

Again, using only the Sage commands described previously, explore the structure of $U(n)$ for various values of $n$ and see if you can formulate an interesting conjecture about some basic property of this group. (Yes, this is a very open-ended question, but this is ultimately the real power of exploring mathematics with Sage.)

"]} ], "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": "cyclic-sage-exercises.ipynb"} }