Math Challenge - August 2019

In summary, the maximum value of ff with f(x)=xae2a−xf(x)=xae2a−x is minimal for positive numbers a≥1a≥1. The equation of the curve is y=5x−4y=5x−4 and the flight paths will be three straight lines intersecting at (−2,1)(−2,1). The smallest field extension of FqFq containing an nn-th root of unity is FqnFqn. The triple (a,b,c)(a,b,c) cannot exist in Z3Z3. The function f(x)f(x) is not differentiable at x=1/2x=1/2. This function is strictly increasing or decreasing
  • #71
nuuskur said:
You're right, we need a change of gears .. :headbang:
Call a subset [itex]S\in \Sigma[/itex] to have property [itex](P)[/itex] iff the sub sigma algebra [itex]\Sigma _S := \{S\cap A \mid A\in\Sigma\}[/itex] is infinite. Note that
[tex]
\Sigma = \sigma \left (\Sigma _S \cup \Sigma _{S^c}\right ).\tag{E}
[/tex]
On the one hand we have by definition
[tex]
\Sigma _S \cup \Sigma _{S^c} \subseteq \Sigma \Rightarrow\sigma \left (\Sigma _S \cup \Sigma _{S^c}\right ) \subseteq \sigma (\Sigma) = \Sigma.
[/tex]
Conversely, take [itex]A\in \Sigma[/itex], then
[tex]
A = A\cap (S\cup S^c) = A\cap S \cup A\cap S^c \in \sigma \left ( \Sigma _S \cup \Sigma _{S^c}\right ).
[/tex]
Suffices to show the following: if [itex]S[/itex] has property [itex](P)[/itex], then there exists a partition [itex]S = T\dot{\cup}T'[/itex] such that [itex]T,T'\in\Sigma _S[/itex] are non-empty and at least one of them has property [itex](P)[/itex]. Since [itex]X[/itex] has property [itex](P)[/itex] by assumption, we can repeatedly apply this fact and obtain a strictly decreasing sequence of non-empty proper subsets.

Proof of fact. Suppose [itex]S\in\Sigma[/itex] has property [itex](P)[/itex]. Then [itex]\Sigma _S[/itex] is an infinite sub sigma algebra. Pick [itex]T \in \Sigma _S \setminus \{\emptyset, S\}[/itex] Write [itex]S= T\cup (S\cap T^c)[/itex]. By (E) at least one of the respective sub sigma algebras must be infinite.
Ok, now that we know..
Pick a strictly decreasing sequence [itex]X \supset S_1 \supset S_2 \supset \ldots[/itex] from the sigma algebra. Then put [itex]A_n := S_n\setminus S_{n+1}, n\in\mathbb N[/itex], which is a sequence of pairwise disjoint elements and
[tex]
\mathcal P(\mathbb N) \setminus \{ \emptyset, \mathbb N\} \to \Sigma, \quad A \mapsto \bigcup _{x\in A} A_x,
[/tex]
is injective, thus an infinite sigma algebra must be at least of the cardinality of the continuum.
 
Physics news on Phys.org
  • #72
nuuskur said:
Ok, now that we know..
Pick a strictly decreasing sequence [itex]X \supset S_1 \supset S_2 \supset \ldots[/itex] from the sigma algebra. Then put [itex]A_n := S_n\setminus S_{n+1}, n\in\mathbb N[/itex], which is a sequence of pairwise disjoint elements and
[tex]
\mathcal P(\mathbb N) \setminus \{ \emptyset, \mathbb N\} \to \Sigma, \quad A \mapsto \bigcup _{x\in A} A_x,
[/tex]
is injective, thus an infinite sigma algebra must be at least of the cardinality of the continuum.
Will give feedback tomorrow. Currently busy with abstract algebra and measure theory needs a change of mindset :P.
 
  • Like
Likes nuuskur and fresh_42
  • #73
The fundamental theorem of abelian groups says that for any finite abelian group

[tex]

