julio's profile - activity

2022-04-15 08:29:22 +0200	received badge	● Nice Question (source)
2022-04-15 02:16:16 +0200	asked a question	How can i know if a field is monigenic? How can i know if a field is monigenic? I know the next field is monogenic but sagameth doesn't give me a power basis.
2019-12-18 16:56:41 +0200	received badge	● Student (source)
2019-12-17 06:50:06 +0200	asked a question	What does it mean that the relative discriminant is generated by a unit? Does it mean that there is no relative integral basis? `sage: alpha=sqrt(-17/2 + sqrt(17^2-4(17))/2) sage: f=alpha.minpoly() sage: K.<a>=NumberField(x^4+17*x^2+17) sage: R<y>=PolynomialRing(K) sage: R(f).factor() (y-a)(y+a)(y^2+a^2+17) sage: g=y^2+a^2+17 sage: L.<b>=K.extension(g) sage: L.relative_discriminant() Fractional ideal (1)`
2019-12-17 06:50:06 +0200	commented answer	How can I define a field of numbers by hitting to the field of rationals two roots of the same polynomial ? Thank you so much, it helped me a lot
2019-12-17 06:50:06 +0200	commented question	How can I define a field of numbers by hitting to the field of rationals two roots of the same polynomial ? Thank you so much
2019-12-05 03:26:44 +0200	asked a question	How can I define a field of numbers by hitting to the field of rationals two roots of the same polynomial ? I tried: `sage: alpha=sqrt(-11/2 + sqrt(11^2-4(11))/2) sage: alpha=sqrt(-11/2 - sqrt(11^2-4(11))/2) sage: K=QQ[alpha,beta]`