ADVANCED EXERCISES IN HIGHER

MATHEMATICS
A Collection of 20 Rigorous Analytical Problems & Proof Demonstrations

This compilation contains 20 highly advanced, abstract mathematical exercises spanning algebraic structures, analysis,
topology, advanced number theory, complex analysis, and theoretical mechanics. Each problem demands rigorous logical
deductions and structural verification.

1. Ring Theory: Characteristic and Subfields

Let R be an integral domain of finite characteristic p. Prove that the mapping f: R → R defined by f(x) = x^p (the
Frobenius endomorphism) is an injective ring homomorphism.

PROOF / SOLUTION
To prove it is a homomorphism, we check additivity and multiplicativity. For multiplicativity: f(xy) = (xy)^p = x^p y^p
= f(x)f(y) since R is commutative. For additivity, by the Binomial Theorem: (x+y)^p = ∑_{k=0}^p (p choose k) x^k
y^{p-k}. Since p is prime, the binomial coefficient (p choose k) ≡ 0 (mod p) for all 0 < k < p. Thus, (x+y)^p = x^p +
y^p, so f(x+y) = f(x) + f(y). For injectivity, let f(x) = f(y), which implies x^p - y^p = 0 → (x-y)^p = 0. Since R is an
integral domain, it has no non-zero nilpotent elements, which forces x - y = 0 → x = y.

2. Linear Algebra: Complexification of Vector Spaces

Let V be a real vector space. Define its complexification V_C = V × V under the operations (u, v) + (x, y) = (u+x, v+y)
and scalar multiplication by a + ib as (a + ib)(u, v) = (au - bv, bu + av). Show that dim_C(V_C) = dim_R(V).

PROOF / SOLUTION
Let {e_1, ..., e_n} be a basis of V over R. We claim that the elements tilde{e}_k = (e_k, 0) form a basis of V_C over C.
Any element (u, v) ∈ V_C can be written as (u, 0) + (0, v) = (u, 0) + i(v, 0). Expanding u = ∑ a_k e_k and v = ∑ b_k e_k
where a_k, b_k ∈ R, we get (u, v) = ∑ a_k(e_k, 0) + i ∑ b_k(e_k, 0) = ∑ (a_k + i b_k) tilde{e}_k. Linear independence
follows similarly: if ∑ (a_k + i b_k) tilde{e}_k = (0, 0), then (∑ a_k e_k, ∑ b_k e_k) = (0, 0), forcing a_k = 0 and b_k =
0 due to the independence of {e_k} in V. Thus, the size of the basis remains n, so dim_C(V_C) = dim_R(V).

Advanced Concepts & Theorems in Higher Mathematics 1

3. Hilbert Spaces: Hermitian Operators and Commutation Relations
Let A and B be linear self-adjoint operators on a complex Hilbert space satisfying the canonical commutation relation [A,
B] = iI. Prove that A and B cannot both be bounded operators.

PROOF / SOLUTION
Assume by way of contradiction that both A and B are bounded, meaning their operator norms ||A|| and ||B|| are finite.
Consider the commutator identity for powers: [A^n, B] = n i A^{n-1}, which can be proven inductively using [XY, Z] =
X[Y, Z] + [X, Z]Y. Taking operator norms on both sides yields: ||n i A^{n-1}|| = n ||A^{n-1}|| = ||A^n B - B A^n|| ≤ 2 ||
A^n|| ||B|| ≤ 2 ||A^{n-1}|| ||A|| ||B||. Dividing by ||A^{n-1}|| (assuming A^{n-1} eq 0) yields n ≤ 2 ||A|| ||B||. Since this
inequality must hold for all natural numbers n, it contradicts the boundedness of ||A|| and ||B||, as n grows without bound.

4. Advanced Analysis: Dini's Theorem

Let X be a compact metric space, and let {f_n} be a sequence of continuous real-valued functions on X that converges
pointwise to a continuous function f. Suppose further that f_n(x) ≥ f_{n+1}(x) for all x ∈ X and n ∈ N. Prove that {f_n}
converges uniformly to f.

