Skip to main content

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. This tag is NOT APPROPRIATE for questions about the fields you encounter in multivariable calculus or physics. Use (vector-fields) for questions on that theme instead.

0 votes
0 answers
23 views

In an old japanese book for undergraduate students, I found the following exercice: Let $\mathbb F_q$ be a finite field with $q$ elements and $K=\mathbb F_q\left(\left(\frac1T\right)\right)$ be the ...
joaopa's user avatar
  • 1,219
-2 votes
1 answer
89 views

A problem in a textbook I am reading suggests to check whether $\mathbb{Q}[x]/(x^3+2)$ is a field before formulating the irreducibility criterion (which states that $\mathbb{K}[x]/(f)$ is a field iff $...
Daigaku no Baku's user avatar
-3 votes
1 answer
102 views

A problem in a textbook I am reading suggests to check whether $\mathbb{Q}[x]/(x^3+1)$ is a field before formulating the irreducibility criterion (which states that $\mathbb{K}[x]/(f)$ is a field iff $...
Daigaku no Baku's user avatar
4 votes
1 answer
91 views

Do there exist $\alpha$ algebraic over $K$, and $\beta$ algebraic over $K$ such that $K(\alpha) \cap K(\beta) = K$, but min polynomial of $\alpha$ over $K$ is not same as min polynomial of $\alpha$ ...
Pomegranate's user avatar
3 votes
0 answers
68 views

Given an arbitrary rational number $\lambda$, can we find algebraic $\alpha$ and $\beta$ such that $\alpha,\beta\notin\mathbb{Q}$, the field extensions $\mathbb{Q}(\alpha)$ and $\mathbb{Q}(\beta)$ ...
Pomegranate's user avatar
5 votes
1 answer
194 views

In Milne (Fields and Galois Theory), by definition constructible elements are in $\mathbb{R}$. However, it is also argued (in remark 3.27) that given an algebraic constructible number, its Galois ...
Melanka's user avatar
  • 185
3 votes
0 answers
38 views

I've been wondering about the following question: what are possible fields $K$ such that all algebraic extensions of $K$ are normal? I've found the following examples: Any algebraically closed field. ...
pmp's user avatar
  • 550
5 votes
1 answer
127 views

Prove that the minimal polynomial of $\frac{\sin{g \theta}}{\sin{\theta}}$ has degree $\frac{p-1}{2}$, where $\theta=\frac{\pi}{p}$, $g$ is a primitive root $\mathrm{mod}$ $p$ and $2 \nmid g$. My ...
Blue Daydreaming's user avatar
2 votes
0 answers
49 views

I began my journey of Algebraic number theory with "Marcus's Number fields ." At page 3 , he defined a relation $\sim$ on the set of ideals of $\mathbb{Z}[w]$ ,where $w=e^{\frac{2\pi i}{p}},...
Rajendra Meena's user avatar
4 votes
1 answer
95 views

Motivation The polarization formulas are useful because they show that an inner product $(\cdot, \cdot)$ on a vector space $V$ is completely determined by the values along its diagonal. In other words,...
WillG's user avatar
  • 7,773
3 votes
1 answer
158 views

Problem Statement: Let $f(x) = x^4 + ax^3 + bx^2 + cx + d$ be an irreducible polynomial over the field of rational numbers $\mathbb{Q}$, where $a, b, c, d \in \mathbb{Q}$. Let $r_1, r_2, r_3, r_4$ be ...
HGF's user avatar
  • 1,049
1 vote
1 answer
131 views

Let k ⊆ k(α) be a simple extension, with α transcendental over k. Let E be a subfield of k(α) properly containing k. Prove that k(α) is a finite extension of E. This is a question from the book "...
math man's user avatar
0 votes
1 answer
88 views

Let $a,b,c,d \in \mathbb{N}$ such that $ad-bc= \pm1$. If I am not wrong, for such $a,b,c,d$ we have: $\mathbb{C}(\lambda x^ay^b,\mu x^cy^d)=\mathbb{C}(x,y)$, where $\lambda,\mu \in \mathbb{C}-\{0\}$. ...
user237522's user avatar
  • 7,257
0 votes
1 answer
79 views

Prove that, if $K/F$ and $L/F$ are separable, then the composite $KL/F$ is separable. My attempt: for finite extensions, this useful lemma holds: Let $K/F$ be a field extension. If $\alpha_1, \dots, ...
hdecristo's user avatar
  • 1,277
1 vote
0 answers
50 views

Let $K$ be a field. There is the iterated field of Laurent series $$ K((x))((y))=\{f:\mathbb{Z}^2\to K:f(x,y)=0\,\text{for}\,y<-N\,\text{or}\,y\ge -N,x<-N_y\}, $$ and similarly $K((y)((x))$. ...
Jianing Song's user avatar
  • 2,813

15 30 50 per page
1
2 3 4 5
916