MHB Does \(B\) Span Algebraically \(E\) Over \(F\)?

  • Thread starter Thread starter mathmari
  • Start date Start date
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Let $E/F$ be an extension, $S=\{a_1,\ldots,a_n\}\subseteq E$ algebraically independent over $F$ and $S\subseteq T$, $T$ a subset of $E$, that spans $E$ algebraically over $F$.

I want to show that there exists a set $B$ between $S$ and $T$, that is a trancendental basis of $E/F$, as follows:

Let $T\setminus S=\{\beta_1,\ldots ,\beta_m\}$.

If $T=\varnothing$, then $B=S$ is the trancendental basis.

Otherwise, we define $S_0=S$ and for $i=1,\ldots ,m$

$S_i=\left\{\begin{matrix} S_{i-1} & \text{ if } \beta_i \text{ is algebraic } /F(S_{i-1})\\ S_{i-1}\cup \{\beta_i\} & \text{ if } \beta_i \text{ is not algebraic } /F(S_{i-1}) \end{matrix}\right.$

I want to show that that $B=S_m$ is the trancendental basis of $E/F$.

I have shown that $S_m$ is $F$-algebraically independent.

So, it is left to show that $S_m$ spans algebraically $E$ over $F$. Could you give me some hints how we could show that? (Wondering)
 
Physics news on Phys.org
To show that $S_m$ spans algebraically $E$ over $F$, we have to show that $E/F(S_m)$ is algebraic, right?

We have that the extension $E/F(T)$ is algebraic.

It holds that $S_m\subseteq T$, or not?

Do we know if $F(S_m)\leq F(T)$ or $F(T)\leq F(S_m)$ ? (Wondering)
 
Thread 'Derivation of equations of stress tensor transformation'
Hello ! I derived equations of stress tensor 2D transformation. Some details: I have plane ABCD in two cases (see top on the pic) and I know tensor components for case 1 only. Only plane ABCD rotate in two cases (top of the picture) but not coordinate system. Coordinate system rotates only on the bottom of picture. I want to obtain expression that connects tensor for case 1 and tensor for case 2. My attempt: Are these equations correct? Is there more easier expression for stress tensor...
Back
Top