PROOF / SOLUTION
Let g_n = f_n - f. Then {g_n} is a sequence of continuous functions decreasing monotonically to 0 pointwise. Let ε > 0.
For each x ∈ X, there exists N_x such that 0 ≤ g_{N_x}(x) < ε. Since g_{N_x} is continuous, there is an open
neighborhood U_x around x such that g_{N_x}(y) < ε for all y ∈ U_x. The collection of open sets {U_x : x ∈ X} forms
an open cover of X. By compactness, there exists a finite subcover {U_{x_1}, ..., U_{x_k}}. Let N = max(N_{x_1}, ...,
N_{x_k}). Due to the monotonic decrease, for any n ≥ N and any y ∈ X, y must belong to some U_{x_m}, which implies
0 ≤ g_n(y) ≤ g_{N_{x_m}}(y) < ε. Thus, uniform convergence is established.

5. Algebraic Topology: Fundamental Group of the Circle

Using the path lifting property from covering space theory, outline the proof that the fundamental group of the circle,
π₁(S¹), is isomorphic to the additive group of integers Z.

PROOF / SOLUTION
Consider the standard universal covering map p: R → S¹ defined by p(t) = e^{2πit}. Let f: [0, 1] → S¹ be a loop based at
1 = e^0. The path lifting theorem guarantees a unique path tilde{f}: [0, 1] → R such that p ∘ tilde{f} = f and tilde{f}(0) =
0. Because f(1) = 1, the terminal point tilde{f}(1) must lie in the fiber p^{-1}(1) = Z. We define the degree map deg([f]) =
tilde{f}(1). The homotopy lifting property ensures this map is well-defined on equivalence classes. It acts as a group
homomorphism because concatenation of loops corresponds to addition of path spans in R. Surjectivity is demonstrated
by lifting straight lines of the form t ↦ n t, and injectivity follows because any path in R ending at 0 is contractible to a
point since R is simply connected. Thus, π₁(S¹) ≅ Z.

Advanced Concepts & Theorems in Higher Mathematics 2

6. Group Theory: Applications of Sylow Theorems
Prove that any group G of order 45 is necessarily abelian and direct-product decomposable.

PROOF / SOLUTION
The order decomposes into prime factors as |G| = 45 = 3² × 5. Let n_3 and n_5 denote the number of Sylow 3-subgroups
and Sylow 5-subgroups, respectively. By the Sylow theorems, n_5 ≡ 1 (mod 5) and n_5 divides 9, forcing n_5 = 1.
Similarly, n_3 ≡ 1 (mod 3) and n_3 divides 5, forcing n_3 = 1. Since both subgroups are unique, they are normal in G.
Let H be the Sylow 3-subgroup (|H| = 9) and K be the Sylow 5-subgroup (|K| = 5). Their intersection is trivial since
gcd(9, 5) = 1. Therefore, G ≅ H × K. Since |K| = 5 (prime), K is cyclic. Since |H| = 3², H is abelian (as any group of
order p² is abelian). The direct product of two abelian groups is abelian, hence G is abelian.

7. Number Theory: Gauss's Quadratic Reciprocity

Determine whether the quadratic congruence equation x² ≡ 219 (mod 383) is solvable. Note that 383 is a prime number
and 219 = 3 × 73, both factors being prime.

SOLUTION
We must compute the Legendre symbol (219 / 383) = (3 / 383)(73 / 383). Using Quadratic Reciprocity:
1) For (3 / 383): Since 3 ≡ 3 (mod 4) and 383 ≡ 3 (mod 4), (3 / 383) = -(383 / 3) = -(2 / 3) = -(-1) = 1.
2) For (73 / 383): Since 73 ≡ 1 (mod 4), (73 / 383) = (383 / 73) = (18 / 73) = (2 / 73)(9 / 73) = (2 / 73)(1) = (2 / 73). For
prime p, (2 / p) = 1 if p ≡ ±1 (mod 8). Here 73 ≡ 1 (mod 8), so (2 / 73) = 1.
Multiplying the symbols: (219 / 383) = 1 × 1 = 1. The quadratic congruence is solvable.

