0
votes
1answer
109 views

On separable field extensions [closed]

Let $F\subseteq K$ be a finite separable field extension with $a_1,..., a_n$ an $F$-basis for $K$. Is it true that the matrix $A := [\mbox{tr}(a_ia_j)]$ is non-singular ?
3
votes
1answer
303 views

Fields whose embeddings into the complex numbers are invariant under complex conjugation

Is there a general notion/description of fields $K$ such that the image of any embedding $K \hookrightarrow \mathbb{C}$ is invariant under complex conjugation, thus inducing an involution on $K$ which ...
1
vote
0answers
96 views

Complementation in an extension field

If $E$ is an extension field of $F$, is $F$ necessarily (without assuming the axiom of choice) complemented as a vector subspace of $E$? (Of course the answer is easily yes if the extension is ...
4
votes
1answer
258 views

Sum of commuting semisimple operators

Let $V$ be a finite dimensional vector space over a field $K$. An operator $T:V\to V$ is called semi-simple if every $T$-invariant subspace of $V$ has a complement(for algebraically closed fields ...
10
votes
3answers
1k views

Which polynomials are determinants of a symmetric matrix with linear entries?

Let $k$ be a field. Can each degree $n$ polynomial $P(t) \in k[t]$ be written as the determinant of the matrix $A + tB$, where $A$ and $B$ are two symmetric $(n \times n)$-matrices with entries in ...
4
votes
1answer
222 views

Does the weak approximation theorem hold for general topological fields?

The weak approximation theorem states that given a field $F$ and nontrivial inequivalent absolute values $|\cdot|_1,\ldots,|\cdot|_n,$ and letting $F_i$ denote $F$ with the topology from $|\cdot|_i$, ...
6
votes
4answers
966 views

Finite dimensional vector spaces over a complete but not-necessarily-valued field

I'm essentially reopening this old question of Ricky Demer which was never fully answered. Essentially the original question: Suppose we have a topological field $F$ which is complete, Hausdorff, and ...
5
votes
3answers
882 views

Is there a field which is the union of finitely many proper subfields?

Is there a field which is the union of finitely many proper subfields?
2
votes
1answer
540 views

Surjectivity of bilinear forms.

It is not uncommon to describe interesting classes of field extensions by declaring that an extension $L|K$ belongs to that class if some type of problem with $K$-coefficiens has a property over $L$ ...
6
votes
2answers
691 views

Spheres over rational numbers and other fields

Let K be an ordered field. Define the n-sphere: $$S^n(K) := \{ (x_1,x_2,\dots,x_n+1) \in K^{n+1} \mid \sum_{i=1}^{n+1} x_i^2 = 1 \}$$ A set of vectors $v_1, v_2, \dots, v_r \in S^n(K)$ is ...
2
votes
2answers
366 views

What is it called if a vector space doesn't have an additive inverse?

so, you have, for any two members of the algebraic structure A and B and any nonnegative real values a, b: two operations: * and +, such that a*A + b*A = (a+b)*A is in the structure A + B = B + A ...
8
votes
2answers
513 views

Field extension containing the eigenvectors of a Hermitian matrix

Let H be a (finite-dimensional) Hermitian matrix with algebraic numbers for its entries, all of which lie in some minimal field extension of the rational numbers; call this field ℚ(H) for short. ...