Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 301 server: nginx date: Wed, 31 Dec 2025 04:19:32 GMT content-type: text/html content-length: 162 location: https://yiminge.wordpress.com/feed/ x-ac: 3.bom _dca MISS alt-svc: h3=":443"; ma=86400 strict-transport-security: max-age=31536000 server-timing: a8c-cdn, dc;desc=bom, cache;desc=MISS;dur=232.0 HTTP/2 200 server: nginx date: Wed, 31 Dec 2025 04:19:33 GMT content-type: application/rss+xml; charset=UTF-8 vary: Accept-Encoding x-hacker: Want root? Visit join.a8c.com/hacker and mention this header. host-header: WordPress.com vary: accept, content-type last-modified: Tue, 23 Dec 2025 15:14:23 GMT x-nc: HIT dca 30 content-encoding: gzip x-ac: 1.bom _dca BYPASS alt-svc: h3=":443"; ma=86400 strict-transport-security: max-age=31536000 server-timing: a8c-cdn, dc;desc=bom, cache;desc=BYPASS;dur=235.0 Yimin Ge’s Maths Blog https://yiminge.wordpress.com Thu, 22 Apr 2010 15:16:46 +0000 en hourly 1 https://wordpress.com/ 6181878 https://s0.wp.com/i/buttonw-com.png Yimin Ge’s Maths Blog https://yiminge.wordpress.com Automorphism Groups of Simple Graphs https://yiminge.wordpress.com/2009/09/26/automorphism-groups-of-simple-graphs/ https://yiminge.wordpress.com/2009/09/26/automorphism-groups-of-simple-graphs/#comments Sat, 26 Sep 2009 00:21:45 +0000 https://yiminge.wordpress.com/?p=164 Theorem. Every finite group is the automorphism group of a simple graph.

We first show that it is sufficient to construct a weighted directed graph having the given group as automorphism group. A weighted directed graph is a triple $(V,W,E)$ , where $V$ is a finite set of vertices, $W$ is a finite set of weights and $E:V\times V \rightarrow W$ is a partial map. An automorphism of $(V,W,E)$ is a bijection $\varphi:V\rightarrow V$ such that for all $v,w\in V$ , $E(\varphi(v),\varphi(w))$ is defined if and only if $E(v,w)$ is defined in which case $E(\varphi(v),\varphi(w))=E(v,w)$ . The group of all automorphisms of $(V,W,E)$ is denoted by $\mathrm{Aut}(V,W,E)$ . If $v\in V$ , then $\mathrm{deg} v := |\{ w\in V \mid (v,w)\in \mathrm{D}(E) \}| + |\{ w\in V \mid (w,v)\in \mathrm{D}(E) \}|$ denotes the (total) degree of $v$ .

Lemma. Let $(V,W,E)$ be a weighted directed graph with $\mathrm{deg} v \geq 2$ for all $v\in V$ . Then there exists a simple graph $G$ with $\mathrm{Aut}(G) = \mathrm{Aut}(V,W,E)$ .
Proof. Wlog assume that $W=\{1,2,\ldots,N\}$ for some $N$ . Construct $G$ from $(V,W,E)$ by replacing every edge $(v,w)$ with $E(v,w)=k$ by

and notice that every automorphism of $(V,W,E)$ induces an automorphism of $G$ in the canonical way while it is easy to see that every automorphism of $G$ must necessarily permute the original vertices and thus be equal to one of the induced automorphisms.

$\Box$

Let $G$ be an arbitrary finite group with order at least three (the other cases are trivial). Construct a weighted directed graph by putting $V=W=G$ and $E(x,y) = x^{-1}y$ for all $x,y\in G$ , and for $g \in G$ , let $\varphi_g: G\rightarrow G, x\mapsto gx$ . Note that $\varphi_g$ is an automorphism of the graph for all $g \in G$ since $E(\varphi_g(x),\varphi_g(y)) = (gx)^{-1}gy = x^{-1}y = E(x,y)$ and that $\varphi_g\circ \varphi_h = \varphi_{gh}$ .
Furthermore, if $\varphi$ is an automorphism of the graph, let $g:=\varphi(1)$ and $x\in G$ be arbitrary. Then $E(g, \varphi(x)) = E(\varphi(1),\varphi(x)) = E(1,x)=x$ , so $\varphi(x) = gx$ , i.e. $\varphi=\varphi_g$ . It follows that $\mathrm{Aut}(V,W,E) = \{ \varphi_g \mid g\in G\} \simeq G$ and by the lemma above, there exists also a simple graph with automorphism group $G$ .

$\Box$

]]> https://yiminge.wordpress.com/2009/09/26/automorphism-groups-of-simple-graphs/feed/ 1

164

Yimin Ge The Sum of Primitive Roots of Unity https://yiminge.wordpress.com/2009/06/09/the-sum-of-primitive-roots-of-unity/ https://yiminge.wordpress.com/2009/06/09/the-sum-of-primitive-roots-of-unity/#comments Tue, 09 Jun 2009 19:25:43 +0000 https://yiminge.wordpress.com/?p=156 Let $\zeta_n=\exp(2i\pi/n)$ be the canonical primitive $n$ th root of unity. The identity

$\displaystyle \sum_{k=1}^{n} \zeta_n^k = \begin{cases} 1 &,\quad n=1\\ 0 &,\quad n\geq 2\end{cases}$

is well known and easy to prove. One can now ask what happens if the sum is taken only over the primitive $n$ th roots of unity.
Let

$\displaystyle s(n) := \sum_{\substack{1\leq k\leq n\\ \gcd(k,n)=1}} \zeta_n^k$

be the sum of all primitive $n$ th roots of unity. Since every $n$ th root of unity is a primitive $d$ th root of unity for some divisor $d$ of $n$ , we have, for all positive integers $n$ ,

$\displaystyle \sum_{d|n} s(d) = \sum_{k=1}^n \zeta_n^k = \begin{cases} 1 &,\quad n=1\\ 0 &,\quad n\geq 2\end{cases}$ ,

This property however is the characterisation of the Möbius $\mu$ function (namely being the Dirichlet inverse wrt the constant $1$ function), hence, $s(n)=\mu(n)$ .

]]> https://yiminge.wordpress.com/2009/06/09/the-sum-of-primitive-roots-of-unity/feed/ 2