8. Complex Variable Calculus: Improper Integrals via Residues

Evaluate the real improper integral I = ∫_{-∞}^{∞} [cos(x) / (x² + a²)] dx where a > 0, using a semicircular contour
integration path in the upper complex half-plane.

SOLUTION
We rewrite the integral as the real part of ∫_{-∞}^{∞} [e^{ix} / (x² + a²)] dx. Let f(z) = e^{iz} / (z² + a²). The poles of f(z)
occur at z = ±ia. The only pole inside the upper half-plane contour is z = ia. Compute the residue at this simple pole:
Res(f, ia) = lim_{z→ia} (z - ia) [e^{iz} / ((z - ia)(z + ia))] = e^{-a} / (2ia). Applying the Residue Theorem: ∫_{-∞}^{∞}
f(x) dx = 2πi × Res(f, ia) = 2πi (e^{-a} / 2ia) = (π/a) e^{-a}. Since this result is strictly real, the integral value is I = (π/a)
e^{-a}.

Advanced Concepts & Theorems in Higher Mathematics 3

9. Functional Analysis: Open Mapping Theorem Core Step
The Baire Category Theorem states that a complete metric space cannot be written as a countable union of nowhere
dense sets. Use this to prove that if a Banach space X = Local_Countable_Union(V_n) of closed subspaces, then at least
one subspace V_n must equal X.

PROOF / SOLUTION
Let X = ⋃_{n=1}^{∞} V_n, where each V_n is a closed linear subspace of the Banach space X. Since X is complete, the
Baire Category Theorem applies, meaning that not all V_n can be nowhere dense. Thus, there exists some index k such
that V_k is not nowhere dense. Since V_k is closed, its closure contains an open ball: B(x_0, r) ⊂ V_k. Because V_k is a
subspace, it is closed under translation and scaling. For any vector y ∈ X, a scaled down version (r / 2||y||) y can be
written as the difference of two elements in B(x_0, r), specifically (x_0 + (r / 2||y||) y) - x_0. Since both points belong to
V_k, their difference must belong to V_k. Thus, y ∈ V_k for every y ∈ X, proving V_k = X.

10. Differential Geometry: Gaussian Curvature of a Sphere

Compute the Gaussian Curvature K of a sphere parametrized by radius R using the components of the First and Second
Fundamental Forms: r(θ, φ) = (R sinθ cosφ, R sinθ sinφ, R cosθ).

SOLUTION
Compute partial derivatives to get the coefficient metrics of the First Fundamental Form: E = <r_θ, r_θ> = R², F = <r_θ,
r_φ> = 0, and G = <r_φ, r_φ> = R² sin²θ. The unit normal vector points radially outward: n = r / R. The Second
Fundamental Form coefficients are computed via the second derivatives: e = <r_{θθ}, n> = R, f = <r_{θφ}, n> = 0, and g
= <r_{φφ}, n> = R sin²θ. Gaussian curvature is defined as the ratio of determinants: K = (eg - f²) / (EG - F²) = (R² sin²θ)
/ (R⁴ sin²θ) = 1 / R².

11. Measure Theory: Counterexample to Monotone Limit Swaps

Define a sequence of integrable functions on [0, 1] by f_n(x) = n if 0 < x < 1/n and f_n(x) = 0 otherwise. Show that
lim_{n→∞} ∫_0^1 f_n(x)dx eq ∫_0^1 (lim_{n→∞} f_n(x))dx, and explain why this does not violate the Dominated
Convergence Theorem.

