Use this tag for questions about fields and field theory in abstract algebra. A field is, roughly speaking, an algebraic structure in which addition, subtraction, multiplication, and division of elements are well-defined. Please use (galois-theory) instead for questions specifically about that ...

learn more… | top users | synonyms

0
votes
1answer
20 views

Is the map an automorphism?

Please verify the following proof or comment on how would you have proven it. Suppose $q = p^2$ and we have $f: \mathbb{F}_{q} \to \mathbb{F}_{q}$ where $f(a) = a\cdot a^p$ Let $a\cdot a^p = b\cdot ...
-3
votes
2answers
82 views

What are the root of $x^3 - 2$ $\in \mathbb{R}[x]$? [on hold]

From the given polynomial it is evident that we have to find a +ve number in $\mathbb{R}$ such that the cube is 2 if it exists. There is one and that is $\sqrt[3]{2}$. How to find the other roots?
11
votes
0answers
222 views
+100

Families of Polynomials Irreducible in $\mathbb{Z}$ but reducible in $\mathbb{Z}/p\mathbb{Z}$ for all primes $p$.

I am wondering if there exist classification of polynomials that are irreducible in $ \mathbb{Z}$ but reducible $\pmod p$ for all primes $p$. I am aware that $\Phi_n$ has this property if ...
1
vote
1answer
33 views

Write Galois group as semidirect-product

Consider the polynomial $ x^7-13 \in \Bbb{Q}(x)$. Find Galois group and write it as a semi-direct product. Edit: So here is what I have done. I found the dimension of the splitting field over ...
3
votes
2answers
73 views

Field that contains $(\mathbb{Z}/p^n\mathbb{Z})^*$

Let $p$ be an odd prime. There exists a field $F$ that contains an isomorphic copy of $(\mathbb{Z}/p^n\mathbb{Z})^*$ as a multiplicative subgroup? Clearly if $n=1$ we can take $F=\mathbb{F}_p$, but ...
0
votes
1answer
25 views

Rational function in both $k(X)[Y]$ and $k(Y)[X]$

If I have a rational function in $X$ and $Y$ and it can be written as both a polynomial in $Y$ with coefficients being rational functions in $X$ (that is, an element of $k(X)[Y]$) and as a polynomial ...
2
votes
2answers
51 views

When can an infinite abelian group be embedded in a field?

This question comes from this question by user72870. That question would easily be answered if we know the cyclicity of the group in question, but, as the OP appears to be trying to prove that the ...
0
votes
1answer
43 views

how do you know if a collection of subsets is a field?

Let $\Omega=${0,1,2,3,...} Let B be the collection of subsets of $\Omega$ such that C $\in$ B if and only if either C or $C^{c}$ is a finite set. Is B a field? Is it a $\sigma$-field? Here is my ...
0
votes
4answers
56 views

Why has my prof worked out the multiplicative inverse of complex numbers this way?

She explains how to obtain the multiplicative inverse: In what follows, z=a+bi and w=c+di are complex numbers with a,b,c,d∈R. Is there a multiplicative inverse of z? If so, what is it? Note ...
0
votes
1answer
15 views

Is every element in a finite splitting field K over F a root in a polynomial?

Let $ K$ be a finite extension of $F$ and assume $K$ is a splitting field over $F$. Is it given that for any element $ \alpha \in K, \alpha \not\in F $ that there exists a polynomial $ f(x) \in F[x] $ ...
0
votes
2answers
300 views

Statement equivalent to fundamental theorem of algebra

In the article The Classification Of Real Division Algebras (written by R. S. Palais) it is said that if D is finite dimensional division algebra over $\mathbb{R}$, then: One way of stating the ...
-1
votes
0answers
25 views

Cubic resolvent of quartic.

Where does the cubic resolvent of quartic come from? I would like to know its derivation since I am having a hard time memorising the formulas.
2
votes
0answers
21 views

Finding degree of an extension