156

Yimin Ge The Probability of Coprimality https://yiminge.wordpress.com/2009/04/04/the-probability-of-coprimality/ https://yiminge.wordpress.com/2009/04/04/the-probability-of-coprimality/#comments Sat, 04 Apr 2009 08:11:51 +0000 https://yiminge.wordpress.com/?p=137 I recently found the following problem asking for the probability of two randomly chosen integers to be coprime on a problem sheet which, as I have later been told, is a classical result already discovered by Dirichlet.

Problem. Choose two natural numbers $x, y \in \{1, 2,\ldots,n\}$ randomly (with uniform probability) and independently. Let $P_n$ be the probability that $x$ and $y$ are coprime. Find $\lim_{n\rightarrow \infty} P_n$ .

The result is $6/\pi^2=1/\zeta(2)$ but before proving this rigorously, I will present two heuristic approaches here.

Heuristic 1. Let $p$ be a prime number. Then intuitively, the probability that two randomly chosen integers are not both divisible by $p$ is $1-1/p^2$ . Thus, the probability that two randomly chosen integers are neither both divisible by $p_1$ nor by $p_{2}$ etc is

$\displaystyle \prod_{k=1}^\infty \left(1-\frac1{p^2}\right) + \text{ terms correcting dependency relations}.$

The product above is exactly $1/\zeta(2)$ and it is natural to conjecture that the remaining terms are negligible (although the direct proof of this might be quite nasty).

$\blacksquare$

Heuristic 2. Suppose that $P$ is the probability in question. Then for a positive integer $d$ , the probability that two randomly chosen positive integers have $\gcd=d$ is $P/d^2$ since $1/d^2$ is the probability that both numbers are divisible by $d$ and $P$ is the probability that the remaining factors are coprime. But the sum of all those probabilities must be equal to $1$ (as any two randomly chosen positive integers have a $\gcd$ ), so

$\displaystyle 1 = \sum_{d=1}^\infty \frac{P}{d^2} = P\cdot \zeta(2).$

$\blacksquare$

A general problem with these heuristic approaches is among others that there is nothing like a uniform probabilistic distribution over $\mathbb{Z}^+$ . The second approach seems rather more likely to be rigorizable, I will however give a proof with a completely different approach here.

Proof. First, notice that

$\displaystyle P_n = \frac{1}{n^2}\left(2 \left(\sum_{k=1}^{n} \varphi(n)\right) -1\right),$

where $\varphi$ denotes the Euler’s totient function. Recall that

$\displaystyle \varphi(k) = \sum_{d|k}\mu(d)\frac{k}{d},$

where $\mu$ denotes the Moebius function, so

$\displaystyle P_n = -\frac{1}{n^2}+\frac{2}{n^2} \sum_{k=1}^n\sum_{d|k}\mu(d) \frac{k}{d}$
$\displaystyle = -\frac{1}{n^2}+ \frac{2}{n^2} \sum_{dk' \leq n} \mu(d)k'$
        $\displaystyle = -\frac{1}{n^2}+\frac{2}{n^2} \sum_{d=1}^n \mu(d) \sum_{k'=1}^{\lfloor{n/d}\rfloor}k'$
                     $\displaystyle = -\frac{1}{n^2}+ \frac{1}{n^2} \sum_{d=1}^n \mu(d) \left\lfloor \frac nd \right\rfloor \left(\left\lfloor\frac nd \right\rfloor+1\right)$
                   $\displaystyle = -\frac{1}{n^2}+ \frac{1}{n^2} \sum_{d=1}^n \mu(d)\left( \frac{n^2}{d^2} + \mathcal O\left(\frac nd\right) \right)$
                    $\displaystyle = \left(\sum_{d=1}^n\mu(d)\frac{1}{d^2}\right) + \mathcal O\left(\frac1n\sum_{d=1}^n \frac1d\right) -\frac{1}{n^2}$
           $\displaystyle = \sum_{d=1}^n\mu(d)\frac{1}{d^2} +\mathcal O\left(\frac{\log n}{n}\right) -\frac{1}{n^2}$ .

Recall that for all real numbers $r>1$ ,

$\displaystyle \sum_{k=1}^\infty \mu(k)\frac{1}{k^r} = \frac{1}{\zeta(r)}.$

Thus,

$\displaystyle \lim_{n\rightarrow \infty} P_n = \frac{1}{\zeta(2)} = \frac{6}{\pi^2},$

as required.

$\Box$

]]> https://yiminge.wordpress.com/2009/04/04/the-probability-of-coprimality/feed/ 2

137

Yimin Ge Some More Thoughts on r-Ary Functions over Finite Fields https://yiminge.wordpress.com/2009/03/20/some-more-thoughts-on-r-ary-functions-over-finite-fields/ https://yiminge.wordpress.com/2009/03/20/some-more-thoughts-on-r-ary-functions-over-finite-fields/#respond Fri, 20 Mar 2009 20:24:55 +0000 https://yiminge.wordpress.com/?p=115 In this note, I proved that every $r$ -ary function on a finite field $K$ with $n$ elements can be represented by a unique polynomial $P\in K[X_1,\ldots,X_r]$ with $\deg_{X_i}(P) \leq n-1$ for all $i\in\{1,\ldots,r\}$ . A more direct way to see this is, given a function $f:K^r\rightarrow K$ , to consider the polynomial

$\displaystyle P(X_1,\ldots,X_r) = \sum_{a\in K^r} f(a)\left(1-\prod_{i=1}^r (X_i-a_i)^{n-1}\right).$

Recall that

$\displaystyle (X_i-a_i)^{n-1} = \begin{cases} 0&\text{if }X_i=a_i\\ 1&\text{otherwise}, \end{cases}$

so $P(a)=f(a)$ for all $a\in K^r$ .

Denote by $P_f$ the polynomial defined above. We know that $\deg(P_f)\leq r(n-1)$ , but can we find the exact value? For this purpose, consider the following very useful lemma.

Lemma. Let $R$ be an integral domain and $H$ be a finite multiplicative subgroup of $R^*$ with $|H|=d$ . Then for every integer $s$ ,