SOLUTION
For each n, the integral is ∫_0^1 f_n(x)dx = n × (1/n) = 1, so the limit of the integrals is 1. Pointwise, for any x > 0, as n
→ ∞, eventually 1/n < x, meaning f_n(x) = 0. At x=0, f_n(0) = 0. Thus, the pointwise limit function is f(x) = 0
everywhere, whose integral is 0. The values mismatch (1 eq 0). This does not violate the Dominated Convergence
Theorem because any dominating function g(x) would have to satisfy g(x) ≥ n on (0, 1/n), forcing g(x) ≥ 1/x, which is
not Lebesgue integrable on [0, 1].

Advanced Concepts & Theorems in Higher Mathematics 4

12. Galois Theory: Polynomial Insolvability criteria

Let f(x) = x⁵ - 6x + 3 be a quintic polynomial over the rational field Q. Show that the Galois group of f(x) is isomorphic
to the symmetric group S_5, confirming that it is not solvable by radicals.

PROOF / SOLUTION
First, f(x) is irreducible over Q by Eisenstein's Criterion using prime p=3. Thus, the Galois group G embeds in S_5 and
its order must be a multiple of 5, meaning G contains a 5-cycle. Next, we check real roots using calculus: f'(x) = 5x⁴ - 6,
which has exactly two real roots, meaning f(x) changes direction twice and can have at most three real roots. Checking
values: f(-2)=-17, f(0)=3, f(1)=-2, f(2)=23 confirms it has exactly 3 real roots, leaving 2 complex conjugate roots.
Complex conjugation acts as a transposition in G. A subgroup of S_5 containing a 5-cycle and a transposition must be
the entire group S_5. Because S_5 is not a solvable group, the polynomial cannot be solved by radicals.

13. Analytic Number Theory: Basel Problem via Euler Product

The Riemann Zeta function for s > 1 is defined as ζ(s) = ∑_{n=1}^{∞} n^{-s}. Assuming the identity ζ(2) = π²/6,
evaluate the related infinite sum over odd numbers only: S_{odd} = ∑_{k=0}^{∞} (2k+1)^{-2}.

SOLUTION
We partition the entire summation of ζ(2) into its even and odd indices components:
ζ(2) = ∑_{n=1}^{∞} 1/n² = ∑_{n=even} 1/n² + ∑_{n=odd} 1/n².
The even terms can be rewritten by factoring out 1/2²: ∑_{m=1}^{∞} 1/(2m)² = 1/4 ∑_{m=1}^{∞} 1/m² = 1/4 ζ(2).
Substituting this back into the partition formula:
ζ(2) = 1/4 ζ(2) + S_{odd} → S_{odd} = 3/4 ζ(2).
Using the provided value for ζ(2): S_{odd} = 3/4 × (π²/6) = π²/8.

14. Linear Algebra: Minimal vs. Characteristic Polynomials

A linear operator T on a complex 4-dimensional space has a characteristic polynomial χ(λ) = (λ - 2)⁴. If the minimal
polynomial is μ(λ) = (λ - 2)², list all possible non-isomorphic Jordan canonical forms for T.

SOLUTION
The characteristic polynomial tells us that the total dimension of Jordan blocks corresponding to eigenvalue λ = 2 is 4.
The minimal polynomial dictates that the largest single Jordan block has a dimension of exactly 2. We look for partitions
of the total dimension number 4 where the largest term is exactly 2. The only valid partitions are 4 = 2 + 2 and 4 = 2 + 1
+ 1. Therefore, there are exactly two possible Jordan canonical matrix profiles:
1) Two Jordan blocks of size 2x2: J_2(2) ⊕ J_2(2).
2) One Jordan block of size 2x2 and two blocks of size 1x1: J_2(2) ⊕ J_1(2) ⊕ J_1(2).

Advanced Concepts & Theorems in Higher Mathematics 5

15. Partial Differential Equations: Fundamental Solution to Heat Equation
Verify by direct differentiation that the heat kernel function u(x, t) = (4πkt)^{-1/2} e^{-x² / (4kt)} solves the 1D partial
differential equation ∂u/∂t = k ∂²u/∂x² for t > 0.

