Ask Your Question
1

How to get a field extension by adjoining elements

asked 2023-04-20 13:49:29 +0200

sagelearner gravatar image

Let $\alpha_1,\alpha_2,\ldots,\alpha_n \in \mathbb{R}$. How to define the field extension $\mathbb{Q}(\alpha_1,\alpha_2,\ldots,\alpha_n)$ in sagemath and how to compute the degree of the extension $[\mathbb{Q}(\alpha_1,\alpha_2,\ldots,\alpha_n):\mathbb{Q}]?$

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2023-04-20 14:54:50 +0200

rburing gravatar image

Here is an example:

sage: a = [I, sqrt(7), sqrt(-7)]
sage: K, a_in_K, hom = number_field_elements_from_algebraics(a, minimal=True)
sage: K
Number Field in a with defining polynomial y^4 - 3*y^2 + 4
sage: a_in_K
[-1/2*a^3 + 1/2*a, -1/2*a^3 + 5/2*a, -2*a^2 + 3]
sage: [z^2 for z in a_in_K]
[-1, 7, -7]
sage: K.degree()
4

See number_field_elements_from_algebraics. In general the elements of a can be taken from AA or QQbar.

edit flag offensive delete link more

Comments

Thanks for your help. What if the base field is something other than $\mathbb{Q}$?

sagelearner gravatar imagesagelearner ( 2023-04-20 15:57:22 +0200 )edit

@sagelearner There is the method relativize.

rburing gravatar imagerburing ( 2023-04-21 11:18:09 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2023-04-20 13:49:29 +0200

Seen: 192 times

Last updated: Apr 20 '23