[skip-to-content]
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\gcd}{\operatorname{mcd}} \renewcommand{\lcm}{\operatorname{mcm}} \renewcommand{\deg}{\operatorname{gr}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Sección2.7Ejercicios en Sage

Estos ejercicios se tratan de investigar propiedades básicas de los enteros, algo que frecuentemente haremos al investigar grupos. Las hojas de trabajo de Sage tienen extensas capacidades para hacer celdas con texto cuidadosamente formateado, incluyendo la posibilidad de usar comandos para expresar matemáticas. Así si una pregunta pide explicaciones o comentarios, haga una nueva celda y comuníquese claramente con su audiencia.

1

Use el comando next_prime() para construir dos primos diferentes de 8 dígitos cada uno y guárdelos en variables llamadas a y b.

2

Use el método .is_prime() para verificar que sus primos a y b son realmente primos.

3

Verifique que \(1\) es el máximo común divisor de los dos primos de los ejercicios anteriores.

4

Encuentre dos enteros que formen una “combinación lineal” entera de los dos primos que sea igual a \(1\text{.}\) Incluya una verificación de su resultado.

5

Determine una factorización en potencias de primos para \(c=4\,598\,037\,234\text{.}\)

6

Escriba una celda que defina nuevamente el mismo valor de c, y luego defina un candidato a divisor de c llamado d. La tercera línea de la celda debiera retornar True si y solo si d es un divisor de c. Ilustre el uso de su celda testeando su código con \(d=7\) y en una nueva copia de la celda, testeando su código con \(d=11\text{.}\)