A \cong \mathbb Z_{p_1^{k_1}} \oplus \ldots \oplus \mathbb Z_{p_m^{k_m}}
[/tex]
Hyperlinking breaks my raw text for some reason. I'll be using Sylow's theorems which I will refer to as theorems 1, 2 and 3 respectively. (https://en.wikipedia.org/wiki/Sylow_theorems)
In the abelian case there are [itex]\mathbb Z_6\cong\mathbb Z_2\oplus\mathbb Z_3[/itex].

Quick remark. Being a Sylow [itex]p-[/itex]subgroup is invariant with respect to conjugating, thus if [itex]H[/itex] was a unique Sylow [itex]p-[/itex]subgroup, we would have [itex]gHg^{-1} = H, g\in G,[/itex] i.e [itex]H[/itex] would be normal.

Fact. Suppose a non-abelian group [itex]G[/itex] has order [itex]pq[/itex] (primes) with [itex]q\equiv 1 \pmod{p}[/itex], then there are precisely [itex]q[/itex] Sylow [itex]p-[/itex]subgroups in [itex]G[/itex].

Proof of fact. Let [itex]n_p,n_q[/itex] be the numbers of Sylow [itex]p,q-[/itex]subgroups respectively. By assumption [itex]q>p[/itex]. By theorem 3 [itex]n_q \equiv 1 \pmod{q}[/itex] and by theorem 1 [itex]n_q\mid p[/itex], which forces [itex]n_q = 1[/itex], thus we have a (normal) subgroup of order [itex]q[/itex], which makes it cyclic, therefore abelian.

For [itex]n_p[/itex] we thus have two choices: [itex]n_p = 1,q[/itex]. If [itex]n_p = 1[/itex], then [itex]G\cong \mathbb Z_p \oplus \mathbb Z_q[/itex] would be abelian, thus it must be that [itex]n_p = q[/itex].

Our non-abelian group [itex]G[/itex] therefore contains three Sylow [itex]2-[/itex]subgroups, call them [itex]H_1,H_2,H_3[/itex], which by theorem 2 are all conjugate to each other. We have [itex]\mbox{Sym}(H_1,H_2,H_3) \cong S_3[/itex]. We show that [itex]G\cong S_3[/itex]. Define
[tex]
\varphi : G\to \mbox{Sym}(H_1,H_2,H_3), \quad\varphi (g)(H_j) := gH_jg^{-1}
[/tex]
(also called conjugating)
Firstly, if [itex]H[/itex] is a Sylow [itex]p-[/itex]subgroup, then conjugating it gives another Sylow [itex]p-[/itex]subgroup, hence it must hold that [itex]gH_ig^{-1} = H_j[/itex] for some [itex]j[/itex].

The map [itex]\varphi (g)[/itex] is injective, because if [itex]gH_ig^{-1} = gH_jg^{-1}[/itex], then
[tex]
h_i \in H_i \Rightarrow gh_ig^{-1} \in gH_ig^{-1} = gH_jg^{-1} \Rightarrow h_i \in H_j.
[/tex]
The argument is symmetrical, thus [itex]H_i=H_j[/itex]. It is surjective due to finiteness.

Take [itex]g,h\in G[/itex], then
[tex]
\varphi (gh) (H_j) = (gh)H_j(gh)^{-1} = g(hH_jh^{-1})g^{-1} = g (\varphi (h)(H_j)) g^{-1} = \varphi (g) (\varphi (h)(H_j)) = (\varphi (g) \varphi (h))(H_j).
[/tex]
To show it's an isomorphism, it suffices to show it's injective (because [itex]|G| = |S_3| = 6[/itex]). Suppose [itex]\varphi (g) = \mbox{id}[/itex] i.e [itex]gH_jg^{-1}=H_j[/itex], then by definition [itex]g\in N(H_j)[/itex] the normaliser of [itex]H_j[/itex]. If [itex]N(H_j) = G[/itex], then [itex]H_j[/itex] would be normal, which would then make it equal to its conjugates, contradicting the fact that there are three Sylow [itex]2-[/itex]subgroups.

Therefore, all [itex]N(H_j) = H_j[/itex] and [itex]g\in H_1\cap H_2\cap H_3 = \{e\}[/itex] i.e [itex]g=e[/itex], which makes [itex]\varphi[/itex] an isomorphism.
 
Last edited:
  • #74
Regarding question 5, a clarification question.

Would constructing all possible character tables be an acceptable answer? I can get my group theory text and swat this up, but it would take me a couple hours to refresh that stuff since I have not looked at it in some time.
 
  • #75
DEvens said:
Regarding question 5, a clarification question.

Would constructing all possible character tables be an acceptable answer? I can get my group theory text and swat this up, but it would take me a couple hours to refresh that stuff since I have not looked at it in some time.

A character table does not determine a group uniquely. If I recall correctly, ##D_8## and ##Q_8## are groups with the same character table that are not isomorphic.

Do you maybe mean Cayley table?
 
  • #76
nuuskur said:
The fundamental theorem of abelian groups says that for any finite abelian group

[tex]

A \cong \mathbb Z_{p_1^{k_1}} \oplus \ldots \oplus \mathbb Z_{p_m^{k_m}}
[/tex]
Hyperlinking breaks my raw text for some reason. I'll be using Sylow's theorems which I will refer to as theorems 1, 2 and 3 respectively. (https://en.wikipedia.org/wiki/Sylow_theorems)
In the abelian case there are [itex]\mathbb Z_6\cong\mathbb Z_2\oplus\mathbb Z_3[/itex].

Quick remark. Being a Sylow [itex]p-[/itex]subgroup is invariant with respect to conjugating, thus if [itex]H[/itex] was a unique Sylow [itex]p-[/itex]subgroup, we would have [itex]gHg^{-1} = H, g\in G,[/itex] i.e [itex]H[/itex] would be normal.

Fact. Suppose a non-abelian group [itex]G[/itex] has order [itex]pq[/itex] (primes) with [itex]q\equiv 1 \pmod{p}[/itex], then there are precisely [itex]q[/itex] Sylow [itex]p-[/itex]subgroups in [itex]G[/itex].

Proof of fact. Let [itex]n_p,n_q[/itex] be the numbers of Sylow [itex]p,q-[/itex]subgroups respectively. By assumption [itex]q>p[/itex]. By theorem 3 [itex]n_q \equiv 1 \pmod{q}[/itex] and by theorem 1 [itex]n_q\mid p[/itex], which forces [itex]n_q = 1[/itex], thus we have a (normal) subgroup of order [itex]q[/itex], which makes it cyclic, therefore abelian.

For [itex]n_p[/itex] we thus have two choices: [itex]n_p = 1,q[/itex]. If [itex]n_p = 1[/itex], then [itex]G\cong \mathbb Z_p \oplus \mathbb Z_q[/itex] would be abelian, thus it must be that [itex]n_p = q[/itex].

Our non-abelian group [itex]G[/itex] therefore contains three Sylow [itex]2-[/itex]subgroups, call them [itex]H_1,H_2,H_3[/itex], which by theorem 2 are all conjugate to each other. We have [itex]\mbox{Sym}(H_1,H_2,H_3) \cong S_3[/itex]. We show that [itex]G\cong S_3[/itex]. Define
[tex]
\varphi : G\to \mbox{Sym}(H_1,H_2,H_3), \quad\varphi (g)(H_j) := gH_jg^{-1}
[/tex]
(also called conjugating)
Firstly, if [itex]H[/itex] is a Sylow [itex]p-[/itex]subgroup, then conjugating it gives another Sylow [itex]p-[/itex]subgroup, hence it must hold that [itex]gH_ig^{-1} = H_j[/itex] for some [itex]j[/itex].

The map [itex]\varphi (g)[/itex] is injective, because if [itex]gH_ig^{-1} = gH_jg^{-1}[/itex], then
[tex]
h_i \in H_i \Rightarrow gh_ig^{-1} \in gH_ig^{-1} = gH_jg^{-1} \Rightarrow h_i \in H_j.
[/tex]
The argument is symmetrical, thus [itex]H_i=H_j[/itex]. It is surjective due to finiteness.

Take [itex]g,h\in G[/itex], then
[tex]
\varphi (gh) (H_j) = (gh)H_j(gh)^{-1} = g(hH_jh^{-1})g^{-1} = g (\varphi (h)(H_j)) g^{-1} = \varphi (g) (\varphi (h)(H_j)) = (\varphi (g) \varphi (h))(H_j).
[/tex]
To show it's an isomorphism, it suffices to show it's injective (because [itex]|G| = |S_3| = 6[/itex]). Suppose [itex]\varphi (g) = \mbox{id}[/itex] i.e [itex]gH_jg^{-1}=H_j[/itex], then by definition [itex]g\in N(H_j)[/itex] the normaliser of [itex]H_j[/itex]. If [itex]N(H_j) = G[/itex], then [itex]H_j[/itex] would be normal, which would then make it equal to its conjugates, contradicting the fact that there are three Sylow [itex]2-[/itex]subgroups.

Therefore, all [itex]N(H_j) = H_j[/itex] and [itex]g\in H_1\cap H_2\cap H_3 = \{e\}[/itex] i.e [itex]g=e[/itex], which makes [itex]\varphi[/itex] an isomorphism.
Typo
By theorem 3 [itex]n_q \equiv 1 \pmod{q}[/itex] and by theorem 3 [itex]n_q\mid p[/itex]
As a continuation to #73.
In the abelian case there are
[tex]
\mathbb Z_8 \qquad \mathbb Z_4 \oplus \mathbb Z _2 \qquad \mathbb Z_2 \oplus\mathbb Z_2\oplus\mathbb Z_2
[/tex]
Suppose [itex]G[/itex] is non-abelian of order [itex]8[/itex]. If there is an element of order 8, then [itex]G[/itex] is cyclic, thus abelian. Suppose the maximal order is [itex]2[/itex] and pick [itex]g,h\in G[/itex]. If [itex]gh=e[/itex], then they commute. Suppose [itex](gh)^2 = e[/itex], then
[tex]
gh = geh = g(ghgh)h = (gg)hg(hh) = ehge = hg
[/tex]
and again [itex]G[/itex] would be abelian. Thus we must have an element [itex]a[/itex] of order [itex]4[/itex]. Its generated subgroup [itex]\langle a \rangle =: H[/itex] is of index [itex]2[/itex], therefore normal. Take [itex]b\notin H[/itex], then we have [itex]bab^{-1}\in H[/itex] due to normality. Notice that
[tex]
(bab^{-1})^4 = bab^{-1}bab^{-1}bab^{-1}bab^{-1} = baaaab^{-1} = e.
[/tex]
If also [itex](bab^{-1}) ^2 = e[/itex], then [itex]baab^{-1} = e[/itex] would lead to [itex]aa=e[/itex], contradicting the order of [itex]a[/itex].
Next, we find the possible values of [itex]bab^{-1}[/itex].
  1. If [itex]bab^{-1} = a^4 = e[/itex], then [itex]a=e[/itex], which is impossible.
  2. If [itex]bab^{-1} = a[/itex], then [itex]ba = ab[/itex], but this will make [itex]G[/itex] abelian. Indeed, pick [itex]g,h\in G[/itex]. If they're both in [itex]H[/itex], then they commute. Suppose [itex]g\notin H[/itex] and write [itex]g = ba^m[/itex] and [itex]h = a^n[/itex], then
    [tex]
    gh = ba^ma^n = ba^na^m = a^n ba^m = hg.
    [/tex]
    and if both reside outside [itex]H[/itex], then writing [itex]g = ba^m[/itex] and [itex]h = ba^n[/itex] would similarly lead to [itex]gh=hg[/itex]. But our group is not abelian.
  3. If [itex]bab^{-1} = a^2[/itex], then [itex](bab^{-1})^2 = e[/itex] would contradict the order of [itex]bab^{-1}[/itex].
Thus, the only possibility is [itex]bab^{-1}=a^3 =a^{-1}[/itex].

There are two cases to consider.
  1. [itex]b[/itex] is of order [itex]2[/itex], then we have [itex]G \cong \langle a,b \mid \mbox{ord}(a) = 4, \mbox{ord}(b) = 2, bab^{-1} = a^{-1} \rangle [/itex] this is the dihedral group [itex]D_8[/itex].
  2. [itex]b[/itex] is of order [itex]4[/itex]. We show [itex]G[/itex] is the dicyclic group [itex]\mbox{Dic}_2[/itex], where
    [tex]
    \mbox{Dic}_2 \cong \langle x,y \mid x^{4} = e, x^2 = y^2, x^{-1} = y^{-1}xy \rangle.
    [/tex]
    Notice that
    [tex]
    bab^{-1} = a^{-1} \Rightarrow b^{-1}ab = b^{-1}(ba^{-1}b^{-1})b = a^{-1}.
    [/tex]
    So we have left to show [itex]a^2 = b^2[/itex]. Considering the natural projection [itex]G\to G/H\cong\mathbb Z_2[/itex], we have [itex]b^2 \in H[/itex]. Consider possible values of [itex]b^2[/itex].
    1. [itex]b^2 = a^4 = e[/itex] contradicts order of [itex]b[/itex].
    2. [itex]b^2 = a[/itex] contradicts order of [itex]a[/itex]
    3. [itex]b^2 = a^2[/itex] is what we want.
    4. [itex]b^2 = a^{-1}[/itex] contradicts order of [itex]a^{-1}[/itex] (hence order of [itex]a[/itex]).
      Thus [itex]b^2 = a^2[/itex] must hold.
 
Last edited:
  • #77
Is the answer 70km?
 
  • #78
etotheipi said:
Is the answer 70km?
Yes, but what is the calculation?
 
  • #79
fresh_42 said:
Yes, but what is the calculation?

Let the distance outside the town be d

The initial average speed before the change of heart is thus $$v_1 = \frac {d+10} {0.25 + \frac{d}{180}},$$
In a similar vein the average speed after the driver decides to lower his speeds is
$$v_2 = \frac {d+10} {0.5 + \frac{d}{160}},$$
We are told that the difference between these two speeds is 40kmh, so we solve the following equation for d
$$\frac {d+10} {0.25 + \frac{d}{180}} = \frac {d+10} {0.5 + \frac{d}{160}} + 40$$
Cleaning up that mess gives a quadratic
$$d^2 - 120d + 3600 = 0$$
which yields a single solution of d=60. Hence the total distance is d+10 = 70.
 
  • Like
Likes fresh_42
  • #80
fresh_42 said:
13. David drives to work every working day by car. Outside towns he drives at an average speed of ##180\,\text{km/h}##. On the
##10\,\text{km}## in town, he drives at an average speed of ##40\,\text{km/h}##. As a result, he is often too fast and gets a ticket. Meanwhile he has realized that things can not go on like this and he decides to reduce his average speed by ##20\,\text{km/h}## in town as well as outside. How long is his way to work, if this reduces his average speed by ##40\,\text{km/h}## on total?

The total distance to work is 70 km, including the 10 km inside the town (which is given).

Let ##d## be the distance traveled outside the town when David goes to work. Then his original average speed would be $$s_1 = \frac {(d + 10)} {\frac {d} {180} + \frac {10} {40}}$$. After reducing the speeds inside and outside the towns by ##20 km/h## each, the new average speed becomes $$s_2 = \frac {(d + 10)} {\frac {d} {160} + \frac {10} {20}}$$

Given that the new average speed is lower than the previous average speed by ##40km/h##, we get $$s_1 - s_2 = 40 \Rightarrow \frac {(d + 10)} {\frac {d} {180} + \frac {10} {40}} - \frac {(d + 10)} {\frac {d} {160} + \frac {10} {20}} = 40$$

The above equation reduces to ##(d - 60)^2 = 0##, giving ##d = 60##

P.S.
Thanks for giving 1 simple question that I could solve confidently :oldbiggrin:. But more thanks for the tough questions for which I couldn't not solve - I am keen to learn from the solutions posted by others and from the learning resources.
 
  • Like
Likes fresh_42
  • #81
Not anonymous said:
The total distance to work is 70 km, including the 10 km inside the town (which is given).

Let ##d## be the distance traveled outside the town when David goes to work. Then his original average speed would be $$s_1 = \frac {(d + 10)} {\frac {d} {180} + \frac {10} {40}}$$. After reducing the speeds inside and outside the towns by ##20 km/h## each, the new average speed becomes $$s_2 = \frac {(d + 10)} {\frac {d} {160} + \frac {10} {20}}$$

Given that the new average speed is lower than the previous average speed by ##40km/h##, we get $$s_1 - s_2 = 40 \Rightarrow \frac {(d + 10)} {\frac {d} {180} + \frac {10} {40}} - \frac {(d + 10)} {\frac {d} {160} + \frac {10} {20}} = 40$$

The above equation reduces to ##(d - 60)^2 = 0##, giving ##d = 60##

P.S.
Thanks for giving 1 simple question that I could solve confidently :oldbiggrin:. But more thanks for the tough questions for which I couldn't not solve - I am keen to learn from the solutions posted by others and from the learning resources.
There are only a couple of rules to attack a problem, if there is no direct, computational approach:
  • simplify it
  • get rid of what disturbs
  • find and use symmetries
E.g. problems with rational numbers are also problems with integers, What does it say in the integer case? Integer problems are often solved by looking at the remainders modulo one or more primes: If there is an integer solution, then there is a solution with remainders, too.
##x^2+y^2=z^2 \Longrightarrow x^2+y^2\equiv z^2 \mod 2 \Longrightarrow \{\,x,y,z\,\} \text{ contains at least one even number }## because not all ##x,y,z## can be odd, since this would give ##1+1=1## for the remainders.

If there are disturbing denominators, multiply them off.

If there are symmetries, find other symmetric expressions and investigate whether there are relations.
 
  • #82
fresh_42 said:
There are only a couple of rules to attack a problem, if there is no direct, computational approach:
  • simplify it
  • get rid of what disturbs
  • find and use symmetries
E.g. problems with rational numbers are also problems with integers, What does it say in the integer case? Integer problems are often solved by looking at the remainders modulo one or more primes: If there is an integer solution, then there is a solution with remainders, too.
##x^2+y^2=z^2 \Longrightarrow x^2+y^2\equiv z^2 \mod 2 \Longrightarrow \{\,x,y,z\,\} \text{ contains at least one even number }## because not all ##x,y,z## can be odd, since this would give ##1+1=1## for the remainders.

If there are disturbing denominators, multiply them off.

If there are symmetries, find other symmetric expressions and investigate whether there are relations.

Hi @fresh_42 , thanks for the tips. In that example, when you say ##x^2 + y^2 \equiv z^2 \mod 2## did you mean to say ##(x^2 + y^2) \mod 2 \equiv z^2 \mod 2##?
 
  • #83
2. Find the equation of a curve such that ##y''## is always ##2## and the slope of the tangent line is ##10## at the point ##(2,6)##.

Is the answer ##y = x^2 + 6x - 10##?

##y'' = 2 \Rightarrow y' = \int y'' \, dx = \int 2 \,dx = (2x + a)##, where ##a## is some constant
##y = \int (2x + a) \, dx = (x^2 + ax + b)## where ##b## is some constant

Since slope of tangent at ##x = 2## is 10, we get ##y'_{(x=2)} = 2 \Rightarrow 2 \times 2 + a = 10 \Rightarrow a = 6##

Since ##(2, 6)## is a point on the curve, ##y_{(x=2)} = 6 \Rightarrow (x^2 + 6x + b)_{(x=2)} = 6 \Rightarrow 4 + 12 + b = 10 \Rightarrow b = -6##
 
  • #84
1. The maximum value of ##f## with ##f(x) = x^a e^{2a - x}## is minimal for which values of positive numbers ##a## ?

Is the answer ##a = e^{-2}##?

Here is the calculation I used - ##f'(x) = ax^{a-1} e^{2a - x} - x^a e^{2a - x} = x^{a-1} e^{2a - x} (a - x)##
At the maximal point, ##f'(x) = 0 \Rightarrow x=a## or ##x=0##. I have not worked out a rigorous proof for maximality at ##a##, but it can be seen that since when ##x > a##, ##f'(x) < 0##, ##f(a) > 0## (given ##a > 0##), ##x = a## must be the global maximum.

Therefore, maximum value of ##f## is ##a^a e^a##, which we will now denote by ##g(a)##, a function of variable ##a##. Obviously, for ##a > 0##, this expression will not have a finite maximum, since as ##a \rightarrow \inf##, ##f(a) \rightarrow \inf##. Only a finite minimum would be possible and at the minimal point ##g'(a) = 0##. To simplify differentiation, we may apply logarithm on the expression to find the minimum, which is valid for ##a > 0## since logarithm is a monotonically increasing function. ##h(a) = \ln g(a) = a \ln a + a##. At the minimal point, ##h' = 0 \Rightarrow 2 + \ln a = 0 \Rightarrow a = e^{-2}##
 
  • #85
Not anonymous said:
Hi @fresh_42 , thanks for the tips. In that example, when you say ##x^2 + y^2 \equiv z^2 \mod 2## did you mean to say ##(x^2 + y^2) \mod 2 \equiv z^2 \mod 2##?
Yes, except the correct notation is ##a \equiv b \mod 2## or ##a=b \mod 2## The module automatically covers the entire equation. It is basically a function from ##\mathbb{Z}## to ##\mathbb{Z}/\mathbb{2Z}=\mathbb{Z}_2=\{\,0,1\,\}##. So ##\mod n## means to apply this function on both sides, otherwise it wouldn't make sense.
 
  • Informative
Likes Not anonymous
  • #86
##2x^6+3y^6=z^3##

It suffices to prove that ##2x^3+3y^3=1## has no rational roots (expression obtained by dividing by ##z^3## ).

We see that ##\frac{3y^3}{2} = \frac{1}{2} -x^3##

We see that ##x^3= \frac{1}{2} - t^3## and ##y= \frac{2t^3}{3}##

If t is rational, then y is irrational. If t is irrational, then x is irrational. Hence there are no solutions for x and y in rationals.
 
  • #87
Pi-is-3 said:
##2x^6+3y^6=z^3##

It suffices to prove that ##2x^3+3y^3=1## has no rational roots (expression obtained by dividing by ##z^3## ).
Prove it!
 
  • Like
Likes Pi-is-3
  • #88
Not anonymous said:
1. The maximum value of ##f## with ##f(x) = x^a e^{2a - x}## is minimal for which values of positive numbers ##a## ?

Is the answer ##a = e^{-2}##?

Here is the calculation I used - ##f'(x) = ax^{a-1} e^{2a - x} - x^a e^{2a - x} = x^{a-1} e^{2a - x} (a - x)##
At the maximal point, ##f'(x) = 0 \Rightarrow x=a## or ##x=0##. I have not worked out a rigorous proof for maximality at ##a##, but it can be seen that since when ##x > a##, ##f'(x) < 0##, ##f(a) > 0## (given ##a > 0##), ##x = a## must be the global maximum.

Therefore, maximum value of ##f## is ##a^a e^a##, which we will now denote by ##g(a)##, a function of variable ##a##. Obviously, for ##a > 0##, this expression will not have a finite maximum, since as ##a \rightarrow \inf##, ##f(a) \rightarrow \inf##. Only a finite minimum would be possible and at the minimal point ##g'(a) = 0##. To simplify differentiation, we may apply logarithm on the expression to find the minimum, which is valid for ##a > 0## since logarithm is a monotonically increasing function. ##h(a) = \ln g(a) = a \ln a + a##. At the minimal point, ##h' = 0 \Rightarrow 2 + \ln a = 0 \Rightarrow a = e^{-2}##

One wrong assumption, x=a is not the global maximal for all a. If a is negative or an even natural number, then it is just a critical point. But the answer is correct because it is the global maxima of ##e^{-2}##.
 
  • #89
fresh_42 said:
Prove it!

Sorry, I thought it was sufficient to leave it at that.
Let ##x^2=a, y^2=b##.
Then we have ##3a^3+2b^3=z^3##

Let ##\frac{a}{z}=j ## and ## \frac{b}{z}=k##

If x,y,z are rational, then so are j and k.

Finally, if their are no rational solutions of j and k, then their are no rational solutions for x,y,z.

This is why it suffices to prove that ##3j^3+2k^3=1## has no rational solutions.

EDIT: I made one more mistake, I didn't mention that z is not equal to 0. If z=0, then the answers come to be (0,0,0) which is excluded.
 
Last edited:
  • #90
Pi-is-3 said:
Sorry, I thought it was sufficient to leave it at that.
No. It is a bad habit and a common place to hide mistakes.

You have to show that a solution of the general version provides a solution for the restricted one. So let us assume we have a solution ##(r,s,t)## such that ##2r^6 +3s^6=t^3##.

From ##t=0## we obtain the trivial solution only, since the left hand side is nonnegative.
For ##t\neq 0## we get ##2 \left( \dfrac{r}{t} \cdot r \right)^3\cdot 3 \left( \dfrac{s}{t} \cdot s\right)^3=1\,.##
 
Last edited:
  • #91
You are hard to follow.
Pi-is-3 said:
##2x^6+3y^6=z^3##

It suffices to prove that ##2x^3+3y^3=1## has no rational roots (expression obtained by dividing by ##z^3## ).
Done in post #89, although the additional variables make it unnecessarily complicated (see post #90).
We see that ##\frac{3y^3}{2} = \frac{1}{2} -x^3##

We see that ##x^3= \frac{1}{2} - t^3## and ##y= \frac{2t^3}{3}##
We do not "see" it. What we see is that you invented out of the blue a certain number ##t##. What you should have done is telling us, that you set ##t:= \sqrt[3]{\frac{3}{2}y} \in \mathbb{R}## such that ##y=\frac{2}{3}t^3##. But now ##x^3\neq \frac{1}{2}-t^3##.

To correct this, we have to set ##t:=\sqrt[3]{\frac{3}{2}}y##. Now ##x^3= \frac{1}{2}-t^3##.
If t is rational, then y is irrational.
How that?
If t is irrational, then x is irrational. Hence there are no solutions for x and y in rationals.
 
  • #92
nuuskur said:
Proof of fact. Suppose [itex]S\in\Sigma[/itex] has property [itex](P)[/itex]. Then [itex]\Sigma _S[/itex] is an infinite sub sigma algebra. Pick [itex]T \in \Sigma _S \setminus \{\emptyset, S\}[/itex] Write [itex]S= T\cup (S\cap T^c)[/itex]. By (E) at least one of the respective sub sigma algebras must be infinite.

First of all, sorry for the late reply. I'm trying to understand this part of your answer. I guess you want to show that either ##\Sigma_T## or ##\Sigma_{S \cap T^c}## has property ##(P)##, right?

Can you please explain me why the following sentence is true?

"By (E) at least one of the respective sub sigma algebras must be infinite."
 
  • #93
Math_QED said:
Can you please explain me why the following sentence is true?

"By (E) at least one of the respective sub sigma algebras must be infinite."
If ##\Sigma _T \cup \Sigma _{S\cap T^c}## was a finite set, then their generated sub sigma algebra, which is ##\Sigma _S##, would also be finite.

I guess you want to show that either ##\Sigma_T## or ##\Sigma_{S \cap T^c}## has property ##(P)##, right?
They can both have that property, too.
 
Last edited:
  • #94
8. Show that there is no triple ##(a,b,c) \in \mathbb{Z}^3\setminus \{(0,0,0)\}## such that ##a^2 + b^2 = 3 c^2##.

After spending a few seconds thinking about it, I realized that this problem is much simpler than what I had imagined when I first came across this question in the challenge list. An interesting problem nevertheless for people like me who have never had the opportunity to a course in number theory and the like and want some warm-up questions before moving to tougher problems.

I think there might be a simpler proof than what I came up with.

Since ##a^2 + b^2 = 3 c^2##, it must be the case that ##a^2 + b^2 \equiv 0 \mod 3##. Since ##(x + y) \mod n = x \mod n + y \mod n)##, we consider all possible combinations of ##a \mod 3## and ##b \mod 3## and find their effect on ##a^2 \mod 3 + b^2 \mod 3##. We only need to consider the modulo pairs (0, 0), (0, 1), (0, 2), (1, 1), (1, 2) and (2, 2) for the modulos of a and b, since the remaining cases like (2, 1) are symmetric. And we use the observation that if ##x \equiv k \mod n##, then ##x^2 \equiv k^2 \mod n## (since ##x = pn + k## for some integer ##p## and ##x^2 = (p^2 n^2 + k^2 + 2kpn) \equiv k^2 \mod n##).

$$
\begin{array}{|c|c|c|c|c|}
\hline a \mod 3 & b \mod 3 & a^2 \mod 3 & b^2 \mod 3 & (a^2 + b^2) \mod 3 \\
\hline 0 & 0 & 0 & 0 & 0 \\
\hline 0 & 1 & 0 & 1 & 1 \\
\hline 0 & 2 & 0 & 1 & 1 \\
\hline 1 & 1 & 1 & 1 & 2 \\
\hline 1 & 2 & 1 & 1 & 2 \\
\hline 2 & 2 & 1 & 1 & 2 \\
\hline
\end{array}
$$

So the only case where ##(a^2 + b^2) \mod 3 = 0## is when the LHS modulo pair is (0, 0), i.e. both a and b are multiples of 3, say ##a = 3A, b = 3B## for some non-zero integers ##A, B## (since question states a, b, c are all non-zero). Using this in the original expression, we get ##a^2 + b^2 = 9A^2 + 9B^2 = 3 c^2 \Rightarrow A^2 + B^2 = \frac {c^2} {3}##

Since ##A^2 + B^2## and hence ##\frac {c^2} {3}## is an integer, and ##c## is an integer and 3 is prime, it must be the case that ##c## too is a multiple of 3, say ##c = 3C## for some non-zero integer ##C##. So the above equivalence becomes, ##A^2 + B^2 = \frac {9C^2} {3} = 3C^2##, which is of the same for as the original equation. So as long as the 2 integers on LHS are multiples of 3, we can reduce the expression to another expression of the same form but with the absolute values of the integers becoming smaller. This cannot continue infinitely, implying that we will reach a point where at least one of the 2 integers is no longer a multiple of 3, meaning that the modulo pair is no longer (0, 0). And for any such non-(0, 0) pair, we already showed that the RHS cannot be a multiple of 3, but this contradicts the expression from that required the RHS to be a multiple of 3. Therefore, the only remaining possibility, i.e. of having an LHS module pair of the form (0, 0) that also satisfies the expression form ##a^2 + b^2 = 3 c^2##, too is ruled out. Hence proved.
 
  • Like
Likes member 587159
  • #95
Not anonymous said:
8. Show that there is no triple ##(a,b,c) \in \mathbb{Z}^3\setminus \{(0,0,0)\}## such that ##a^2 + b^2 = 3 c^2##.

After spending a few seconds thinking about it, I realized that this problem is much simpler than what I had imagined when I first came across this question in the challenge list. An interesting problem nevertheless for people like me who have never had the opportunity to a course in number theory and the like and want some warm-up questions before moving to tougher problems.

I think there might be a simpler proof than what I came up with.

Since ##a^2 + b^2 = 3 c^2##, it must be the case that ##a^2 + b^2 \equiv 0 \mod 3##. Since ##(x + y) \mod n = x \mod n + y \mod n)##, we consider all possible combinations of ##a \mod 3## and ##b \mod 3## and find their effect on ##a^2 \mod 3 + b^2 \mod 3##. We only need to consider the modulo pairs (0, 0), (0, 1), (0, 2), (1, 1), (1, 2) and (2, 2) for the modulos of a and b, since the remaining cases like (2, 1) are symmetric. And we use the observation that if ##x \equiv k \mod n##, then ##x^2 \equiv k^2 \mod n## (since ##x = pn + k## for some integer ##p## and ##x^2 = (p^2 n^2 + k^2 + 2kpn) \equiv k^2 \mod n##).

$$
\begin{array}{|c|c|c|c|c|}
\hline a \mod 3 & b \mod 3 & a^2 \mod 3 & b^2 \mod 3 & (a^2 + b^2) \mod 3 \\
\hline 0 & 0 & 0 & 0 & 0 \\
\hline 0 & 1 & 0 & 1 & 1 \\
\hline 0 & 2 & 0 & 1 & 1 \\
\hline 1 & 1 & 1 & 1 & 2 \\
\hline 1 & 2 & 1 & 1 & 2 \\
\hline 2 & 2 & 1 & 1 & 2 \\
\hline
\end{array}
$$

So the only case where ##(a^2 + b^2) \mod 3 = 0## is when the LHS modulo pair is (0, 0), i.e. both a and b are multiples of 3, say ##a = 3A, b = 3B## for some non-zero integers ##A, B## (since question states a, b, c are all non-zero). Using this in the original expression, we get ##a^2 + b^2 = 9A^2 + 9B^2 = 3 c^2 \Rightarrow A^2 + B^2 = \frac {c^2} {3}##

Since ##A^2 + B^2## and hence ##\frac {c^2} {3}## is an integer, and ##c## is an integer and 3 is prime, it must be the case that ##c## too is a multiple of 3, say ##c = 3C## for some non-zero integer ##C##. So the above equivalence becomes, ##A^2 + B^2 = \frac {9C^2} {3} = 3C^2##, which is of the same for as the original equation. So as long as the 2 integers on LHS are multiples of 3, we can reduce the expression to another expression of the same form but with the absolute values of the integers becoming smaller. This cannot continue infinitely, implying that we will reach a point where at least one of the 2 integers is no longer a multiple of 3, meaning that the modulo pair is no longer (0, 0). And for any such non-(0, 0) pair, we already showed that the RHS cannot be a multiple of 3, but this contradicts the expression from that required the RHS to be a multiple of 3. Therefore, the only remaining possibility, i.e. of having an LHS module pair of the form (0, 0) that also satisfies the expression form ##a^2 + b^2 = 3 c^2##, too is ruled out. Hence proved.

Looks correct. A solution anaologuous to yours was already provided though.
 
  • #96
nuuskur said:
If ##\Sigma _T \cup \Sigma _{S\cap T^c}## was a finite set, then their generated sub sigma algebra, which is ##\Sigma _S##, would also be finite.

I still don't see how (E) implies that

$$\Sigma_S = \sigma(\Sigma_T \cup \Sigma_{S\cap T^c})$$
 
  • #97
Math_QED said:
I still don't see how (E) implies that

$$\Sigma_S = \sigma(\Sigma_T \cup \Sigma_{S\cap T^c})$$
Right, I wrote [itex](E)[/itex] for [itex]S=X[/itex] and [itex]T=S[/itex]. Perhaps, "similarly to (E)" would have been a better choice of words. The proof is the same up to labelling, regardless. Since [itex]\Sigma _T \cup \Sigma _{S\cap T^c} \subseteq \Sigma _S[/itex] we have
[tex]
\sigma \left (\Sigma _T \cup \Sigma _{S\cap T^c}\right ) \subseteq \Sigma _S.
[/tex]
Conversely, for every [itex]A\in\Sigma_S[/itex], we have
[tex]
A = A \cap (T\cup S\cap T^c) = [A\cap T] \cup [A\cap (S\cap T^c)]\in \sigma \left (\Sigma _T \cup \Sigma _{S\cap T^c}\right )
[/tex]
 
Last edited:
  • #98
Not anonymous said:
8. Show that there is no triple ##(a,b,c) \in \mathbb{Z}^3\setminus \{(0,0,0)\}## such that ##a^2 + b^2 = 3 c^2##.

After spending a few seconds thinking about it, I realized that this problem is much simpler than what I had imagined when I first came across this question in the challenge list. An interesting problem nevertheless for people like me who have never had the opportunity to a course in number theory and the like and want some warm-up questions before moving to tougher problems.

I think there might be a simpler proof than what I came up with.

Since ##a^2 + b^2 = 3 c^2##, it must be the case that ##a^2 + b^2 \equiv 0 \mod 3##. Since ##(x + y) \mod n = x \mod n + y \mod n)##, we consider all possible combinations of ##a \mod 3## and ##b \mod 3## and find their effect on ##a^2 \mod 3 + b^2 \mod 3##. We only need to consider the modulo pairs (0, 0), (0, 1), (0, 2), (1, 1), (1, 2) and (2, 2) for the modulos of a and b, since the remaining cases like (2, 1) are symmetric. And we use the observation that if ##x \equiv k \mod n##, then ##x^2 \equiv k^2 \mod n## (since ##x = pn + k## for some integer ##p## and ##x^2 = (p^2 n^2 + k^2 + 2kpn) \equiv k^2 \mod n##).

$$
\begin{array}{|c|c|c|c|c|}
\hline a \mod 3 & b \mod 3 & a^2 \mod 3 & b^2 \mod 3 & (a^2 + b^2) \mod 3 \\
\hline 0 & 0 & 0 & 0 & 0 \\
\hline 0 & 1 & 0 & 1 & 1 \\
\hline 0 & 2 & 0 & 1 & 1 \\
\hline 1 & 1 & 1 & 1 & 2 \\
\hline 1 & 2 & 1 & 1 & 2 \\
\hline 2 & 2 & 1 & 1 & 2 \\
\hline
\end{array}
$$

So the only case where ##(a^2 + b^2) \mod 3 = 0## is when the LHS modulo pair is (0, 0), i.e. both a and b are multiples of 3, say ##a = 3A, b = 3B## for some non-zero integers ##A, B## (since question states a, b, c are all non-zero). Using this in the original expression, we get ##a^2 + b^2 = 9A^2 + 9B^2 = 3 c^2 \Rightarrow A^2 + B^2 = \frac {c^2} {3}##

Since ##A^2 + B^2## and hence ##\frac {c^2} {3}## is an integer, and ##c## is an integer and 3 is prime, it must be the case that ##c## too is a multiple of 3, say ##c = 3C## for some non-zero integer ##C##. So the above equivalence becomes, ##A^2 + B^2 = \frac {9C^2} {3} = 3C^2##, which is of the same for as the original equation. So as long as the 2 integers on LHS are multiples of 3, we can reduce the expression to another expression of the same form but with the absolute values of the integers becoming smaller. This cannot continue infinitely, implying that we will reach a point where at least one of the 2 integers is no longer a multiple of 3, meaning that the modulo pair is no longer (0, 0). And for any such non-(0, 0) pair, we already showed that the RHS cannot be a multiple of 3, but this contradicts the expression from that required the RHS to be a multiple of 3. Therefore, the only remaining possibility, i.e. of having an LHS module pair of the form (0, 0) that also satisfies the expression form ##a^2 + b^2 = 3 c^2##, too is ruled out. Hence proved.

For the last step of my proof, I found a simpler variant, based on same fundamentals however.

We need to prove that ##a^2 + b^2 = 3 c^2## where ##(a,b,c) \in \mathbb{Z}^3\setminus \{(0,0,0)\}## does not have a solution for the case of ##(a \mod 3, b \mod 3) \equiv (0, 0)## (absence of solution for other modulo combinations was already proven).

Say ##a = 3^{p}z, b = 3^{q}y, c = 3^{r}z##, where ##p, q, r## are the highest powers associated with 3 in the prime factorization of ##a, b, c## respectively. By this definition, ##x, y, z## will all be non-multiples of 3, implying ##x \mod 3 \neq 0, y \mod 3 \neq 0, z \mod 3 \neq 0##. If we assume ##(a \mod 3, b \mod 3) \equiv (0, 0)##, then ##p, q## should be positive integers. Therefore, ##a^2 + b^2 = 3 c^2 \Rightarrow 3^{2p}x^2 + 3^{2q}y^2 = 3 \times 3^{2r}z^2##. If we arbitrarily assume that ##p \ge q##, then LHS becomes ##3^{2p} (x^2 + 3^{2q - 2p}y^2)##. The proof of ##p \ge q## case is symmetric.

Subcase 1: If ##p = q##, then LHS simplifies further to ##3^{2p} (x^2 + y^2)##. Since x, y are non-multiples of 3, ##(x^2 + y^2) \mod 3 \neq 0## as already show earlier, so the exponent of 3 in prime factorization of LHS is ##2p##, an even natural number.

Subcase 2: If ##p \neq q##, then too exponent of 3 in prime factorization of LHS still remains ##2p##, because then in ##(x^2 + 3^{2q - 2p}y^2)##, the 2nd component, ##3^{2q - 2p}y^2## would be a multiple of 3 but ##x^2## would not be (because x is not a multiple of 3 by definition), and hence ##(x^2 + 3^{2q - 2p}y^2) \mod 3 \neq 0##. So here too, the exponent of 3 in prime factorization of LHS is an even natural number.

Whereas, on the RHS we have ##3 \times 3^{2r}z^2 = 3^{2r+1} z^2##, and by definition ##z## is a non-multiple of 3. Hence the exponent of 3 in prime factorization of RHS is ##(2r + 1)##, an odd number.

This means that the exponents of 3 on LHS and RHS cannot match, which contradicts the requirement of LHS = RHS. Hence proved
 
  • #99
For the sake of convenience I have put all candidate solutions to this post. If possible, please delete #73 and #76.

The fundamental theorem of abelian groups says that for any finite abelian group
$$
A \cong \mathbb Z_{p_1^{k_1}} \oplus \ldots \oplus \mathbb Z_{p_m^{k_m}}
$$
I'll be using Sylow's theorems which I will refer to as theorems 1, 2 and 3 respectively. (https://en.wikipedia.org/wiki/Sylow_theorems)
Of order ##6## there are
$$
\mathbb Z_6 \qquad S_3.
$$
Of order ##8## there are
$$
\mathbb Z_8 \qquad \mathbb Z_4 \oplus \mathbb Z _2 \qquad \mathbb Z_2 \oplus\mathbb Z_2\oplus\mathbb Z_2\qquad D_4 \qquad \mbox{Dic}_2.
$$
Of order ##12## there are
$$
\mathbb Z_{12}\qquad \mathbb Z_6 \oplus \mathbb Z_2 \qquad A_4 \qquad \mathbb Z_3 \rtimes_\varphi \mathbb Z_4 \qquad \mathbb Z_3 \rtimes _\varphi (\mathbb Z_2\oplus\mathbb Z_2).
$$

In the abelian case there are ##\mathbb Z_6\cong\mathbb Z_2\oplus\mathbb Z_3##.

Quick remark. Being a Sylow ##p-##subgroup is invariant with respect to conjugating, thus if ##H## was a unique Sylow ##p-##subgroup, we would have##gHg^{-1} = H, g\in G,## i.e ##H## would be normal.

Fact. Suppose a non-abelian group ##G## has order ##pq## (primes) with ##q\equiv 1 \pmod{p}##, then there are precisely ##q## Sylow##p-##subgroups in ##G##.

Proof of fact. Let [itex]n_p,n_q[/itex] be the numbers of Sylow [itex]p,q-[/itex]subgroups respectively. By assumption [itex]q>p[/itex]. By theorem 3 [itex]n_q \equiv 1 \pmod{q}[/itex] and [itex]n_q\mid p[/itex], which forces [itex]n_q = 1[/itex], thus we have a (normal) subgroup of order [itex]q[/itex], which makes it cyclic, therefore abelian.

For [itex]n_p[/itex] we thus have two choices: [itex]n_p = 1,q[/itex]. If [itex]n_p = 1[/itex], then [itex]G\cong \mathbb Z_p \oplus \mathbb Z_q[/itex] would be abelian, thus it must be that [itex]n_p = q[/itex].

Our non-abelian group [itex]G[/itex] therefore contains three Sylow [itex]2-[/itex]subgroups, call them [itex]H_1,H_2,H_3[/itex], which by theorem 2 are all conjugate to each other. We have [itex]\mbox{Sym}(H_1,H_2,H_3) \cong S_3[/itex]. We show that [itex]G\cong S_3[/itex]. Define
[tex]
\varphi : G\to \mbox{Sym}(H_1,H_2,H_3), \quad\varphi (g)(H_j) := gH_jg^{-1}
[/tex]
(also called conjugating)
Firstly, if [itex]H[/itex] is a Sylow [itex]p-[/itex]subgroup, then conjugating it gives another Sylow [itex]p-[/itex]subgroup, hence it must hold that [itex]gH_ig^{-1} = H_j[/itex] for some [itex]j[/itex].

The map [itex]\varphi (g)[/itex] is injective, because if [itex]gH_ig^{-1} = gH_jg^{-1}[/itex], then
[tex]
h_i \in H_i \Rightarrow gh_ig^{-1} \in gH_ig^{-1} = gH_jg^{-1} \Rightarrow h_i \in H_j.
[/tex]
The argument is symmetrical, thus [itex]H_i=H_j[/itex]. It is surjective due to finiteness.

Take [itex]g,h\in G[/itex], then
[tex]
\varphi (gh) (H_j) = (gh)H_j(gh)^{-1} = g(hH_jh^{-1})g^{-1} = g (\varphi (h)(H_j)) g^{-1} = \varphi (g) (\varphi (h)(H_j)) = (\varphi (g) \varphi (h))(H_j).
[/tex]
To show it's an isomorphism, it suffices to show it's injective (because [itex]|G| = |S_3| = 6[/itex]). Suppose [itex]\varphi (g) = \mbox{id}[/itex] i.e [itex]gH_jg^{-1}=H_j[/itex], then by definition [itex]g\in N(H_j)[/itex] the normaliser of [itex]H_j[/itex]. By theorem 3 all [itex]N(H_j) = H_j[/itex] and [itex]g\in H_1\cap H_2\cap H_3 = \{e\}[/itex] i.e [itex]g=e[/itex], which makes [itex]\varphi[/itex] an isomorphism.
In the abelian case there are
[tex]
\mathbb Z_8 \qquad \mathbb Z_4 \oplus \mathbb Z _2 \qquad \mathbb Z_2 \oplus\mathbb Z_2\oplus\mathbb Z_2
[/tex]
Suppose [itex]G[/itex] is non-abelian of order [itex]8[/itex]. If there is an element of order 8, then [itex]G[/itex] is cyclic, thus abelian. Suppose the maximal order is [itex]2[/itex] and pick [itex]g,h\in G[/itex]. If [itex]gh=e[/itex], then they commute. Suppose [itex](gh)^2 = e[/itex], then
[tex]
gh = geh = g(ghgh)h = (gg)hg(hh) = ehge = hg
[/tex]
and again [itex]G[/itex] would be abelian. Thus we must have an element [itex]a[/itex] of order [itex]4[/itex]. Its generated subgroup [itex]\langle a \rangle =: H[/itex] is of index [itex]2[/itex], therefore normal. Take [itex]b\notin H[/itex], then we have [itex]bab^{-1}\in H[/itex] due to normality. Notice that
[tex]
(bab^{-1})^4 = bab^{-1}bab^{-1}bab^{-1}bab^{-1} = baaaab^{-1} = e.
[/tex]
If also [itex](bab^{-1}) ^2 = e[/itex], then [itex]baab^{-1} = e[/itex] would lead to [itex]aa=e[/itex], contradicting the order of [itex]a[/itex].
Next, we find the possible values of [itex]bab^{-1}[/itex].
  1. If [itex]bab^{-1} = a^4 = e[/itex], then [itex]a=e[/itex], which is impossible.
  2. If [itex]bab^{-1} = a[/itex], then [itex]ba = ab[/itex], but this will make [itex]G[/itex] abelian. Indeed, pick [itex]g,h\in G[/itex]. If they're both in [itex]H[/itex], then they commute. Suppose [itex]g\notin H[/itex] and write [itex]g = ba^m[/itex] and [itex]h = a^n[/itex], then
    [tex]
    gh = ba^ma^n = ba^na^m = a^n ba^m = hg.
    [/tex]
    and if both reside outside [itex]H[/itex], then writing [itex]g = ba^m[/itex] and [itex]h = ba^n[/itex] would similarly lead to [itex]gh=hg[/itex]. But our group is not abelian.
  3. If [itex]bab^{-1} = a^2[/itex], then [itex](bab^{-1})^2 = e[/itex] would contradict the order of [itex]bab^{-1}[/itex].
Thus, the only possibility is [itex]bab^{-1}=a^3 =a^{-1}[/itex].

There are two cases to consider.
  1. [itex]b[/itex] is of order [itex]2[/itex], then we have [itex]G \cong \langle a,b \mid \mbox{ord}(a) = 4, \mbox{ord}(b) = 2, bab^{-1} = a^{-1} \rangle [/itex] this is the dihedral group [itex]D_4[/itex].
  2. [itex]b[/itex] is of order [itex]4[/itex]. We show [itex]G[/itex] is the dicyclic group [itex]\mbox{Dic}_2[/itex], where
    [tex]
    \mbox{Dic}_2 \cong \langle x,y \mid x^{4} = e, x^2 = y^2, x^{-1} = y^{-1}xy \rangle.
    [/tex]
    Notice that
    [tex]
    bab^{-1} = a^{-1} \Rightarrow b^{-1}ab = b^{-1}(ba^{-1}b^{-1})b = a^{-1}.
    [/tex]
    So we have left to show [itex]a^2 = b^2[/itex]. Considering the natural projection [itex]G\to G/H\cong\mathbb Z_2[/itex], we have [itex]b^2 \in H[/itex]. Consider possible values of [itex]b^2[/itex].
    1. [itex]b^2 = a^4 = e[/itex] contradicts order of [itex]b[/itex].
    2. [itex]b^2 = a[/itex] contradicts order of [itex]a[/itex]
    3. [itex]b^2 = a^2[/itex] is what we want.
    4. [itex]b^2 = a^{-1}[/itex] contradicts order of [itex]a^{-1}[/itex] (hence order of [itex]a[/itex]).
      Thus [itex]b^2 = a^2[/itex] must hold.
In the abelian case there are
[tex]
\mathbb Z_{12}\qquad \mathbb Z_6 \oplus \mathbb Z_2.
[/tex]

Suppose [itex]G[/itex] is non-abelian of order 12. Let [itex]H_p[/itex] denote a Sylow [itex]p-[/itex]subgroup and [itex]n_p[/itex] the number of Sylow [itex]p-[/itex]subgroups in [itex]G[/itex]. Then, by theorem 1, we consider subgroups [itex]H_2[/itex] and [itex]H_3[/itex]. The case [itex]n_2=n_3=1[/itex] yields normality and [itex]H_2 \cong \mathbb Z_4[/itex] or [itex]H_2 \cong \mathbb Z_2\oplus \mathbb Z_2[/itex] and [itex]H_3 \cong \mathbb Z_3[/itex] and that leads to one of the previously mentioned abelian structures.

Case 2 : [itex]n_3= 4[/itex]. Call them [itex]H^1,H^2,H^3,H^4[/itex]. Define
[tex]
\varphi : G \to \mbox{Sym}(H^1,H^2,H^3,H^4) \cong S_4, \quad \varphi (g) := gH^jg^{-1}.
[/tex]
Since conjugation preserves the property of being a Sylow [itex]p-[/itex]subgroup and injectivity of each [itex]\varphi (g)[/itex] is trivial, the map is well-defined. It's a routine task to check it's a morphism.

Notice, if, say, [itex]aH^ia^{-1} = H^j[/itex], then [itex]aN(H^{i})a^{-1} = N(H^j)[/itex], so taking normalisers preserves the property of being conjugate.

Now, suppose [itex]\varphi (g) = \mbox{id}[/itex], then by definition [itex]g\in N(H^j)[/itex]. By theorem 3 [itex]N(H^j) = H^j[/itex], thus [itex]g=e[/itex] is forced and [itex]\varphi[/itex] is injective. Furthermore, each [itex]H^j[/itex] contains two generators, therefore [itex]G[/itex] has [itex]8[/itex] elements of order 3.

Consider the alternating group [itex]A_4[/itex]. Trivially [itex]\varphi (G) \cap A_4 \leqslant\varphi (G)[/itex] and [itex]A_4[/itex] also contains [itex]8[/itex] elements of order 3, thus [itex]G\cong A_4[/itex].

Case 3: [itex]n_3 = 1[/itex]. Call it [itex]H[/itex] and pick a Sylow [itex]2-[/itex]subgroup [itex]K[/itex] (of order [itex]4[/itex]). As [itex]H[/itex] is normal it holds [itex]HK[/itex] is a subgroup of [itex]G[/itex]. As [itex]H\cap K = \{e\}[/itex] (by orders of elements), then
[tex]
|HK| = \frac{|H||K|}{|H\cap K|} \Rightarrow HK = G.
[/tex]
We show [itex]G\cong H\rtimes _\varphi K[/itex], the semidirect product under [itex]\varphi : K\to \mbox{Aut}(H)[/itex], where
[tex]
(h,k)\cdot (h',k') := (h\varphi (k)(h'),kk')
[/tex]
This will yield two more groups, namely the following:
[tex]
\mathbb Z_3 \rtimes_\varphi \mathbb Z_4 \qquad \mathbb Z_3 \rtimes _\varphi (\mathbb Z_2\oplus\mathbb Z_2).
[/tex]
Define
[tex]
\varphi : K\to \mbox{Aut}(H),\quad \varphi (k)(h) := khk^{-1}.
[/tex]
I will omit the routine checks. We show
[tex]
\tau : G\to H\rtimes _\varphi K, \quad g=hk \mapsto (h,k),
[/tex]
is an isomorphism. Although, let's have some fun and do it the category theory way, for a change. First, we check [itex]\tau[/itex] is a morphism. Take [itex]g=hk, g'=h'k'\in G[/itex], then due to normality [itex]kh'k^{-1} \in H[/itex] and we get
[tex]
\begin{align*}
\tau (hkh'k') &= \tau (h(kh'k^{-1})kk') \\ &= (h(kh'k^{-1}),kk')\\ &= (h\varphi (k)(h'),kk')\\ &= (h,k)(h',k')\\ &= \tau (hk) \tau (h'k').
\end{align*}
[/tex]
Also [itex]\tau (e) = \tau (ee) = (e,e)[/itex]. Now define
[tex]
\omega : H\rtimes _\varphi K \to G, \quad (h,k) \mapsto hk.
[/tex]
Verify it, too, is a morphism. Take [itex](h,k),(h',k')\in H\rtimes _\varphi K[/itex], then
[tex]
\begin{align*}
\omega ((h,k)(h',k')) &= \omega ((h\varphi (k)(h'), kk'))\\ &= h(kh'k^{-1})kk' \\ &= hkh'k' \\ &= \omega ((h,k)) \omega ((h',k')).
\end{align*}
[/tex]
Also [itex]\omega ((e,e)) = ee = e[/itex]. The equalities [itex]\tau\omega = \mbox{id}_{H\rtimes _\varphi K}[/itex] and [itex]\omega\tau = \mbox{id}_G[/itex] are straightforward to verify.
 
Last edited by a moderator:
  • Like
Likes member 587159
  • #100
nuuskur said:
Right, I wrote [itex](E)[/itex] for [itex]S=X[/itex] and [itex]T=S[/itex]. Perhaps, "similarly to (E)" would have been a better choice of words. The proof is the same up to labelling, regardless. Since [itex]\Sigma _T \cup \Sigma _{S\cap T^c} \subseteq \Sigma _S[/itex] we have
[tex]
\sigma \left (\Sigma _T \cup \Sigma _{S\cap T^c}\right ) \subseteq \Sigma _S.
[/tex]
Conversely, for every [itex]A\in\Sigma_S[/itex], we have
[tex]
A = A \cap (T\cup S\cap T^c) = [A\cap T] \cup [A\cap (S\cap T^c)]\in \sigma \left (\Sigma _T \cup \Sigma _{S\cap T^c}\right )
[/tex]

I went through your solution again and I think it is correct! Well done!
 
  • #101
Suppose [itex]\alpha[/itex] is [itex]n[/itex]-th root of unity and [itex]\alpha \in \mathbb F_{q^m}[/itex] for some [itex]m\in\mathbb N[/itex]. Then by Lagrange [itex]n \mid q^m-1[/itex]. It would suffice to compute the order of [itex]q[/itex] modulo [itex]n[/itex]. As [itex](q,n)=1[/itex] it holds that [itex]n\mid q^{\phi (n)} -1[/itex], where [itex]\phi[/itex] is the Euler totient map. So the order of [itex]q[/itex] must be a divisor of [itex]\phi (n)[/itex].

Not sure how to explicitly compute [itex]m[/itex].
 
  • #102
nuuskur said:
Suppose [itex]\alpha[/itex] is [itex]n[/itex]-th root of unity and [itex]\alpha \in \mathbb F_{q^m}[/itex] for some [itex]m\in\mathbb N[/itex]. Then by Lagrange [itex]n \mid q^m-1[/itex]. It would suffice to compute the order of [itex]q[/itex] modulo [itex]n[/itex]. As [itex](q,n)=1[/itex] it holds that [itex]n\mid q^{\phi (n)} -1[/itex], where [itex]\phi[/itex] is the Euler totient map. So the order of [itex]q[/itex] must be a divisor of [itex]\phi (n)[/itex].

Not sure how to explicitly compute [itex]m[/itex].

Try to take ##m## minimal somehow.
 
  • #103
Math_QED said:
Try to take ##m## minimal somehow.
Uhh, this is like trial and error. It's about reducing the powers of [itex]x:=\phi (n) = \prod _{i\in I}p_i^{k_i}[/itex]. I can think of recursion.

I'll write the most barebones version I can think of, can likely be (heavily) optimised. Let [itex]P(x) \Leftrightarrow n\mid q^{x}-1[/itex].

  1. Fix [itex]a\in I[/itex].
  2. If [itex]\neg P(x/p_a)[/itex], then return [itex]x[/itex] and terminate.
  3. Else put [itex]x:= x/p_a[/itex] and go to 1 (with [itex]I[/itex]-many branches)

Do this for every [itex]a\in I[/itex] as a starting point (there will be a lot of branching). Eventually, pick the smallest [itex]x[/itex] that was returned, this will be the order of [itex]q[/itex] modulo [itex]n[/itex].
 
Last edited:
  • #104
Math_QED said:
Try to take ##m## minimal somehow.

I'm not looking for a closed, explicit form of the order of q mod n. Just explain why it is finite.
 
  • #105
Math_QED said:
I'm not looking for a closed, explicit form of the order of q mod n. Just explain why it is finite.
Well, per assumption [itex]n\mid q^{\phi (n)}-1[/itex]. Thus the set [itex]\{x : n\mid q^x -1\}\subset \mathbb N[/itex] is non-empty, therefore there is smallest one.
 

Similar threads

3
Replies
104
Views
15K
2
Replies
42
Views
8K
2
Replies
61
Views
9K
3
Replies
93
Views
12K
2
Replies
60
Views
9K
2
Replies
67
Views
9K
3
Replies
80
Views
7K
4
Replies
114
Views
8K
2
Replies
56
Views
8K
3
Replies
93
Views
8K
Back
Top