$\displaystyle \sum_{x\in H} x^s = \begin{cases} d &\text{if } d|s\\ 0 &\text{otherwise}. \end{cases}$

Proof. It is immediate from Lagrange’s Theorem that $\sum_{x\in H}x^s = d$ if $d|s$ . Suppose that $d\nmid s$ . Notice that $H$ must necessarily be cyclic (as e.g. can easily be proved using the structure theorem of finitely generated Abelian groups) so in particular, there exists a $\zeta\in H$ with $\zeta^s \neq 1$ . Multiplication with $\zeta$ permutes the elements of $H$ , so

$\displaystyle 0 = \sum_{x\in H} (\zeta x)^s - \sum_{x\in H} x^s = (\zeta^s-1)\sum_{x\in H} x^s.$

But $\zeta^s\neq 1$ and $R$ is an integral domain, so the result follows.

$\Box$

Corollary. If $K$ is a finite field with $n$ elements and $s$ is an integer, then

$\displaystyle\sum_{x\in K} x^s = \begin{cases} d &\text{if } (n-1)|s \text{ and } s\neq 0\\ 0 &\text{otherwise}.\end{cases}$

Suppose now that

$\displaystyle P_f(X_1,\ldots,X_r) = \sum_{k\in S^r} a_k X_1^{k_1}\ldots X_r^{k_r},$

where $S=\{0,\ldots,n-1\}$ . For integers $l_1,\ldots,l_r\in S$ , consider now the sum

$\displaystyle \sum_{x\in K^r} x_1^{l_1}\ldots x_r^{l_r}P_f(x) = \sum_{x\in K^r} \sum_{k\in S^r} a_k \prod_{i=1}^r x_i^{k_i+l_i}$
$\displaystyle = \sum_{k\in S^r} a_k \prod_{i=1}^r \sum_{x_i\in K} x_i^{k_i+l_i}.$

But

$\displaystyle \sum_{x_i\in K} x_i^{k_i+l_i} = \begin{cases}n-1 &\text{if } (n-1)|(k_i+l_i) \text{ and } k_i+l_i>0 \\ 0 &\text{otherwise}. \end{cases}$

We thus obtain

Theorem. Suppose that the coefficient of $x_1^{t_1}\ldots x_r^{t_r}$ in $P_f$ is nonzero. Then $\deg(P_f)=t_1+\ldots+t_r$ if and only if

$\displaystyle \sum_{x\in K^r} x_1^{l_1}\ldots x_r^{l_r} P_f(x) = 0$

for all $(l_1,\ldots,l_r)\in S^r$ with $l_i < n-1-t_i$ for all $i\in\{1,\ldots,r\}$ , and

$\displaystyle \sum_{x\in K^r} x_1^{n-1-t_1}\ldots x_r^{n-1-t_i} P_f(x) \neq 0,$

where the latter sum must then be equal to $a_{(t_1,\ldots,t_r)}(n-1)^r$ .

]]> https://yiminge.wordpress.com/2009/03/20/some-more-thoughts-on-r-ary-functions-over-finite-fields/feed/ 0

115

Yimin Ge Hamiltonian Path Exchanges https://yiminge.wordpress.com/2009/03/07/hamiltonian-path-exchanges/ https://yiminge.wordpress.com/2009/03/07/hamiltonian-path-exchanges/#respond Sat, 07 Mar 2009 13:38:50 +0000 https://yiminge.wordpress.com/?p=109 The following nice little trick was shown to me by Stephan Wagner some time ago.

Theorem. Let $G=(V,E)$ be a graph and let $\Psi=\{v\in V \mid \deg_G v \equiv 0 \pmod2 \}$ be the set of all vertices of even degree. Then for each $v\in V$ , the number of Hamiltonian paths from $v$ to some vertex in $\Psi$ is even.

Proof. For a Hamiltonian path $p=v_1\ldots v_n$ and a vertex $v_j\in V$ with $v_jv_n\in E\backslash E(p)$ , let $S(p, v_j)$ be the Hamiltonian path $v_1\ldots v_j v_n v_{n-1}\ldots v_{j+1}$ . We call the transformation $p\mapsto S(p,v_j)$ the path exchange of $p$ wrt $v_j$ . Apparently, if $p'=S(p,v_j)$ , then conversely $p=S(p',v_j)$ .

For a fixed $v\in V$ , let $P(v)$ be the set of all Hamiltonian paths starting in $v$ . Draw a graph $G'$ (called the $v$ -path graph of $G$ ) with vertices $P(v)$ , where two Hamiltonian paths $p,p'\in P(v)$ are connected in $G'$ iff $p'=S(p,v_j)$ for some $v_j\in E\backslash E(p)$ . For each $p\in P(v)$ , the degree of $p$ in $G'$ is $\deg_G(v')-1$ , where $v'$ is the end vertex of $p$ other than $v$ . In particular, $\deg_G(v')$ and $\deg_{G'}(p)$ are of different parity. But in every graph, the number of vertices of odd degree is even. This proves the claim.

$\Box$

Corollary. Let $G=(V,E)$ be a graph with $\deg_G(v)$ being odd for all $v\in V$ . Then for each $e\in E$ , the number of Hamiltonian cycles passing through $e$ is even. In particular, if in addition $G$ is Hamiltonian, then it has at least two distinct Hamiltonian cycles.

Remark. The special case of the above corollary for cubic graphs is known as Smith’s Theorem. However, the problem of finding a second Hamiltonian cycle (in polynomial time) in a cubic graph when given already one is still an open question in complexity theory.

]]> https://yiminge.wordpress.com/2009/03/07/hamiltonian-path-exchanges/feed/ 0

109

Yimin Ge Some Remarks on K^r-Annihilating Polynomials over Finite Fields https://yiminge.wordpress.com/2009/02/11/some-remarks-of-kr-annihilating-polynomials-over-finite-fields/ https://yiminge.wordpress.com/2009/02/11/some-remarks-of-kr-annihilating-polynomials-over-finite-fields/#respond Wed, 11 Feb 2009 22:46:39 +0000 https://yiminge.wordpress.com/?p=93 We consider a finite field $K$ with $n$ elements and the polynomial ring $R=K[X_1,\ldots,X_r]$ . Let’s investigate how polynomials $P\in R$ with $P(x)=0$ for all $x\in K^r$ (i.e. polynomials annihilating $K^r$ ) look like. First, recall the following theorem (which I, as a former participant of the IMO in 2007, should probably be familiar with):

