The Stack Overflow podcast is back! Listen to an interview with our new CEO.

# Questions tagged [field-theory]

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. Use (classical-mechanics), (electromagnetism), (general gravity) or (quantum-field-theory) for physical fields.

9,362 questions
Filter by
Sorted by
Tagged with
16k views

### The square roots of different primes are linearly independent over the field of rationals

I need to find a way of proving that the square roots of a finite set of different primes are linearly independent over the field of rationals. I've tried to solve the problem using elementary ...
30k views

### Is there a quick proof as to why the vector space of $\mathbb{R}$ over $\mathbb{Q}$ is infinite-dimensional?

It would seem that one way of proving this would be to show the existence of non-algebraic numbers. Is there a simpler way to show this?
23k views

### Example of infinite field of characteristic $p\neq 0$

Can you give me an example of infinite field of characteristic $p\neq0$? Thanks.
11k views

### Continuity of the roots of a polynomial in terms of its coefficients

It's commonly stated that the roots of a polynomial are a continuous function of the coefficients. How is this statement formalized? I would assume it's by restricting to polynomials of a fixed ...
30k views

### How to find the Galois group of a polynomial?

I've been learning about Galois theory recently on my own, and I've been trying to solve tests from my university. Even though I understand all the theorems, I seem to be having some trouble with the ...
24k views

### Do groups, rings and fields have practical applications in CS? If so, what are some?

This is ONE thing about my undergraduate studies in computer science that I haven't been able to 'link' in my real life (academic and professional). Almost everything I studied I've observed be ...
16k views

### How do I prove that $x^p-x+a$ is irreducible in a field with $p$ elements when $a\neq 0$?

Let $p$ be a prime. How do I prove that $x^p-x+a$ is irreducible in a field with $p$ elements when $a\neq 0$? Right now I'm able to prove that it has no roots and that it is separable, but I have not ...
33k views

610 views

1k views

### Generalisation of integers for infinite length?

As most people know, an integer can only be finite length when expressed in the form of a series of digits in some base. However, real numbers in general can be infinite length, so long as there is a "...
972 views

### Why $\sqrt[3]{3}\not\in \mathbb{Q}(\sqrt[3]{2})$?

We all know that $\sqrt[3]{3}\not\in \mathbb{Q}({\sqrt[3]{2}})$ intuitively. We even know that $\sqrt[3]{p}\not\in \mathbb{Q}(\sqrt[3]{q})$ for two distinct primes $p, q$. However, I don't know how to ...
3k views

### Why must be the additive and multiplicative identities in a field be different?

I was recently reading about fields like $\mathbb {Z}_p$ and I'm wondering what's the reason they can't be the same element. Is it about the additive identity being the only element with no ...
2k views

### Does every infinite field contain a countably infinite subfield?

Does every infinite field contain a countably infinite subfield? It's easy to see that every field $K$ contains either the rational numbers $\Bbb Q$ (when $K$ has characteristic $0$) or a finite ...
3k views

### Axiomatic characterization of the rational numbers

We have the well-known Peano axioms for the natural numbers and the real numbers can be characterized by demanding them to be a Dedekind-complete, totally ordered field (or some variation of this). ...
1k views

### What is the coproduct of fields, when it exists?

This is a slightly more advanced version of another question here. Let $\textbf{CRing}$ be the category of commutative rings with unit. Let $\textbf{Dom}$ be the category of integral domains – by ...
1k views

### Why algebraic closures?

Let me begin by summarizing the question: Why do we care about fields closed under rational exponentiation, and less about fields closed under other operations? Historically the solution for ...
642 views

### Prove that both $x+y$ and $xy$ are rational, under some conditions

As a result of the answer I got for this question - Irrational solutions to some equations in two variables - I was wondering if the next statement is always true: Let $x,y$ be real, irrational ...
7k views

### Do finite algebraically closed fields exist?

Let $K$ be an algebraically closed field ($\operatorname{char}K=p$). Denote $${\mathbb F}_{p^n}=\{x\in K\mid x^{p^n}-x=0\}.$$ It's easy to prove that ${\mathbb F}_{p^n}$ consists of exactly $p^n$ ...
### Is $\mathbf{C}$ the algebraic closure of any field other than $\mathbf{R}$?
It seems to me (intuitively) that there should be no other fields whose algebraic closure is $\mathbf{C}$, even though I have no reason to believe it. The facts I've been using to formulate an ...
$\frac35+i\frac45$ is not a root of unity though its absolute value is $1$. Suppose I don't have a calculator to calculate out its argument then how do I prove it? Is there any approach from ...