# Tagged Questions

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

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 ...
36 views

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 ...
31 views

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?
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 ...
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 ...
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 ...
35 views

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, ...
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: ...
52 views

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, ...
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$...
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 ...
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 ...
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 ...
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$ ...
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$.
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$. ...
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 ...
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 ...
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 ...
73 views

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