MHB Galois Groups .... A&W Theorem 47.1 .... ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Groups Theorem
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Anderson and Feil - A First Course in Abstract Algebra.

I am currently focused on Ch. 47: Galois Groups... ...

I need some help with an aspect of the proof of Theorem 47.1 ...

Theorem 47.1 and its proof read as follows:
View attachment 6863
View attachment 6864
At the end of the above proof by Anderson and Feil, we read the following:

"... ... It then follows that $$| \text{Gal} ( F( \alpha ) | F ) | \le \text{deg}(f)$$.

The irreducibility of $$f$$ implies that $$\text{deg}(f) = | F( \alpha ) : F |$$ ... ... "
Can someone please explain exactly why the irreducibility of $$f$$ implies that $$\text{deg}(f) = | F( \alpha ) : F$$ | ... ... ?Peter
 
Physics news on Phys.org
Hi Peter,

Recall that the minimum polynomial $m_\alpha$ of $\alpha$ is the unique monic irreducible polynomial having $\alpha$ as a root. Since $f$ is irreducible and $f(\alpha) = 0$, $f$ is a constant multiple of $m_\alpha$. Therefore, $\text{deg}(f) = \text{deg}(m_\alpha) = |F(\alpha) : F|$.
 
Euge said:
Hi Peter,

Recall that the minimum polynomial $m_\alpha$ of $\alpha$ is the unique monic irreducible polynomial having $\alpha$ as a root. Since $f$ is irreducible and $f(\alpha) = 0$, $f$ is a constant multiple of $m_\alpha$. Therefore, $\text{deg}(f) = \text{deg}(m_\alpha) = |F(\alpha) : F|$.
Thanks for the help, Euge,

Peter
 
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...

Similar threads

Back
Top