Lagrange’s theorem, states that for any finite group \(G\), the order (number of elements) of every subgroup \(H\) of \(G\) divides the order of \(G\) (denoted by \(\vert G \vert\)).

Lagrange’s theorem raises the converse question as to whether every divisor \(d\) of the order of a group is the order of some subgroup. According to Cauchy’s theorem this is true when \(d\) is a prime.

However, this does not hold in general: given a finite group \(G\) and a divisor \(d\) of \(\vert G \vert\), there does not necessarily exist a subgroup of \(G\) with order \(d\). The alternating group \(G = A_4\), which has \(12\) elements has no subgroup of order \(6\). We prove it below. Continue reading Converse of Lagrange’s theorem does not hold→

Introduction on total variation of functions

Recall that a function of bounded variation, also known as a BV-function, is a real-valued function whose total variation is bounded (finite).

Being more formal, the total variation of a real-valued function \(f\), defined on an interval \([a,b] \subset \mathbb{R}\) is the quantity:
\[V_a^b(f) = \sup\limits_{P \in \mathcal{P}} \sum_{i=0}^{n_P-1} \left\vert f(x_{i+1}) – f(x_i) \right\vert\] where the supremum is taken over the set \(\mathcal{P}\) of all partitions of the interval considered. Continue reading A continuous function which is not of bounded variation→

Introduction

We aim at defining a continuous function \(\varphi : [0,1] \rightarrow [0,1]^2\). At first sight this looks quite strange.

Indeed, \(\varphi\) cannot be a bijection. If \(\varphi\) would be bijective, it would also be an homeomorphism as a continuous bijective function from a compact space to a Haussdorff space is an homeomorphism. But an homeomorphism preserves connectedness and \([0,1] \setminus \{1/2\}\) is not connected while \([0,1]^2 \setminus \{\varphi(1/2)\}\) is.

Nor can \(\varphi\) be piecewise continuously differentiable as the Lebesgue measure of \(\varphi([0,1])\) would be equal to \(0\).