1. Homework Statement
Show that f is 2-pi periodic and analytic on the strip \vert Im(z) \vert < \eta, iff it has a Fourier expansion f(z) = \sum_{n = -\infty}^{\infty} a_{n}z^{n}, and that a_n = \frac{1}{2 \pi i} \int_{0}^{2\pi} e^{-inx}f(x) dx. Also, there's something about the lim sup of...
Well, it looks like you're trying to find the power series of ln(5 - x) by differentiating the series for 1/(5 - x) term by term. But ln(5 - x) is the integral of 1/(5 - x) (give or take a sign).
1. Homework Statement
Show that G is isomorphic to the Galois group of an irreducible polynomial of degree d iff is has a subgroup H of index d such that \bigcap_{\sigma \in G} \sigma H \sigma^{-1} = {1} .
2. Homework Equations
3. The Attempt at a Solution
I know that if G acts...
1. Homework Statement
I'm trying to come up with an example of a quartic polynomial over a field F which has a root in F, but whose splitting field isn't the same as its resolvent cubic.
2. Homework Equations
3. The Attempt at a Solution
Well, I know the splitting field of the...
1. Homework Statement
Let p(z) be a polynomial of degree n \geq 1. Show that \left\{z \in \mathbb{C} : \left|p(z)\right| > 1 \right\}[/tex] is connected with connectivity at most n+1.
2. Homework Equations
A region (connected, open set) considered as a set in the complex plane has...
1. First, the integers aren't even a group under multiplication. So you should be using addition as your operation. Under addition the integers are an (infinite) cyclic group. What does that tell you?
2. I'm not sure what you mean by mapping to an infinite number of items. But for the first...
I think I understand... The splitting field is the minimal field that contains all the roots of the minimal polynomial, and anything that's Galois over the rationals contains all the conjugates of \alpha (i.e., the roots of the minimal polynomial). So it contains the splitting field. Thanks...
I believe the splitting field is just the original extension adjoin i. So that's handy. But it seems like that really shouldn't be the Galois closure. Why would any Galois extension of the rationals that contains \mathbb{Q}(\alpha) have to contain i? It seems like it would only have to be a...
1. Homework Statement
Find the Galois closure of the field \mathbb{Q}(\alpha) over \mathbb{Q}, where \alpha = \sqrt{1 + \sqrt{2}}.
2. Homework Equations
Um...the Galois closure of E over F, where E is a finite separable extension is a Galois extension of F containing E which is minimal...
Well, I believe that to use the Weierstrass M-test you have to find a bound that works for all x on whatever set you're testing convergence in, not just a given x in the set. That is, your bound a is allowed to be a function of n, but it cannot be a function of x.
1. Homework Statement
Okay, I'm trying to explicitly determine the Galois group of x^p - 2, for p a prime.
2. Homework Equations
3. The Attempt at a Solution
Okay, so what I've come up with is that I'm going to have extensions \textbf{Q} \subset \textbf{Q}(\zeta) \subset...
No, that's not true. Just because |x - xo| is less than or equal to r doesn't mean that |x| + |xo| is too. Really, think more intuitively about what |x - xo| being less than r says.
Well, if you don't mind a cheat-ish answer, you could just look at the logarithm, then use the facts that logarithmic and exponential functions are continuous and that products of convergent sequences converge to the product of the limits
In general, a subring of R is a subset of R which is a ring with structure comparable to R. So you don't actually have to show all the axioms because multiplication being associative and distributive is inherited just by being a subset of R. Similarly, some of the additive group structure is...
You're completely right. It doesn't imply g^8 = e. You're going to have to do a bit more work than just finding an element of the preimage of g'. Unfortunately, I'm having trouble coming up with the exact proof off the top of my head, so I can't give you much of a kick in the right direction...
I guess I'll give this a quick bump before I go to bed. Maybe I was wrong about missing something simple and I actually do have to use the Galois condition.
Wow, I'm really slow today. Okay, g(z) is not entire because, as you said, it's not analytic at 0. Why does your argument fail? Because the integral \displaystyle\oint_{c} g(w) dw is not defined if c passes through 0, so it's not 0 for every closed curve in the complex plane. However, since...