Genady

You're welcome 🙂.

Yes. It is the field (0, 1), not a set {0, 1} as a subset of C.

Yes. Thank you!

Make a list of all irreducible polynomials of degrees 1 to 5 over the field (0, 1). In the order of their degrees, this is my list: x, x+1; x2+x+1; x3+x+1, x3+x2+1; x4+x+1, x4+x2+1, x4+x3+1, x4+x3+x2+x+1; x5+x2+1, x5+x3+1, x5+x4+x2+x+1. Did I miss any? Is any of the above reducible?

This is the last exercise on this topic. Let \(K \subseteq L\) be a field extension and let \(M_1,M_2\) be two fields containing \(K\) and contained in \(L\). Show that \(M_1M_2\) consists of all quotients of finite sums \(\sum a_ib_i\) where \(a_i \in M_1, b_i \in M_2\). Any such quotient is constructed from elements of \(M_1, M_2\) by addition, multiplication, and inverses and thus it \(\in M_1M_2\). OTOH, a set of all such quotients constitutes a field that contains elements of \(M_1, M_2\) and thus must include \(M_1M_2\) because the latter is a smallest such field. Thus, they are equal.

This is a good one. Nicer than what I had in mind.

I think that the proposed principle is wrong and absolute nothingness is possible.

Is there any reasoning behind this question? The number you propose is close but does not seem to be exact.

Express \(\sqrt 5\) by rational numbers and a number \((\sqrt 5 + \sqrt 7)\) using addition, subtraction, multiplication and division.

Let \(K(\sqrt a)\) and \(K(\sqrt b)\), where \(a, b \in K; ab \neq 0\), be two field extensions of \(K\). Show that \(K(\sqrt a) = K(\sqrt b)\) if and only if \(ab\) is a square in \(K\) (that is, there is a \(c \in K\) such that \(ab = c^2\)). 1. If \(K(\sqrt a) = K(\sqrt b)\), then \(\sqrt a=r+s \sqrt b\) for some \(r, s \in K\). Then, \(\sqrt a - s \sqrt b =r\). Squaring it, \(a + s^2 b - 2s \sqrt {ab} = r^2\). Or, \(2 s \sqrt {ab} = a + s^2 b - r^2\). Since the RHS in the last equation is in \(K\), so must be its LHS. So, \(\sqrt {ab} \in K\) and thus, \(ab\) is a square in \(K\). 2. If \(ab = c^2\), then \(\sqrt {ab} = c, \sqrt a = c (\sqrt b)^{-1}\) and thus, \(K(\sqrt a) = K(\sqrt b)\). QED

This exercise generalizes the case of \( i^2=−1\). Let \( L \supset K \) be a field extension and let \(\alpha \in L \setminus K, \alpha^2 \in K\). Show that \[K(\alpha)=\{a+b\alpha; a,b \in K\}.\] Let's denote \(\alpha^2=r \in K\). Any polynomial \(a+b \alpha + c \alpha^2 +d \alpha^3 +... = a+b \alpha + c r +d r \alpha +... =(a+cr +...) + (b+dr+...)\alpha = s+t\alpha\), where \(s,t \in K\). Inverse of a polynomial, \((a+b\alpha)^{-1}=(a-b\alpha)(a^2-b^2r)^{-1} = a(a^2-b^2r)^{-1} - b(a^2-b^2r)^{-1}\alpha= s+t\alpha\), where \(s,t \in K\). QED

Show that if the smallest subfield K of a field L has an order n then na=0 for all a in L. The smallest subfield with an order n is {0, e, 2e, ... , (n-1)e} with ne=0. For any integer k, n(ke) = k(ne) = k(0) = 0. For x in L\K, nx = n(ex/e) = (ne)x/e = 0(x/e) = 0 QED

This was a challenging exercise. Give an example of an infinite field with a finite subfield. The simplest example I could come up with was a field of rational functions, \[\frac {a_n X^n+a_{n-1} X^{n-1}+...+a_0}{b_m X^m+b_{m-1} X^{m-1}+...+b_0}\] where all the coefficients a and b are from the field (0,1) as in the second post on the top of this thread,

They do, with \(b=0\) and a rational \(a\).

OK Let's take a different exercise. Show that any subfield of \(\mathbb C\) contains \(\mathbb Q\). It has to contain 0 and 1. From those, with addition and subtraction, it has to contain all \(\mathbb Z\). From there, with multiplication and division, it has to contain all \(\mathbb Q\). QED

Right. This set is not closed under usual addition. That is why it is not a field with respect to the usual addition.

Thank you. I don't think it fits in this exercise because 1 + 1 = 0 mod 2 while the exercise asks about "usual addition and multiplication of numbers".

I'd like to make textbook exercises, some as a refresher and others new to me, and I hope that mathematicians here will take a look and will point out when I miss something. Here is a first bunch. Which of the following subsets of \(\mathbb C\) are fields with respect to the usual addition and multiplication of numbers: (a) \(\mathbb Z\)? Not a field. E.g., no inverse of 2. (b) \(\{0,1\}\)? Not a field. Not even a group. (c) \(\{0\}\)? Not a field. No multiplicative identity. (d) \(\{a+b\sqrt 2; a, b \in \mathbb Q\}\)? Yes. (e) \(\{a+b\sqrt[3] 2; a, b \in \mathbb Q\}\)? Not a field. Can't get inverse of \(\sqrt[3] 2\). (f) \(\{a+b\sqrt[4] 2; a, b \in \mathbb Q\}\)? Not a field. Can't get inverse of \(\sqrt[4] 2\). (g) \(\{a+b\sqrt 2; a, b \in \mathbb Z\}\)? Not a field. E.g., no inverse of 2. (h) \(\{z \in \mathbb C : |z| \leq 1\}\) Not a field. No inverses when \(|z| \lt 1\).

-

Anyway, it starts now here.

May I ask, in what senses they are not?

From Bug (engineering) - Wikipedia:

According to sources including wikipedia, it was a joke because the term had been in use already for a long time.

It was quite exciting and pleasant to watch our systems successfully crossing the date line in the time zone sequence first in Tokyo, then Singapore, London, and finally, NY. Being provided dinner and lodging in the downtown Manhattan, just in case.

You have shown that Since the answer to the question is Yes, you have shown that the alternating group has no subgroups of order half that of the group.