Theorem (Combinatorial Nullstellensatz). Let $K$ be an arbitrary field and $P\in K[X_1,\ldots,X_r]$ be a polynomial with $\deg P = t_1+\cdots+t_r$ , where $t_1,\ldots,t_r$ are nonnegative integers such that coefficient of $x_1^{t_1}\ldots x_r^{t_r}$ in $P$ is nonzero. Suppose that $S_1,\ldots, S_r$ are subsets of $K$ with $|S_i|>t_i$ for all $i=1,\ldots,r$ . Then there exist $s_1\in S_1,\ldots,s_r\in S_r$ so that $P(s_1,\ldots,s_r)\neq 0$ .

This theorem immediately implies that if $P\in R$ is a nonconstant polynomial annihilating $K^r$ , then $\deg_{X_i}P\geq n$ for some $i$ (there are of course other nice proofs of that result but I somehow like it how CNS trivialises it). Furthermore, we can infer from this that $R$ contains exactly $n^{n^r}$ elements when considered as functions $K^r\rightarrow K$ . Indeed, there are at most $n^{n^r}$ polynomial functions since there are exactly $n^{n^r}$ functions $K^r \rightarrow K$ and two distinct polynomials $P,Q\in R$ with $\deg_{X_i}P, \deg_{X_i}Q < n$ for all $i=1,\ldots,r$ (of which there are exactly $n^{n^r}$ ) cannot be equal on the whole of $K^r$ by the above. We therfore immediately see that every function $K^r\rightarrow K$ is equal to a polynomial function.

Also, an immediate inductions on the degree of the polynomials show that the Ideal $I=\{P\in R \mid P(x)=0\text{ for all } x\in K^r\}$ of polynomials annihilating $K^r$ is generated by the polynomials $\left(X_i^n-X_i\right)_{i=1,\ldots,r}$ .

]]> https://yiminge.wordpress.com/2009/02/11/some-remarks-of-kr-annihilating-polynomials-over-finite-fields/feed/ 0

Yimin Ge All Groups of Order n are cyclic iff… https://yiminge.wordpress.com/2009/01/22/all-groups-of-order-n-are-cyclic-iff/ https://yiminge.wordpress.com/2009/01/22/all-groups-of-order-n-are-cyclic-iff/#comments Thu, 22 Jan 2009 08:39:55 +0000 https://yiminge.wordpress.com/?p=59 Many months ago, I found a very interesting group theory problem (the if-part of the Proposition below) in Lee Zhuo Zhao‘s $\LaTeX$ -signature on Facebook. My first pathetic attempts to solve that problem failed, apparently it required deeper knowledge of group theory than I had at that time. But even after reading some introductory lecture notes on that topic, it took me ages until I succeeded in solving this problem. It wasn’t too difficult then to see that the conclusion is also reversible.

I will prove the following result:

Proposition. Let $n$ be a positive integer. Then every finite group of order $n$ is cyclic if and only if

$\displaystyle \gcd(n,\varphi(n))=1,$

where $\varphi$ denotes the Euler’s Totient Function.

I will use the following notation: If $G$ is a group and $x\in G$ , then $C_G(x)$ denotes the centraliser of $x$ wrt to $G$ and $\langle x\rangle$ denotes the cyclic group generated by $x$ .

Proof of the if-part. Let $n$ be a positive integer satisfying $\gcd(n,\varphi(n))=1$ .
Note that using the canonical formula for $\varphi(n)$ , it immediately follows that $n$ is squarefree.