SOLUTION
Let A = (4πk)^{-1/2}, so u = A t^{-1/2} e^{-x²/(4kt)}. Compute time derivative via product rule:
∂u/∂t = A [-1/2 t^{-3/2} + t^{-1/2}(x²/(4kt²))] e^{-x²/(4kt)} = u [-1/(2t) + x²/(4kt²)].
Compute space derivatives:
∂u/∂x = u [-2x / (4kt)] = u [-x / (2kt)].
∂²u/∂x² = ∂/∂x(u) [-x / (2kt)] + u [-1 / (2kt)] = u [-x / (2kt)]² - u / (2kt) = u [x² / (4k²t²) - 1 / (2kt)].
Multiply ∂²u/∂x² by k: k ∂²u/∂x² = u [x² / (4kt²) - 1 / (2t)]. This matches ∂u/∂t identically.

16. General Topology: Connectedness under Continuous Maps

Let f: X → Y be a continuous map between topological spaces. Prove that if X is a connected space, then its image space
f(X) is also connected under the subspace topology.

PROOF / SOLUTION
Assume by contradiction that f(X) is disconnected. This implies there exist two open sets U and V in Y such that U ∩
f(X) eq ∅, V ∩ f(X) eq ∅, f(X) ⊂ U ∪ V, and (U ∩ f(X)) ∩ (V ∩ f(X)) = ∅. Consider their preimages under the
continuous map: A = f^{-1}(U) and B = f^{-1}(V). Since f is continuous, both A and B are open sets in X. They are non-
empty because the intersections with f(X) are non-empty. Their union covers X because f(X) ⊂ U ∪ V. Finally, A ∩ B =
f^{-1}(U ∩ V) = f^{-1}(∅) = ∅. This establishes A and B as an open separation of X, contradicting the fact that X is
connected. Thus, f(X) must be connected.

Advanced Concepts & Theorems in Higher Mathematics 6

17. Multilinear Algebra: Exterior Algebra Alternating Properties
Let v_1, v_2, v_3 be vectors in a vector space V. Prove that the wedge product expression (v_1 + v_2) ∧ (v_2 + v_3) ∧
(v_3 + v_1) simplifies to 2(v_1 ∧ v_2 ∧ v_3) using the alternating property of the exterior algebra.

SOLUTION
Expand the expression linearly step-by-step. First expand the first two terms:
(v_1 + v_2) ∧ (v_2 + v_3) = v_1 ∧ v_2 + v_1 ∧ v_3 + v_2 ∧ v_2 + v_2 ∧ v_3.
Since v_2 ∧ v_2 = 0, this reduces to v_1 ∧ v_2 + v_1 ∧ v_3 + v_2 ∧ v_3. Now take the wedge product of this result
with the third term (v_3 + v_1):
(v_1 ∧ v_2 + v_1 ∧ v_3 + v_2 ∧ v_3) ∧ (v_3 + v_1) = v_1 ∧ v_2 ∧ v_3 + v_1 ∧ v_2 ∧ v_1 + v_1 ∧ v_3 ∧ v_3 + v_1
∧ v_3 ∧ v_1 + v_2 ∧ v_3 ∧ v_3 + v_2 ∧ v_3 ∧ v_1.
Any term containing repeated vectors is zero: v_1 ∧ v_2 ∧ v_1 = 0, v_1 ∧ v_3 ∧ v_3 = 0, v_1 ∧ v_3 ∧ v_1 = 0, and
v_2 ∧ v_3 ∧ v_3 = 0. We are left with:
v_1 ∧ v_2 ∧ v_3 + v_2 ∧ v_3 ∧ v_1. Permuting the second term back to standard order requires two adjacent swaps:
v_2 ∧ v_3 ∧ v_1 = -v_2 ∧ v_1 ∧ v_3 = v_1 ∧ v_2 ∧ v_3. Combining gives 2(v_1 ∧ v_2 ∧ v_3).

