Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

16.2: Sage Exercises

( \newcommand{\kernel}{\mathrm{null}\,}\)

1

Define the two rings Z11 and Z12 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, if it exists).

2

Define R to be the ring of integers, Z, by executing R = ZZ or R = Integers(). A command like R.ideal(4) will create the principal ideal 4. The same command can accept more than one generator, so for example, R.ideal(3, 5) will create the ideal {a3+b5a,bZ}. Create several ideals of 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.<t>=FiniteField(3^4).

  1. List the elements of F.
  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 Z3. 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.<z>=Integers(7)[] to construct a ring P of polynomials in z with coefficients from Z7.
  2. Use K = P.ideal(z^2+z+3) to build a principal ideal K generated by the polynomial z2+z+3.
  3. Use H = P.quotient(K) to build H, the quotient ring of P by K.
  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.

This page titled 16.2: Sage Exercises is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Thomas W. Judson (Abstract Algebra: Theory and Applications) via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?