Find the degree of the field extension $\mathbb{Q}[\sqrt[3]{2},\sqrt[3]{3}]$ over $\mathbb{Q}$. My approach: Call the desired degree $n$. Clearly, $3|n$ and $n\leq 9$. So possible values of $n$ are ...
29
votes
5answers
2k views

In plain language, what's the significance of a field?

I just started Linear Algebra. Yesterday, I read about the ten properties of fields. As far as I can tell a field is a mathematical system that we can use to do common arithmetic. Is that correct?
3
votes
2answers
32 views

example of two non-isomorphic fields which embed inside each other

Can you find an example of non-isomorphic fields which embed inside each other? Most probably we can't but I am looking for extraordinary answer...
2
votes
0answers
20 views

How do I show that both the additive and multiplicative groups of an infinite field are non-cyclic? [duplicate]

I've tried mimicking the proof in case of $\mathbb Q$ to deal with the characteristic zero case, but can't do the characteristic $p$ case. Can someone give a solution to that end?
2
votes
1answer
36 views

Field Theory : What is wrong with this “homomorphism”?

Let $E/F$ be a field extension and $\alpha \in E$ be algebraic over $F$. Let $m(x) \in F[x]$ be irreducible and such that $m(\alpha) \neq 0$. Define $$ \phi : F(\alpha) \to F[x]/(m) $$ by ...
1
vote
1answer
19 views

If a ring has its field of fraction as algebraic number field $K$, would this ring be $O_K$?

Suppose that ring has its field of fraction as algebraic number field $K$. Would this ring then be $O_K$, ring of integers? Also, for $O_K$, would subring of $O_K$ be integrally closed?
3
votes
3answers
731 views

How do I prove $F(a)=F(a^2)?$

Let $E$ be an extension field of $F$. If $a \in E$ has a minimal polynomial of odd degree over $F$, show that $F(a)=F(a^2)$. let $n$ be the degree of the minimal polynomial $p(x)$ of $a$ over $F$ and ...
0
votes
0answers
27 views

Number fields and algebraic integer

Suppose there is a (algebraic) number field $K$. Algebraic integer is a root of some monic polynomial with coefficients in $\mathbb{Z}$. The elements of $K$ are the root of some monic polynomial ...
0
votes
1answer
31 views

Proof Unicity of Splitting Field

Context : Definition : We say $f(x) \in F[x]$ splits over the field extension $E/F$ if $$ f(x) = c (x-\alpha_1)\cdots(x-\alpha_n) $$ for some $c, \alpha_1, \ldots, \alpha_n \in E$. A splitting ...
3
votes
0answers
137 views

When the extensions Q(α,β) and Q(αβ) over Q are the same?

I would like to know in which conditions the extensions $\mathbb{Q}(\alpha,\beta)$ and $\mathbb{Q}(\alpha\beta)$ over $\mathbb{Q}$ are the same. Thanks in advance.
3
votes
2answers
41 views

$F(x,y)$ over $F$ is not simple

Let $F$ be a field. Let $x,y$ two algebraically independent indeterminates. Show that $F(x,y)/F$ is not a simple extension. Attempt: I tried by contradiction, assuming that $F(t)=F(x,y)$ and writing ...
2
votes
1answer
28 views

$\alpha \in \Omega_{\mathbb Q}^{x^3-2}$(splitting field) is such that $\alpha^5 \in \mathbb Q$ then $\alpha \in \mathbb Q$

Let $f(x)=x^3-2$ and let $E$ be it's splitting field. Prove that if $\alpha \in E$ is such that $\alpha^5 \in \mathbb Q$ then $\alpha \in \mathbb Q$. Let $\zeta_n$ denote a n-root of unity. This is ...
2
votes
0answers
34 views

Is this element constructible from this elements?

Let the figure below. According to same notation of the figure verify if it's possible to construct the point $\displaystyle \zeta=e^{\frac{2\pi i}{13}}$ with straight-edge and compass from ...
4
votes
1answer
46 views