We will use induction on $n$ . The claim is trivially true if $n$ is a prime number. Suppose now that for all positive integers $n'<n$ with $\gcd(n', \varphi(n'))=1$ , all groups of order $n'$ are cyclic.

Let $G$ be a group of order $n$ . We have to prove that $G$ is cyclic. From the induction hypothesis and Lagrange’s theorem, it follows that all proper subgroups of $G$ are cyclic.

Lemma 1. Any two different elements of a cyclic subgroup of $G$ are not conjugate.
Proof. Let $\langle \zeta \rangle$ be a cyclic subgroup of $G$ . Suppose that $g\zeta^k g^{-1}= \zeta^l$ for integers $k, l$ and some $g \in G$ . We claim that $\zeta^k=\zeta^l$ .
An immediate induction on $d$ shows that

$\displaystyle \zeta^{l^d} = g^d\zeta^{k^d}g^{-d}$

holds for all positive integers $d$ . Putting $d=\mathrm{ord}_G(g)$ , we see that

$\displaystyle \zeta^{k^d-l^d}=1$ ,

so $m := \mathrm{ord}_G(\zeta)$ divides $k^d-l^d$ . Clearly, $m$ and $d$ divide $n$ . Furthermore, $m$ is squarefree.

Let $p$ be a prime divisor of $m$ . Then $p|k$ if and only if $p|l$ . If $p|k$ and $p|l$ , then clearly $p|(k-l)$ .
Otherwise, if $k$ and $l$ are not divisible by $p$ , then $l$ has a multiplicative inverse $l^{-1}$ modulo $p$ , so $\left(l^{-1}k\right)^d\equiv 1\pmod p$ . Let $d'=\mathrm{ord}_p\left( l^{-1}k\right)$ . Then $d'|d$ , so $d'|n$ . Also, $d'|(p-1)$ since $\left(l^{-1}k\right)^{p-1}\equiv 1\pmod p$ by Fermat’s little theorem. But $(p-1)|\varphi(n)$ , so $d'|\varphi(n)$ . It follows that $d'$ is a common divisor of $n$ and $\varphi(n)$ , so $d'=1$ . Hence, $l^{-1}k\equiv 1\pmod p$ , so $p|(k-l)$ .

Thus, we see that $p|(k-l)$ for all prime divisors $p$ of $m$ and since $m$ is squarefree, it follows that $m|(k-l)$ . But then $\zeta^k=\zeta^l$ , as required.

$\Box$

Next, we prove that the center of $G$ is not trivial. Hence, assume for the sake of contradiction that the center $Z$ of $G$ is trivial.

Then for each $x\in G$ with $x\neq 1$ , $C_G(x)$ is a proper subgroup of $G$ . Furthermore, this subgroup is maximal, for if $\langle \zeta \rangle$ is a maximal proper subgroup containing $x$ (we can assume it to be cyclic by the induction hypothesis), then $\langle \zeta \rangle \leq C_G(\zeta) \leq C_G(x)\lneqq G$ , so $\langle \zeta \rangle = C_G(\zeta) = C_G(x)$ .

It follows that

Lemma 2. For each $x\in G$ with $x\neq 1$ , $C_G(x)$ is the unique maximal proper subgroup of $G$ containing $x$ .

It is well known that if $\langle \zeta\rangle$ is a cylic group of order $k$ and $d$ is a divisor of $k$ then $\langle\zeta\rangle$ contains a unique subgroup of order $d$ , namely $\langle \zeta^{k/d}\rangle$ .

Lemma 3. Let $\langle \zeta\rangle$ and $\langle \eta\rangle$ be two maximal proper subgroups of $G$ and let $d_1 = \mathrm{ord}_G(\zeta)$ and $d_2=\mathrm{ord}_G(\eta)$ . Suppose that $\gcd(d_1,d_2)>1$ . Then $\langle \zeta \rangle$ and $\langle\eta\rangle$ are conjugate. In particular, $d_1=d_2$ .
Proof. Let $p$ be a common prime divisor of $d_1$ and $d_2$ . Then $\langle \zeta\rangle$ and $\langle\eta\rangle$ both contain a unique subgroup $\langle x\rangle \leq \langle \zeta\rangle$ and $\langle y\rangle \leq \langle\eta\rangle$ of order $p$ respectively. It follows from Lemma 2 that $C_G(x)=\langle \zeta\rangle$ and $C_G(y)=\langle \eta\rangle$ .

Furthermore, it follows from Sylow’s second theorem that $\langle x\rangle$ and $\langle y\rangle$ are conjugate, so $\langle y\rangle= g\langle x\rangle g^{-1}$ for some $g \in G$ . Thus, $gxg^{-1}$ is a generator of $\langle y\rangle$ , wlog assume that $gxg^{-1}=y$ . Now,

$\displaystyle \qquad \ \ \ \ h\in C_G(y)\\ \Leftrightarrow \quad hyh^{-1} = y \\ \Leftrightarrow \quad hgxg^{-1}h^{-1} = gxg^{-1} \\ \Leftrightarrow \quad g^{-1}hgxg^{-1}h^{-1}g = x \\ \Leftrightarrow \quad g^{-1}hg \in C_G(x) \\ \Leftrightarrow \quad h \in gC_G(x)g^{-1}$ .

It follows that $C_G(y) = gC_G(x)g^{-1}$ , so $\langle \eta\rangle = g\langle \zeta\rangle g^{-1}$ .

$\Box$

Now, since the center of $G$ is trivial, follows from the class equation that

$\displaystyle n = 1 + \sum_{i=1}^r \frac{n}{|C_G(x_i)|}$ , (1)

where $x_1,\ldots,x_r$ are representatives of the different nontrivial conjugacy classes. Each of the $C_G(x_i)$ are maximal proper subgroups, the order of each two of them being either equal or coprime (Lemma 3). Furthermore, it is clear that for every prime divisor $p$ of $n$ , there exists an $x_i$ so that $p$ divides $|C_G(x_i)|$ . Hence, we can write $n$ as $n=n_1\ldots n_k$ , where each of the $n_j$ is the order of some of the $C_G(x_i)$ . Notice that $k>1$ and $n_j > 1$ for all $j=1,\ldots,k$ . Every summand in (1) is of the form $n/n_j$ for some $j$ . Furthermore, for each $x_i$ , each of the elements of $C_G(x_i)$ belong to different conjugacy classes by Lemma 1. Moreover, for each $x\in C_G(x_i)$ with $x\neq 1$ , we have that $C_G(x)=C_G(x_i)$ since $C_G(x_i)$ is a maximal proper subgroup of $G$ containing $x$ , which is unique by Lemma 2. It follows that in the sum in (1), the summand $n/n_j$ appears at least $n_j-1$ times for all $j=1,\ldots,k$ . Hence,

$\displaystyle n \geq 1 + \sum_{j=1}^k \frac{n}{n_j}(n_j-1),$

$\displaystyle n\left(1+\sum_{j=1}^k \frac{1}{n_j}\right) \geq 1+k n.$

Thus,

$\displaystyle 1+\sum_{j=1}^k \frac{1}{n_j} > k$

and since $n_j\geq 2$ for all $j=1,\ldots,k$ ,

$\displaystyle 1+ \frac{k}{2} > k,$

so $k < 2$ , which is the desired contradiction.

It thus follows that the center $Z$ of $G$ is not trivial. Let $d_1=|Z|$ and $d_2=|G/Z|$ . Then $d_1d_2=n$ and $1<d_1,d_2<n$ , so by the induction hypothesis, both $Z$ and $G/Z$ are cyclic. Let $\zeta$ be a generator of $Z$ and $gZ$ be a generator of $G/Z$ . Let $d=\mathrm{ord}_G(g)$ . Then $(gZ)^d=g^dZ=Z$ , so $d_2|d$ . Let $x=\zeta^d$ . Then $\mathrm{ord}_G(x) = d_1/\gcd(d_1, d) = n/d$ .

Assume that $\mathrm{ord}_G(gx) < n$ . Then $\mathrm{ord}_G(gx)$ divides $n/p$ for some prime divisor $p$ of $n$ . Since $x\in Z$ ,

$\displaystyle (gx)^{n/p} = g^{n/p}x^{n/p}.$

But $\mathrm{ord}_G(x)\cdot\mathrm{ord}_G(g)=n$ and $n$ is squarefree, so $n/p$ is divisible by exactly one of the numbers $\mathrm{ord}_G(x)$ and $\mathrm{ord}_G(g)$ . But then, either

$\displaystyle (gx)^{n/p} = g^{n/p}\neq 1$ or $(gx)^{n/p} = x^{n/p}\neq 1,$

which is a contradiction. Hence $\mathrm{ord}_G(gx)=n$ , so $G$ is cyclic, as required.

$\Box$

Proof of the only if-part. Let $n$ be a positive integer satisfying $\gcd(n,\varphi(n))>1$ . We have to show that there exists a finite group $G$ of order $n$ that is not cyclic. The result is obvious if $n$ is not squarefree, because if $p$ is a multiple prime divisor of $n$ , then the group $\mathbb{Z}_p \times \mathbb{Z}_{n/p}$ is not cyclic.

Suppose now that $n$ is squarefree and $\gcd(n, \varphi(n))>1$ . Then there exist prime divisors $p$ and $q$ of $n$ so that $q-1$ is divisible by $p$ .

Let $g$ be a primitive root modulo $q$ . We consider the set

$\displaystyle H=\left\{ \sigma: \mathbb{Z}_q\rightarrow \mathbb{Z}_q, x\mapsto g^{\frac{q-1}{p}k}x+\lambda \mid k,\lambda\in\mathbb{Z} \right\}.$

Clearly, $|H|=pq$ since $g^{\frac{q-1}{p}k_1}x+\lambda_1 \equiv g^{\frac{q-1}{p}k_2}x+\lambda_2 \pmod q$ for all $x\in \mathbb{Z}$ if and only if $k_1\equiv k_2\pmod p$ and $\lambda_1\equiv \lambda_2\pmod q$ .

Furthermore, $H$ is a subgroup of the symmetric group $S(\mathbb{Z}_q)$ (the subgroup conditions can readily be verified). Let $\sigma_1\in H$ send $x$ to $x+1$ and $\sigma_2\in H$ send $x$ to $g^{(q-1)/p}x$ . Then $\sigma_1\circ\sigma_2$ sends $x$ to $g^{(q-1)/p}x + 1$ and $\sigma_2\circ\sigma_1$ sends $x$ to $g^{(q-1)/p}x + g^{(q-1)/p}$ , so $H$ is not abelian.

Consider now the group $G= H \times \mathbb{Z}_{n/(pq)}$ . Since $|H|=pq$ , $|G|=n$ . But $H$ is not abelian, so $G$ is not abelian. In particular, $G$ is not cyclic. This completes the proof.

$\Box$

Remark. For $p=2$ , the group $H$ constructed in the proof of the “only if”-part above is isomorphic to the dihedral group $D_q$ of a regular $q$ -gon.

Further Remark. I have just noticed that the group $H$ is acutally isomorphic to the semidirect product $\mathbb{Z}_q \times_{\theta} \mathbb{Z}_p$ wrt to the homomorphism

$\theta: {\mathbb{Z}_p} \rightarrow \mathrm{Aut}({\mathbb{Z}_q})$ ,
$k \mapsto (x\mapsto g^{\frac{q-1}{p}k}x)$ .

]]> https://yiminge.wordpress.com/2009/01/22/all-groups-of-order-n-are-cyclic-iff/feed/ 5

