Mathematics. Articles in English (et en français dans le futur).

The Structure of SL_2(F_3) as a Semidirect Product

In this post we determine $SL_2(\mathbb{F}_3)$ using Sylow theory and linear algebra.
The Structure of SL_2(F_3) as a Semidirect Product

The abc Theorem of Polynomials

In this post we show the Mason-Stothers theorem, the so-called $abc$ theorem for polynomials, and derive Fermat's Last theorem and Davenport's inequality for polynomials. These three theorems correspond to the $abc$ conjecture, Fermat's Last Theorem and Hall's conjecture in number theory.
The abc Theorem of Polynomials

Properties of Cyclotomic Polynomials

In this post we study cyclotomic polynomials in field theory and deduce some baisc properties of it. We will also use it to solve some problems in field theory.
Properties of Cyclotomic Polynomials

Hensel's Lemma - A Fair Application of Newton's Method and 'Double Induction'

We prove the celebrated Hensel's lemma using the so-called Newton's method and "double induction", and try to find solutions of polynomials in $\mathbb{Q}_p$.
Hensel's Lemma - A Fair Application of Newton's Method and 'Double Induction'

The Fourier Transform of exp(-cx^2) and Its Convolution

We develop two almost straightforward way to compute the Fourier transform of $\exp(-cx^2)$, in the sense that any contour integration and the calculus of residues are not required at all. The first cool approach enables us to think about these elementary concepts much deeper, so I highly recommend to study this approach as long as you are familiar with ODE of first order.
The Fourier Transform of exp(-cx^2) and Its Convolution

The Banach Algebra of Borel Measures on Euclidean Space

This blog post is intended to deliver a quick explanation of the algebra of Borel measures on $\mathbb{R}^n$. It will be broken into pieces. All complex-valued complex Borel measures $M(\mathbb{R}^n)$ clearly form a vector space over $\mathbb{C}$. The main goal of this post is to show that this is a Banach space and also a Banach algebra.

In fact, the $\mathbb{R}^n$ case can be generalised into any locally compact abelian group (see any abstract harmonic analysis books), this is because what really matters here is being locally compact and abelian. But at this moment we stick to Euclidean spaces. Note since $\mathbb{R}^n$ is $\sigma$-compact, all Borel measures are regular.

To read this post you need to be familiar with some basic properties of Banach algebra, complex Borel measures, and the most important, Fubini’s theorem.

The Banach Algebra of Borel Measures on Euclidean Space

Elementary Properties of Cesàro Operator in L^2

We study the average of sum, in the sense of integral.
Elementary Properties of Cesàro Operator in L^2

Dedekind Domain and Properties in an Elementary Approach

Dedekind Domain and Properties in an Elementary Approach

A Continuous Function Sending L^p Functions to L^1

A Continuous Function Sending L^p Functions to L^1

The Fourier transform of sinx/x and (sinx/x)^2 and more

In this post we compute the Fourier transform of $\sin{x}/x$ and $(\sin{x}/x)^2$ through contour integration.
The Fourier transform of sinx/x and (sinx/x)^2 and more