Infinite algebraic extension of $\mathbb{Q}$

I have this problem in a exercise list: "Prove that $K=\mathbb{Q}(2^{\frac{1}{2}},2^{\frac{1}{3}}, 2^{\frac{1}{4}}, \ldots)$ is an algebraic extension, but not a finite extension of $\mathbb{Q}$." ...
0
votes
3answers
36 views

clarification of algebraic closure and algebraically closed field

Definition of Algebraic closure: An extension K of F is called an algebraic closure of F if a) F $\subset$ K is algebraic b) K is algebraically closed given the above definition I have been trying ...
1
vote
0answers
51 views

When $\mathbb{Q}(\alpha+\beta)=\mathbb{Q}(\alpha, \beta)$?

Let $\alpha, \beta$ be algebraic numbers over $\mathbb{Q}$. Which necessary and sufficient conditions are known such that $$ \mathbb{Q}(\alpha+\beta)=\mathbb{Q}(\alpha, \beta) \text{ ?} \tag{$\ast$}$$ ...
2
votes
1answer
63 views

Why is ring of integers $\mathcal O_K$ called ring of integers - what properties of $\mathbb{Z}$ does it inherit?

I was wondering why ring of integers $\mathcal O_K$ for field $K$ is called ring of integers. Definition says that elements in this ring will be a solution for monic equation with coefficients ...
4
votes
3answers
54 views

$[F(t):F(t^n)]=n$ where $t$ is trascendental

Let $F$ be a field and let $t$ be trascendental over $F$. Prove that $[F(t):F(t^n)]=n$. Obviously $[F(t):F(t^n)]\le n$ since the polynomial $f(x)=x^n-t^n \in F(t^n)$ has $t$ as a root. But I don't ...
0
votes
0answers
23 views

A problem in finite fields [closed]

Let $\theta$ be an automorphism of $F=GF(2^n)$ whith order different of 2. If $\lambda$ is a generator of $F$ then show that $F=K(\lambda^{\theta+1})$; where $K=GF(2)$.
0
votes
0answers
23 views

On the Characterization of $F[\alpha]$ for a Field Extension $E/F$.

Let $E/F$ be a field extension. Reading a proof that $$ \alpha \text{ is algebraic over } F \implies [F[\alpha]:F] < \infty, $$ one might begin by considering an element $f(\alpha) \in F[\alpha]$ ...
2
votes
2answers
75 views

Can the product of only some of the algebraic conjugates be an integer?

Suppose I know that $x_1,\dots, x_n$ are algebraic conjugates and suppose that their product is a rational integer: $$ \prod_{i=1}^{n}x_i\in \mathbb{Z} $$ Is it possible that there exists some other ...
0
votes
2answers
140 views

Give an example of a field where -1=1

The question is to find a counterexample to the following: In every field $F$, $-1$ is not equal to $1$. My intuition leads me to integers modulo $1$. Is this correct, are the integers modulo $1$ a ...
2
votes
1answer
42 views

Proof of a Field Extensions Theorem

Consider the following result. Theorem : Let $E/F$ be a finite field extension of degree $n$ and let $V$ be a vector space over $E$. Then $$ \dim_F V = [E:F] \dim_E V. $$ Now, it seems like a ...
8
votes
1answer
325 views

Why should I consider the components $j^2$ and $k^2$ to be $=-1$ in the search for quaternions?

I'm reading a paper about Hamilton's discovery of quaternions and it explains why he failed in his 'theory of triplets' where he tried to make a vector with $3$ dimensions, as an analogy to the ...
1
vote
1answer
42 views

Algebraic extension of rational numbers.

Let $1<m_1,\ldots,m_r\in{\mathbb{Z}}$. If $K=\mathbb{Q}(\sqrt{m_1},\ldots,\sqrt{m_r})$, and $1<n\in{\mathbb{Z}}$ so that $m_i\nmid{n}$. Is true that $\sqrt{n}\notin{K}$? Added: In addition ...
2
votes
2answers
27 views