Yimin Ge Bezout’s Lemma in Endomorphism Rings of Vector Spaces https://yiminge.wordpress.com/2009/01/19/bezouts-lemma-in-endomorphism-rings-of-vectorspaces/ https://yiminge.wordpress.com/2009/01/19/bezouts-lemma-in-endomorphism-rings-of-vectorspaces/#comments Mon, 19 Jan 2009 14:27:38 +0000 https://yiminge.wordpress.com/?p=19 The well known Bezout’s Lemma states that for all integers $a,b,d$ , there exist integers $x,y$ such that $xa+yb=d$ if and only if $\gcd(a,b)|d$ . It is also well known that this result is also true in principal ideal rings.

Some time ago, I found the following problem on a problem sheet.

Problem. Let $A$ and $B$ be $n\times n$ matrices over $\mathbb C$ . Prove that there exist complex $n\times n$ matrices $X,Y$ such that

$\displaystyle XA+YB=I_n$

if and only if there does not exist a vector $v\in\mathbb{C}^n\backslash \{0\}$ with $Av=Bv=0$ , where $I_n$ is the $n\times n$ identity matrix.

One cannot help noticing the apparent relation of this problem to Bezout’s Lemma which however can obviously not be applied directly as $\mathbb{C}^{n\times n}$ is not commutative (and thus not a principal ideal ring) but we will see that commutativity is acutally not required for Bezout. In fact, it is sufficient that every finitely generated left ideal is principal (or rather every right ideal, if the linear combinations in question are supposed to be from the right).

In course of thinking about the problem above, I discovered that in $({\bf L}(V,V),+,\circ)$ , every finitely generated left ideal is principal and that the generating elements are actually “easy” to describe. Hereby, $V$ is a vector space over an arbitrary field $K$ and ${\bf L}(V,V)$ denotes the set of all $V$ -endomorphisms.

I must at this point admit that my knowledge in linear algebra is actually quite moderate (I’m not at university yet). If someone sees things in a broader light and recognises these results as well known or as special cases/corollaries of more general results (I’m quite sure they are), I’d be glad about feedback.

Theorem. Let $V$ be a (not necessarily finite-dimensional) vector space over a field $K$ and let

$\displaystyle I=\left\{\sum_{i=1}^k x_i\circ g_i \mid x_i\in {\bf L}(V,V)\right\}$

be an left ideal in $({\bf L}(V,V),+,\circ)$ , generated by $g_1,\ldots,g_k\in {\bf L}(V,V)$ . Then $I$ is principal and a generating element of $I$ can be described as follows. Define

$\displaystyle \ker( I) := \bigcap_{i=1}^k \ker(g_i)$ .

Then any $g\in {\bf L}(V,V)$ with $\ker(g)=\ker(I)$ (e.g. a projection on a complement of $V$ along $\ker(I)$ ) generates $I$ .

Proof. First, it is easy to see that using induction, it is sufficient to prove just the case for $k=2$ .