18. Analytical Mechanics: Brachistochrone Functional Setup

The travel time of a particle sliding down a frictionless curve under gravity from (0,0) to (x_1, y_1) is given by the
functional T[y] = ∫ (1 + (y')²)^{1/2} / (2gy)^{1/2} dx. Write down the corresponding differential equation derived from
the Beltrami Identity.

SOLUTION
The integrand functional lacks explicit dependence on the independent variable x, meaning ∂F/∂x = 0. In such scenarios,
the Euler-Lagrange equation integrates directly to the Beltrami Identity: F - y'(∂F/∂y') = C, where C is a constant scalar.
Here, F = ((1 + (y')²) / 2gy)^{1/2}. Compute the partial derivative: ∂F/∂y' = y' / ((2gy(1 + (y')²))^{1/2}). Substituting into
the identity:
((1 + (y')²) / 2gy)^{1/2} - (y')² / ((2gy(1 + (y')²))^{1/2}) = C.
Finding a common denominator yields [(1 + (y')²) - (y')²] / ((2gy(1 + (y')²))^{1/2}) = C → 1 / (2gy(1 + (y')²)) = C². This
simplifies to the classical differential equation of a cycloid: y(1 + (y')²) = K (where K = 1 / (2gC²)).

Advanced Concepts & Theorems in Higher Mathematics 7

19. Probability Theory: Discrete Time Martingales
Let X_n be a simple symmetric random walk, where X_0 = 0 and X_n = ∑_{i=1}^n Y_i with P(Y_i = 1) = P(Y_i = -1) =
1/2. Show that the process M_n = X_n² - n forms a martingale with respect to the natural filtration F_n.

PROOF / SOLUTION
We must show that E[M_{n+1} | F_n] = M_n. Expand M_{n+1} = X_{n+1}² - (n + 1). Since X_{n+1} = X_n + Y_{n+1},
we square it to get X_n² + 2X_n Y_{n+1} + Y_{n+1}². Substituting this into the conditional expectation:
E[X_n² + 2X_n Y_{n+1} + Y_{n+1}² - n - 1 | F_n].
Since X_n is measurable with respect to F_n, it pulls out of the expectation: X_n² + 2X_n E[Y_{n+1} | F_n] +
E[Y_{n+1}² | F_n] - n - 1. Because Y_{n+1} is independent of F_n, its conditional expectations reduce to standard
unconditional expectations: E[Y_{n+1}] = 0 and E[Y_{n+1}²] = 1. Plugging these values in yields:
X_n² + 2X_n(0) + 1 - n - 1 = X_n² - n = M_n. Thus, it satisfies the martingale condition.

20. P-adic Analysis: Ostrowski's Theorem Concept

Compute the 5-adic norm |x|_5 of the rational number x = 75 / 14, and show that it satisfies the strong ultrametric
triangle inequality |x + y|_5 ≤ max(|x|_5, |y|_5) when added to y = 1/5.

SOLUTION
Any rational number can be factored uniquely as x = 5^k (a/b) where 5 does not divide a or b, and its norm is |x|_5 =
5^{-k}. For x = 75/14 = 5² × (3/14), we find k = 2, so |75/14|_5 = 5^{-2} = 1/25. For y = 1/5 = 5^{-1}, its valuation index
is k = -1, meaning |1/5|_5 = 5^{-(-1)} = 5. Let us test the strong triangle inequality: max(|x|_5, |y|_5) = max(1/25, 5) = 5.
Compute the sum: x + y = 75/14 + 1/5 = (375 + 14) / 70 = 389 / 70 = 5^{-1} × (389 / 14) since 70 = 5 × 14. Thus, |x + y|
_5 = 5^1 = 5. Since 5 ≤ 5, the ultrametric framework is perfectly verified.

Advanced Concepts & Theorems in Higher Mathematics 8