A field $K$ is an algebra

I learned this definition of an algebra recently. The definition is: A vectorspace $V$ over a field $K$ is is an algebra if there exists $K$-bilineair map $\varphi\colon V\times V\rightarrow V$ which ...
1
vote
0answers
21 views

If $k$ is a field then $\text{End}_k(k^2)$ is simple

Let $k$ be a field. I have to show that $\text{End}_k(k^2)$ is simple. First of all, I don't see why this is true. For example, if $k=\mathbb{C}(x_1,x_2,\dots)$ then $\varphi\colon k^2\rightarrow ...
0
votes
2answers
34 views

Existence of finite field extension containing a root

I've been thinking about my previous question a bit more, and I'm afraid I still don't quite understand. See: Can the natural embedding $K\to K[X]/(f)$ be extended to form an isomorphism $L/K\to ...
0
votes
1answer
47 views

About extension of fields

Is there a field extension $L/K$ such that it is an infinite algebraic extension of fields but the separable degree of $L$ over $K$ is finite?
8
votes
2answers
140 views

The angle $168^\circ$ is constructible

Prove that the angle $\theta=168^\circ$ is constructible using a straightedge and a compass. It is enough to show that the number $\cos\theta$ is constructible, and WolframAlpha gave ...
1
vote
1answer
44 views

Calculating Splitting field

Find the splitting field of the polynomial and degree over $\mathbb{Q}$ $P(X)=X^4+2$. The roots of $P(X)$ are $\sqrt[4]{2}\sqrt{i},\ -\sqrt{i}\sqrt[4]{2}, \ i\sqrt{i}\sqrt[4]{2},\ ...
0
votes
0answers
17 views

Minimal polynomial (Field theory)

Let $\alpha$ be the real positive fourth root of 2. My question is: $Polmin(\alpha,\mathbb{Q}(i))=X^4-2$? Because $Polmin(\alpha,\mathbb{Q}(i)) | Polmin(\alpha,\mathbb{Q})=X^4-2$ But ...
2
votes
1answer
30 views

Galois group of order 2^4

Find the galois group the polynomial $f(X)=(X^2-2)(X^2-3)(X^2-5)(X^2-7)$ over $\mathbb{Q}$. A splitting field for $f(X)$ is $K=\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5},\sqrt{7})$. We must have ...
2
votes
0answers
21 views

Finite dimensional field extension, finitely many intermediate fields

Good morning, My question is the following: Does every finite dimensional field extension have finitely many intermediate fields? I thought about it quite a while and know that the following is true: ...
1
vote
1answer
38 views

If $Q$ is a prime ideal of $R[x]$ then $QF[x]\cap R[x]=Q$

I'm filling the gaps in a proof and I'm stuck in this part: Suppose $R$ is a UFD and $Q$ is a prime ideal of $R[x]$, if $F$ is the quotient field of $R$ and $R\cap Q=\{0\}$, then $QF[x]\cap ...
2
votes
2answers
64 views

If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p[\sqrt{k}] =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field.

If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p[\sqrt{k}] =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field? Find necessary and sufficient condition. Attempt: Since we ...
4
votes
1answer
202 views

About $\mathbb Z_{p}[\sqrt{k}]$, when is it a field? [duplicate]

I give up. I'm new in the fields world, and I'm trying to give a sufficient and necessary condition for $\mathbb{Z}_{p}[\sqrt{k}]=\{a+b\sqrt{k}:a,b\in \mathbb{Z}_{p}\}$ to be a field ($p$ is a ...
1
vote
1answer
66 views

Is there a short proof of the formula for Legendre symbol $(\frac{2}{p})=(-1)^{(p^2-1)/8}$?

Let $p$ > 2 be a prime number. I found in wiki a complex proof for this Legendre symbol: $$\left(\frac{2}{p}\right) = (-1)^{\frac{(p^{2}-1)}{8}}$$ Can anyone give me a short solution please?