Let $g\in {\bf L}(V,V)$ be any $V$ -endomorphism with $\ker(g)=\ker(I)=\ker(g_1)\cap \ker(g_2)$ . Let $(b_i)_{i\in I}$ be a base of $\ker(g)$ which extends to a base $(b_i)_{i\in I\cup I_1}$ of $\ker(g_1)$ and a base $(b_i)_{i\in I_1\cup I_2}$ of $\ker(g_2)$ . Let $U_1 = \langle (b_i)_{i\in I_1}\rangle$ and $U_2 = \langle (b_i)_{i\in I_2}\rangle$ . Clearly, $U_1\cap U_2 = {0}$ and $(b_i)_{i\in I\cup I_1\cup I_2}$ extends to a base $(b_i)_{i\in I\cup I_1\cup I_2 \cup J}$ of $V=\ker(g)\oplus U_1\oplus U_2 \oplus U$ , where $U=\langle (b_i)_{i\in J}\rangle$ . Then $(g_1(b_i))_{i\in I_2\cup J}$ is a base of $g_1(V)$ and $(g_2(b_i))_{i\in I_1}$ is a family of linear independent vectors. Let $C_1$ and $C_2$ be complements of $g_1(V)$ and $\langle (g_2(b_i))_{i\in I_1}\rangle$ to $V$ respectively.

We now can define the $V$ -endomorphisms $f_1$ by $f_1(g_1(b_i))=g(b_i)$ for $i\in I_2\cup J$ and $f_1(x)=0$ for all $x\in C_1$ , and $f_2$ by $f_2(g_2(b_i))=g(b_i)$ for all $i\in I_1$ and $f_2(x)=0$ for all $x\in C_2$ . Note that $f_1$ and $f_2$ are well defined. Now, let $u_1\in U_1, u_2\in U_2, u\in U$ . Then

$f_1(g_1(u_1+u_2+u)) + f_2(g_2(u_1+u_2+u)) = g(u_2) + g(u) + g(u_1)$
$= g(u_1+u_2+u)$ ,

so $f_1\circ g_1 + f_2 \circ g_2 = g$ . It follows that $g\in I$ .

In order to prove that $g$ indeed generates $I$ , it is sufficient to prove the following result: if $f,g\in {\bf L}(V,V)$ and $\ker(g) \leq \ker(f)$ , then there exists a linear function $h\in {\bf L}(V,V)$ such that $f=h\circ g$ .

Let $(b_i)_{i\in I_1}$ be a base of $\ker(g)$ . This extends to a base $(b_i)_{i\in I_1\cup I_2}$ of $\ker(f)$ and to a base $(b_i)_{i\in I_1\cup I_2 \cup I_3}$ of $V$ . Then $(g(b_i))_{i\in I_2\cup I_3}$ is a base of $g(V)$ , which has a complement $C$ to $V$ . But then we can simply define a linear function $h\in {\bf L}(V,V)$ by $h(g(b_i)) = f(b_i)$ for $i\in I_2\cup I_3$ and $h(x)=0$ for $x\in C$ . Note that $h$ is well defined. But then, $h(g(b_i))=f(b_i)$ for all $i\in I_1\cup I_2\cup I_3$ since $h(g(b_i))=h(0)=0=f(b_i)$ for all $i\in I_1$ . Thus, $f=h\circ g$ .

$\Box$

Remark. In the case when $V$ is finite-dimensional over $K$ , we can prove similar results for right ideals by using the transposes of linear maps. Moreover, it is easy to see that if $V$ is finite-dimensional, then every left ideal of ${\bf L}(V,V)$ is principal and generated by a $V$ -endomorphism $g$ which minimises $\dim_K(\ker(g))$ . Indeed, if $I$ is a left ideal of ${\bf L}(V,V)$ , $g$ is such a $V$ -endomorphism which minimises $\dim_K(\ker(g))$ and $f$ is another arbitrary $V$ -endomorphism, then the subideal of $I$ generated by $g$ and $f$ is finitely generated, and thus generated by a single $V$ -endomorphism $g'$ satisfying $\ker(g') = \ker(g)\cap \ker(f)$ . But since $\dim_K(\ker(g))$ is minimal, it follows that $\ker(g)=\ker(g')$ , implying $\ker(g)\leq \ker(f)$ . Hence, there exists a $V$ -endomorphism $h$ such that $f=h\circ g$ , so $g$ generates $I$ .

We therefore see that if $\dim_K(V) < \infty$ , then ${\bf L}(V,V)$ is, in some sense, a non-commutative principal ideal ring.

Corollary. Let $V$ be a vector space over $K$ and let $g_1,\ldots,g_k\in {\bf L}(V,V)$ . Then there exist $x_1,\ldots,x_k\in {\bf L}(V,V)$ with

$\displaystyle \sum_{i=1}^k x_i\circ g_i={\bf id}_V$

if and only if $\ker(g_1)\cap \cdots \cap\ker(g_k) = \{0\}$ .

Furthermore, if $V$ is finite-dimensional, then there exist $x_1,\ldots,x_k\in {\bf L}(V,V)$ such that

$\displaystyle \sum_{i=1}^k g_i\circ x_i = {\bf id}_V$

if and only if $\ker(g_1^\top)\cap \cdots \cap \ker(g_k^\top) = \{0\}$ , where $g^\top$ denotes the transpose of $g$ .

]]> https://yiminge.wordpress.com/2009/01/19/bezouts-lemma-in-endomorphism-rings-of-vectorspaces/feed/ 7

Yimin Ge Algebraic Closures https://yiminge.wordpress.com/2009/01/18/algebraic-closures/ https://yiminge.wordpress.com/2009/01/18/algebraic-closures/#comments Sat, 17 Jan 2009 23:56:18 +0000 https://yiminge.wordpress.com/?p=6 Note: This entry contains some serious errors which I was unaware of when I wrote it in the first place. Until I find out how to resolve them, I leave it to the eager reader to find them

Some days ago, I was told that every field has an algebraic closure which is unique except of isomorphism (apparently, this seems to be a well known result). However, I wasn’t able to prove these results without using Zorn’s Lemma (neither the existence nor the uniqueness).

Definition. Let $K$ be a field. An Algebraic Closure of $K$ is a field $L$ so that $L:K$ is an algebraic field extension and $L$ is algebraically closed, i.e. every polynomial with coefficients in $L$ splits into linear factors in $L$ .

