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 topic....

learn more… | top users | synonyms (1)

3
votes
2answers
102 views

In abstract algebra, what is an intuitive explanation for a field?

Wikipedia has the following to say about fields. In mathematics, a field is one of the fundamental algebraic structures used in abstract algebra. It is a nonzero commutative division ring, or ...
3
votes
2answers
36 views

$X^3-2$ splits completely in an extension of $\mathbb F_7$

My question concerns the following problem: Let $K=\mathbb F_7[T]/(T^3-2)$. Show that $X^3-2$ splits into linear factors in $K[X]$. Write $K\simeq \mathbb F_7[\alpha]$ for a root $\alpha\in \...
0
votes
1answer
15 views

Extending isomorphism to compositum of fields

Let $F$ be a field and $\Gamma$ be an indexing set (possibly infinite). Let $K$ be another field. There is an isomorphism $\sigma:F\longrightarrow K$. Let $\lbrace E_i\rbrace_{i\in\Gamma}$ be a ...
3
votes
0answers
43 views

Isomorphism of fields

In set-theory, one of the standard result (Bernstein's theorem) is that if there is an injection from $A$ to $B$ and an injection from $B$ to $A$, then there is a bijection from $A$ to $B$. Consider ...
1
vote
0answers
67 views

How to determine redundant elliptic curves?

When we enumerate elliptic curves $y^2 = x^3 + ax + b$ over a finite field, how do we determine redundant ones, i.e. ones that are equivalent to others?
1
vote
1answer
68 views

Finite Field Question: Which of the followings are true?

I have the following True or False question that I am having trouble getting it correct. I've written down my thoughts on each choice. If anyone could verify my thoughts or tell me where I made a ...
0
votes
4answers
45 views

For an algebraically closed field $k$, an ideal $I$ of $k[x]$ is maximal if and only if $I = (x-c)$

This is an exercise $4.21$ on a page $155$ from a textbook "Algebra: Chapter $0$" by P.Aluffi. Let $k$ be an algebraically cloased field, and let $I \subseteq k[x]$ be an ideal. Prove that $I$ is ...
0
votes
1answer
18 views

Compositum of an infinite family of fields

Let $F$ be a field and $\Gamma$ be an indexing set (possibly infinite). Let $\lbrace E_i\rbrace_{i\in\Gamma}$ be a collection of subfields of $\overline{F}$. Let $E\subseteq \overline{F}$ be the ...
0
votes
2answers
19 views

is the compositum of a family of algebraic extensions algebraic?

Let $F$ be a field contained inside another field $K$. Let $\Gamma$ be an indexing set (possibly infinite). Let $\lbrace E_i\rbrace_{i\in\Gamma}$ be a collection of algebraic extensions of $F$ ...
0
votes
1answer
135 views

Would Euclid be satisfied by the construction of the 17-gon given by Gauss?

In our lecture on Algebra we were given the following exercice: Construct the regular 5-gon using straightedge and compass. (only using elementary geometric reasonig) If you construct the length ...
4
votes
2answers
92 views

Why consider ramification only over number fields?

Is there a reason why one looks at ramification of prime ideals only over (rings of integers of) number fields? There surely are many more situations where one has rings with prime ideals.
2
votes
2answers
43 views

p-adic distances

We take $\mathbb{Q}_p$ to be the completion of $\mathbb{Q}$ with respect to $|\cdot|_p$. If $x=\sum_{j=k}^{\infty} a_jp^j$ is some element in $\mathbb{Q}_p$, then how exactly does $|\cdot|_p$ extend? ...
2
votes
0answers
43 views

Points on a p-adic circle

I was wondering if anybody could point me to any interesting geometry (if there is any) that the p-adic circle has. Specifically, let $G_p=\{ (x,y)\in (\mathbb{Q}_p)^2 \,:\, x^2+y^2=1\}.$ Does $G_p$ ...
7
votes
1answer
124 views

Galois group of $x^5-5x+10$

I was illustrating the theorem on solvability by radicals through some examples of degree $5$ polynomials. One I chose was $x^5-5x+10$. I was (perhaps wrongly) going to prove that the Galos group is $...
0
votes
0answers
43 views

$i^i$ is real and also infinitely many sets in $\mathbb C - \mathbb R$

$i^i$ is real and also infinitely many sets in $\mathbb C - \mathbb R$ where operations in proper superset/field maps to a proper subfield. Is this of mapping between superfields to subfields of any ...
1
vote
1answer
31 views

Showing $K(\alpha^2) = K(\alpha)$ for some field $K$ with $[K(\alpha) : K] = p$

Let $K, L$ be fields, $K \subseteq L$ and $[K(\alpha) : K] = p$ for a prime number $p ≠ 2$, and some $\alpha \in L \backslash K$ that is algebraic over $L$. I now want to show that $K(\alpha^2) = K(\...
4
votes
1answer
45 views

An extension of $\mathbb{Q}$ which contains the $n$-th roots of every element

Consider $\mathbb{Q}$, the field of rational numbers. Let $K_1\subseteq \mathbb{C}$ be the (minimal) splitting field of the family $\{x^n-a\colon a\in\mathbb{Q}, n\geq 1\}$. Let $K_2\subseteq \...
0
votes
0answers
25 views

Fields that are vector-spaces over the set of real numbers [duplicate]

Can somebody enlighten me on how to prove that there exists no field that's also a vector space over the real numbers of dimension greater than 2?
1
vote
0answers
15 views

Orders of elements in multiplicative groups of fields with positive characteristic

Suppose that $k$ is a field with positive characteristic $p$. I want to show that for each $x\in k$ the set $\{x^n\colon n\in \mathbb{N}\}$ is finite. My intuition tells me that I should use Fermat's ...
1
vote
1answer
87 views

Dependence of algebraic elements in a finite field

Lets work over the finite field $\mathbb{F}_p$ for a prime $p$. Consider a monic irreducible polynomial $f(X)=X^3+aX^2+bX+c$ in $\mathbb{F}_p[X]$. Let $x$ be a root of $f(x)=0$ (say, in the closure of ...
5
votes
1answer
97 views

Degree of the difference of two roots

Let $f\in \mathbb Q[x]$ be an irreducible monic polynomial of degree $n$ and let $\alpha,\beta\in \overline{\mathbb Q}$ be two distinct roots of $f$. Is it possible to find a lower bound on the degree ...
4
votes
1answer
35 views

Cyclic Galois group of even order and the discriminant

I am stuck on the following problem: Let K be a field of characteristic $\neq 2$ and $f\in K[X]$ a separable irreducible polynomial with roots $\alpha_1,\ldots \alpha_n$ in a splitting field $...
3
votes
0answers
39 views

Isomorphism of transcendental extensions

If $a,b$ are transcendental over $\mathbb{Q}$, then it is known that $\mathbb{Q}(a)$ and $\mathbb{Q}(b)$ are isomorphic. Consider a simple case: suppose $a,b,c$ are transcedental over $\mathbb{Q}$. ...
1
vote
1answer
55 views

Three quick queries about fields.

1) Suppose we have some field $F$ then it is known that the smallest subfield of $F$ called $F_0$ say is given by the intersection of all subfields of $F$. Is the reason for this because every family ...
0
votes
0answers
25 views

Circle and line construction of a compex number $z\in\mathbb C$

Let $C\subseteq\mathbb C$ be the field of constructible complex numbers; that is, it includes only the elements $z\in\mathbb C$ which can be constructed with circles and lines. The field $E\subseteq \...
0
votes
3answers
29 views

Example of a communtative ring with two operations where the identity elements are not distinct?

I was introduced to the definition of a field today, as a communtative ring with two operations, like $\Bbb{R} = \langle R, +, -, \cdot, ^{-1} \rangle$ and all the usual axioms; commutativity, ...
2
votes
1answer
20 views

Degree of a field extension for three fields

Given field extension $L/K$ and fields $E_1,E_2$ with $$(1)\ K\subset E_1\subset L,\ [E_1:K]=n_1$$ $$(2)\ K\subset E_2\subset L,\ [E_2:K]=n_2.$$ If $\gcd(n_1,n_2)=1$ then $K=E_1\cap E_2$. Proof: ...
1
vote
1answer
52 views

Matrix with irreducible minimal polynomial gives rise to a field

For a field $K$, $A\in Mat_n(K)$ with minimal polynomial (irreducible) $\mu_A(T)\in K[T]$ with $d=\deg\mu_A(T)$. Let $$E=\left\{\sum_{i=0}^{d-1} a_iA^i: a_i\in K\right\}\subset Mat_n(K).$$ Prove that $...
0
votes
1answer
47 views

Is $X^p - t\in \mathbb{F}_p (t) [X]$ separable over $\mathbb{F}_p (t)$?

Is $X^p - t\in \mathbb{F}_p (t) [X]$ separable over $\mathbb{F}_p (t)$? I am trying to understand what are in these two structures. My thought is that, if we look at the derivative of $X^p - t$, we ...
1
vote
3answers
53 views

How to evaluate GF(256) element

I wonder is there any easy way to evaluate elements of GF$(256)$: meaning that I would like to know what $\alpha^{32}$ or $\alpha^{200}$ is in polynomial form? I am assuming that the primitive ...
2
votes
0answers
26 views

Proof verification: Show that the Frobenius map is surjective.

I would like to prove the following but I would like someone to check my proof. For an algebraically closed field $K$ with characteristic $p$, the Frobenius map $F(x) = x^p$ is surjective What I ...
2
votes
1answer
58 views

Galois group of function field

Let $K$ be an arbitrary field, and $K(t)$ denote the field of rational functions in $t$, i.e. function field on $K$. If $K$ is algebraically closed field, then $\mathrm{Gal}(K(t),K)\cong \mathrm{...
0
votes
0answers
28 views

Workability of linear equation solving methods for different fields?

So far, I have mostly done linear algebra over $\mathbb R$ and $\mathbb{C}$. I know there exist very many methods to solve equation systems for those fields, of which a few are Gaussian Elimination, ...
7
votes
1answer
47 views

A field in which every element (that is not 1 or 0) is a root of -1

Let $\mathbb{F}$ be a field with $char(\mathbb{F}) \neq 2$ such that for every element $q \in \mathbb{F}$ if $q \neq 0$ and $q \neq 1$ then there is a power n such that $q^n = -1$. (E.g. $\mathbb{F}_3$...
4
votes
2answers
50 views

Linking two theorems: on algebraic closure and on minimal splitting field

Consider following two statements from same book of Cohn: Basic Algebra. Proposition 7.3.2: If $k$ is any field and $\mathcal{F}$ is a set of polynomials over $k$, then any two minimal splitting ...
4
votes
0answers
30 views

Sum of divisors in $\mathbb{Z}_2[x]$

Let $A$ denote a polynomial on $\mathbb{Z}_2[x]$ and $\sigma(A)$ denote the sum of divisors on $A$. Let$$A = x^h(x + 1)^k P^l Q^{2n - 1},$$where $P$, $Q$ are irreducible polynomials with degree at ...
1
vote
2answers
39 views

Let $K $be a field and $f \in K[x]$. Then there exists a splitting field for $f$ over $K$

Let $K $ be a field and $f \in K[X]$. Then there exists a splitting field for $f$ over $K$. I don't understand what this means, I think I am interpreting it wrongly. Take $x^2+1 \in \Bbb{Q}[X]$ then ...
0
votes
2answers
88 views

Polynomial with infinite roots

I started Ring theory recently and I came across this statement while reading polynomial rings.. If $F$ is an infinite field and let $f(x)\in F[x]$ . If $f(a)=0$ for infinitely many elements $a$ ...
0
votes
1answer
47 views

Existence of proper field extension

I am wondering whether the following statement is true or not? Given any field $F$, there exists a proper field extension $K$ of $F$.
2
votes
2answers
39 views

Construction of field extension for $[E:\mathbb F_{11}]=3$

Let $\mathbb F_{11}\subset E$. Construct a field extension $E$ of $\Bbb{F}_{11}$ such that $[E:\mathbb F_{11}]=3$ Answer: Let $f(x)=x^3+1 $ be a polynomial in $\mathbb F_{11}[x]$ with $deg(f)=3$. ...
2
votes
2answers
70 views

Algebraic closure vs Real closure

I have proved that the surreal numbers have the properties of a real closed field. Now I should be able to explain what the importance of this real closure is. unfortunately I do not have a background ...
1
vote
1answer
42 views

If $u, v$ have different minimal polynomials, then $F(u)$ is not isomorphic to $F(v)$?

Is the following true? Let $F$ be a field. Suppose $u,v$ have different minimal polynomials $p_u,p_v\in F[X]$, then $F(u)$ is not isomorphic to $F(v)$ as fields. I am asking this because I ...
3
votes
0answers
33 views

Do analytic properties hold in an arbitrary ordered field?

Given an ordered field, we can view it as a field formally equipped with some analytical notions which come from $\mathbb R$, like order and derivative. So I'm curious if $F$ also carries some ...
0
votes
1answer
73 views

Monic irreducible polynomials over infinite field

If $F$ is a countable field, then proving that $F$ has algebraic closure is quite simple: there can be at most countable number of monic irreducible polynomials over $F$, let they form the set $\...
1
vote
1answer
40 views

How many polynomials are squarefree?

Of course, this depends on the field, and how we measure "how many," but it seems I cannot find an answer to this except over finite fields. My question specifically is If we have a field $F = \...
8
votes
1answer
134 views

$a$ transcendental $\implies a^a$ is transcendental?

Suppose $a\in \mathbb{C}$ is not a algebraic number. Then is $a^{a}$ also transcendental number ? I've not idea about how to do it. I got motivation for asking this question from the fact that $e^...
4
votes
4answers
89 views

Show that $\mathbb{F}_9 \not \subset \mathbb{F}_{27}$

The usual answer will go like this: Since $2 \not | \ 3$ and $\mathbb{F}_{p^r} \subset \mathbb{F}_{p^s}$ if and only if $r | s$, then $\mathbb{F}_9 \not\subset \mathbb{F}_{27}$. However, I'm ...
2
votes
2answers
273 views

Algebraic structure on any infinite set

Given any algebraic object $X$, say group, ring, integral domain, etc., and a special subset $I$ of $X$ namely normal subgroup, ideal etc., it is always possible to put a structure on $X/I$ induced ...
1
vote
3answers
68 views

Find a splitting field of $x^2 + 1$ over $\mathbb{Z}_3$

We know that $x^2 -3$ is irreducible in $\mathbb{Q}[x]$. We also know that $\sqrt{3}$ solves $x^2 - 3$. As a result, $x^2 - 3 = (x-\sqrt{3})(x+\sqrt{3})$. This implies that the splitting field of $x^2 ...
0
votes
1answer
122 views

Number of subrings of a Field

let $p$ be a prime number; then how many distict subrings (with unity) of cardinality $p$ does the field $F_{p^2}$ have? 1.$0$ 2.$1$ 3.$p$ 4.$p^2$ I think it will have only one subring of ...