rings-sage-exercises.ipynb

Kernel:

%%html
<link href="http://mathbook.pugetsound.edu/beta/mathbook-content.css" rel="stylesheet" type="text/css" />
<link href="https://aimath.org/mathbook/mathbook-add-on.css" rel="stylesheet" type="text/css" />
<style>.subtitle {font-size:medium; display:block}</style>
<link href="https://fonts.googleapis.com/css?family=Open+Sans:400,400italic,600,600italic" rel="stylesheet" type="text/css" />
<link href="https://fonts.googleapis.com/css?family=Inconsolata:400,700&subset=latin,latin-ext" rel="stylesheet" type="text/css" /><!-- Hide this cell. -->
<script>
var cell = $(".container .cell").eq(0), ia = cell.find(".input_area")
if (cell.find(".toggle-button").length == 0) {
ia.after(
    $('<button class="toggle-button">Toggle hidden code</button>').click(
        function (){ ia.toggle() }
        )
    )
ia.hide()
}
</script>

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.

ParseError: KaTeX parse error: \newcommand{\lt} attempting to redefine \lt; use \renewcommand

Section16.10Sage Exercises

¶

1

Define the two rings ${\mathbb Z}_{11}$ and ${\mathbb Z}_{12}$ with the commands R = Integers(11) and S = Integers(12). For each ring, use the relevant command to determine: if the ring is finite, if it is commutative, if it is an integral domain and if it is a field. Then use single Sage commands to find the order of the ring, list the elements, and output the multiplicative identity (i.e. $1\text{,}$ if it exists).

2

Define R to be the ring of integers, ${\mathbb Z}\text{,}$ by executing R = ZZ or R = Integers(). A command like R.ideal(4) will create the principal ideal $\langle 4\rangle\text{.}$ The same command can accept more than one generator, so for example, R.ideal(3, 5) will create the ideal $\{a\cdot 3+ b\cdot 5\mid a,b\in{\mathbb Z}\}\text{.}$ Create several ideals of ${\mathbb Z}$ with two generators and ask Sage to print each as you create it. Explain what you observe and then create code that will test your observation for thousands of different examples.

3

Create a finite field $F$ of order 81 with F.[removed]=FiniteField(3^4).

1. List the elements of $F\text{.}$

2. Obtain the generators of $F$ with F.gens().

3. Obtain the first generator of $F$ and save it as u with u = F.0 (alternatively, u = F.gen(0)).

4. Compute the first 80 powers of u and comment.

5. The generator you have worked with above is a root of a polynomial over ${\mathbb Z}_3\text{.}$ Obtain this polynomial with F.modulus() and use this observation to explain the entry in your list of powers that is the fourth power of the generator.

4

Build and analyze a quotient ring as follows:

1. Use P.[removed]=Integers(7)[] to construct a ring $P$ of polynomials in $z$ with coefficients from ${\mathbb Z}_7\text{.}$

2. Use K = P.ideal(z^2+z+3) to build a principal ideal $K$ generated by the polynomial $z^2+z+3\text{.}$

3. Use H = P.quotient(K) to build $H\text{,}$ the quotient ring of $P$ by $K\text{.}$

4. Use Sage to verify that $H$ is a field.

5. As in the previous exercise, obtain a generator and examine the proper collection of powers of that generator.