We first prove with Zorn’s Lemma that every field has an algebraic closure. Note that the union of the fields in a chain (ordered by set inclusion) is itself a field.

Theorem. Every field $K$ has an algebraic closure.
Proof. Let $P$ be the set of all fields $L$ so that $L:K$ is an algebraic field extension. Then $P$ is partially ordered by set inclusion.

Let $T$ be a chain in $P$ . Consider $S=\bigcup_{L\in T} L$ . Then clearly, $S$ is a field containing $K$ .

Moreover, suppose that $\alpha\in S$ . Then there exists some $L\in T$ so that $\alpha\in L$ . Hence, $\alpha$ is algebraic over $K$ as $L$ is an algebraic extension of $K$ . We therefore see that $S:K$ is an algebraic extension.

It follows that every chain in $P$ has an upper bound in $P$ , so $P$ has a maximal element $M$ by Zorn’s Lemma. We shall prove that $M$ is the required algebraic closure.

Suppose then that $f\in M[X]$ is nonconstant and irreducible. Let $\alpha$ be a root of $f$ in some splitting field and let $L=M(\alpha)\simeq M/(f)$ . Then $L:M$ is a finite and hence algebraic field extension. But $M:K$ is also an algebraic field extension, so $L:K$ is algebraic, contradicting the maximality of $M$ .

$\Box$

Next, we shall prove that the algebraic closure is unique up to isomorphism. We will use the following (well-known) Lemma.

Lemma. Let $\sigma: K_1\rightarrow K_2$ be an isomorphism between fields. Let $f_1$ be a polynomial with coefficients in $K_1$ and $f_2$ be the polynomial obtained by applying $\sigma$ to the coefficients of $f_1$ . Let $L_1$ and $L_2$ be splitting fields of $f_1$ and $f_2$ over $K_1$ and $K_2$ respectively. Then there is an isomorphism $\tau:L_1\rightarrow L_2$ extending $\sigma$ .

Theorem. Let $L_1$ and $L_2$ be algebraic closures of a field $K$ . Then $L_1\simeq L_2$ .
Proof. Consider the set $P$ of isomorphisms $\sigma: M_1\rightarrow M_2$ , where $K\leq M_1\leq L_1$ and $K\leq M_2\leq L_2$ . Define a partial $\sqsubseteq$ order on $P$ where $\sigma_1\sqsubseteq\sigma_2$ iff $\sigma_2$ extends $\sigma_1$ . Denote by $\mathrm{D}(\sigma)$ and $\mathrm{Im}(\sigma)$ the domain and image of $\sigma$ respectively.

Suppose that $T$ is a chain in $P$ . Define a function $\psi: \bigcup_{\sigma\in T} \mathrm{D}(\sigma) \rightarrow \bigcup_{\sigma\in T} \mathrm{Im}(\sigma)$ , $x\mapsto \sigma(x)$ for some $\sigma\in T$ with $x\in\mathrm{D}(\sigma)$ .

Note that $\psi$ is well-defined, since $T$ is a chain wrt $\sqsubseteq$ . Furthermore, $\mathrm{D}(\sigma)$ and $\mathrm{Im}(\sigma)$ are both fields as they are the union of chains of fields (wrt set inclusion) respectively, so $\psi$ is a homomorphism between fields. Since $\sigma$ is non-trivial, it is injective. Moreover, for each $x\in \bigcup_{\sigma\in T}\mathrm{Im}(\sigma)$ , there is some $\sigma\in T$ with $x\in \mathrm{Im}(\sigma)$ , so $\psi$ is surjective. It follows that $\psi\in P$ is an upper bound of $T$ .

It follows from Zorn’s Lemma that that $P$ has a maximal element $\tau$ . We shall prove that $\tau$ is an isomorphism between $L_1$ and $L_2$ . Let $M_1=\mathrm{D}(\tau)$ and $M_2=\mathrm{Im}(\tau)$ . Assume that $M_1 \lneqq L_1$ and $\alpha$ is some element in $L_1\backslash M_1$ . Clearly, $\alpha$ is algebraic over $K$ and thus over $M_1$ . Suppose $m_\alpha$ is the minimal polynomial of $\alpha$ over $M_1$ and $n_\alpha$ be the polynomial obtained from $m_\alpha$ by applying $\tau$ to the coefficients of $m_\alpha$ and let $S_1$ and $S_2$ be splitting fields of $m_\alpha$ and $n_\alpha$ over $M_1$ and $M_2$ respectively. Then $S_1\leq L_1$ and $S_2\leq L_2$ . But by the Lemma above, there exists an isomorphism from $S_1$ to $S_2$ extending $\tau$ , which contradicts the maximality of $\tau$ . Thus, $M_1=L_1$ . Using the same argument for $\tau^{-1}$ , we see that $M_2=L_2$ . Hence, $L_1\simeq L_2$ , as required.

$\Box$

Remark. It is easy to see that the algebraic closure of a field $K$ can also be defined as the smallest algebraically closed extension field of $K$ , i.e. the intersection of all algebraically closed field extensions of $K$ (which, itself is an algebraically closed field extension of $K$ ).
Indeed, let $M$ be the algebraic closure of $K$ and let $L$ be the smallest algebraically closed field extension of $K$ . Then clearly, $L\leq M$ . Hence, every $\alpha\in L$ is algebraic over $K$ , so $L$ is an algebraic field extension. But then, $L$ is an algebraic closure and we have already seen that algebraic closures are unique up to isomorphism. It follows that $L=M$

]]> https://yiminge.wordpress.com/2009/01/18/algebraic-closures/feed/ 7

Yimin Ge Yimin Ge’s Blog Goes Online https://yiminge.wordpress.com/2009/01/17/3/ https://yiminge.wordpress.com/2009/01/17/3/#comments Sat, 17 Jan 2009 22:47:36 +0000 https://yiminge.wordpress.com/?p=3 This is yet another attempt to prevent my mathematical activities from collapsing during the nine months of my tedious civilian service. I will occasionally post some interesting problems or results that I discovered or just any random thoughts that pop up in my mind here which are not worth being mentioned in a paper.

]]> https://yiminge.wordpress.com/2009/01/17/3/feed/ 1

Yimin Ge

Original Source | Taken Source