0
votes
2answers
81 views

Fields - Proof that every multiple of zero equals zero

This is one of my first proofs about fields. Please feed back and criticise in every way (including style and details). Let $(F, +, \cdot)$ be a field. Non-trivially, $\textit{associativity}$ implies ...
4
votes
1answer
85 views

What is the difference between field theory and Galois theory

I am about to finish the book Galois theory by Harold Edwards. I am planning to study Galois theory at a more advanced level or field theory. I am unable to decide because I don't know the difference ...
5
votes
0answers
105 views

Intuition about structures in Galois Theory.

Background Often in mathematics I find we can ask "why" something is true. Of course, this is not a well defined question. However, it usually prompts answers that includes words like ...
6
votes
3answers
243 views

Why are the surreals considered “recreational” mathematics?

One of my college math professors once remarked to me that it was interesting that John Conway's two "biggest" contributions to math were both recreational: the Game of Life and the Surreals. No one, ...
16
votes
5answers
366 views

Proof of Existence of Algebraic Closure: Too simple to be true?

Having read the classical proof of the existence of an Algebraic Closure (originally due to Artin), I wondered what is wrong with the following simplification (it must be wrong, otherwise why would we ...
8
votes
2answers
89 views

Conceptual reason why a quadratic field has $-1$ as a norm if and only if it is a subfield of a $\mathbb{Z}/4$ extension?

I have convinced myself in a computation-heavy, ad-hoc way that a quadratic extension $K$ of $\mathbb{Q}$ occurs as the unique quadratic subfield of a $\mathbb{Z}/4$-extension of $\mathbb{Q}$ if and ...
4
votes
1answer
108 views

What is going on in this degree 8 number field that fails to be a quaternion extension of $\mathbb{Q}$?

This is a soft but very mathematically hands-on question. Hopefully it will be interesting to more than just me. Thanks in advance for your help in thinking clearly about what follows. I have been ...
25
votes
2answers
636 views

Intuitive reasoning why are quintics unsolvable

I know that quintics in general are unsolvable, whereas lower-degree equations are solvable and the formal explanation is very hard. I would like to have an intuitive reasoning of why it is so, ...
48
votes
12answers
3k 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 ...
9
votes
4answers
214 views

Hyperreal field extension

In non-standard analysis, assuming the continuum hypothesis, the field of hyperreals $\mathbb{R}^*$ is a field extension of $\mathbb{R}$. What can you say about this field extension? Is it ...
38
votes
4answers
2k views

What kind of work do modern day algebraists do?

Often times in my studies I get the impression that algebra is just a tool to help with other branches of mathematics, like algebraic geometry, algebraic number theory, algebraic topology, etc. How ...
20
votes
2answers
785 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 ...
8
votes
2answers
293 views

Is there a geometric interpretation of $F_p,\ F_{p^n}$ and $\overline{F_p}?$

I have been doing some exercises about finite fields lately and I think I've obtained some understanding of what they are. What seems to be missing though is some kind of picture. Learning to work ...
7
votes
2answers
421 views

Derivations in a ring. What applications do they have outside algebra?

INTRODUCTION Let $R$ be any ring, possibly without unity. We call a function $d:R\longrightarrow R$ a derivation on $R$ if it satisfies the following conditions. $(1)$ It is an endomorphism of the ...
11
votes
6answers
1k views

What is a field?

I've always wondered about what a field is meant to represent. For example, group automorphisns naturally represent symmetry in many areas. I'm not looking for a solid answer, just an idea.
3
votes
6answers
593 views

Are there broad or powerful theorems of rings that do not involve the familiar numerical operations (+) and (*) in some fundamental way?

I am of, and I would like to retain, a mindset that mathematics does not have to have numbers as the central object of interest. With that in mind, I have done a fair amount of self-study on topics in ...