Intereting Posts

Consequences of Degree Theory
$\int_0^\infty(\log x)^2(\mathrm{sech}\,x)^2\mathrm dx$
Why is the volume of a sphere $\frac{4}{3}\pi r^3$?
Combination problem
How to get rid of the integral in this equation $\int\limits_{x_0}^{x}{\sqrt{1+\left(\dfrac{d}{dx}f(x)\right)^2}dx}$?
Continuous on rationals, discontinuous on irrationals
Subrings of fraction fields
How to solve $(2x^2-1)^2=2y^2 – 1$ in positive integers?
Density of halting Turing machines
$\sqrt{x}$ isn't Lipschitz function
On “familiarity” (or How to avoid “going down the Math Rabbit Hole”?)
What are higher derivatives?
Proof that $\displaystyle\sum_{n=0}^{\infty}{\frac{x^{n}}{n!}}={\left(\sum_{n=0}^{\infty}{\frac{1}{n!}}\right)}^{x}$?
How do I calculate these sum-of-sum expressions in terms of the generalized harmonic number?
Does a countable set generate a countable group?

Let $G$ be a finite abelian group and let $\phi: G \rightarrow G$ be a group homomorphism. I am trying to show that there is a positive integer $n$ such that $G \cong \ker(\phi^{n}) \times \phi^{n}(G)$.

I know that since $G$ is abelian we have that $\ker(\phi^{k})$ and $\phi^{k}(G)$ are normal subgroups of $G$ for any $k$

I also suspect we have the following towers which stabilize at $m$ and $m’$

- An abelian group of order 100
- When is the automorphism group $\text{Aut }G$ cyclic?
- Computing easy direct limit of groups
- Every abelian group of finite exponent is isomorphic to a direct sum of finite cyclic groups?
- Examples of loops which have two-sided inverses.
- $G$ group, $H \trianglelefteq G$, $\vert H \vert$ prime, then $H \leq Z(G)$

$$\phi(G) \unrhd \phi^{2}(G) \unrhd \cdots \unrhd \phi^{m}(G)=\phi^{m+1}(G)=\cdots$$

$$\ker(\phi) \unlhd \ker^{2}(\phi) \unlhd \cdots \unlhd \ker^{m’}(\phi)=\ker^{m’+1}(\phi)=\cdots$$

I know that if given a group of the form $HK$ where $H$ and $K$ are normal subgroups of $HK$ and $H\cap K=1$ then $H \times K \cong HK$. I want to apply this to this situation but I am unable to show how write $G$ as a product $HK$

**Resolution**

One of the comments directed me to the following article: http://en.wikipedia.org/wiki/Fitting_lemma

The last part of which answers the question. Below is what is says:

Choose $n=\max(m,m’)$, then we have for $x \in \ker^{n}(\phi) \cap \phi^{n}(x)$, this means that $x=\phi^{n}(y)$ for some $y \in G$. This gives:

$0=\phi^{n}(x)=\phi^{2n}(y)$ which means that $y \in \ker^{2n}\phi=\ker^{n}{\phi}$. and then we have that $0=x=\phi^{n}(y)$.

The answer below kindly points out that every element $x$ is contained in one of the cosets of $G/\ker^{n}(\phi)$, this means that $x=k+g$ for some $k \in \ker^{n}(\phi)$ and $g \in G$. We also have that $g=\phi^{n}(h)$ for some $h \in G$. Writing $x=k+\phi^{n}(h)$ essentially shows that $G=\ker(\phi^{n}) + \phi^{n}(G)$. Using the fact above, the claim follows.

- Ring homomorphism with $\phi(1_R) \neq1_S$
- How can you show there are only 2 nonabelian groups of order 8?
- How to “Visualize” Ring Homomorphisms/Isomorphisms?
- The alternating group is a normal subgroup of the symmetric group
- Proof of $(\mathbb{Z}/m\mathbb{Z}) \otimes_\mathbb{Z} (\mathbb{Z} / n \mathbb{Z}) \cong \mathbb{Z}/ \gcd(m,n)\mathbb{Z}$
- How are $G$-modules and linear group actions different
- Is it true that $(R\times S)\cong R\times S$?
- A doubt with a part of a certain proof.
- Why this polynomial is irreducible?
- good books on Abstract Algebra and Cryptography for self-study

Suppose the image of $\phi^m$ is the same as the image of $\phi^{m+1}$. Then the kernels are also the same. Every element of the group is contained in some coset of the kernel of $\phi^m$, so every element $g$ is equal to $\phi^m(h)+k$, where $h\in G$ and $k$ is in the kernel. $\phi^m$ is an automorphism when restricted to its image because the image has stabilized. Thus the kernel has trivial intersection with the image. These facts, as you have noted, show that $G$ is the direct sum of the kernel and the image of $\phi^m$.

- Quotient of a Clifford algebra by its radical is a Clifford algebra?
- Funny double infinite sum
- Does convergence in probability preserve the weak inequality?
- Jordan Canonical form
- When will $A$ satisfy the dimension formula?
- A difficult logarithmic integral ${\Large\int}_0^1\log(x)\,\log(2+x)\,\log(1+x)\,\log\left(1+x^{-1}\right)dx$
- Proving the limit at $\infty$ of the derivative $f'$ is $0$ if it and the limit of the function $f$ exist.
- Complement of a set and inverse image.
- Introductory Calculus textbook for physics?
- Checking whether a graph is planar
- Generating function for planted planar trees
- Irrational Numbers Containing Other Irrational Numbers
- Show that the sum $\frac {1}{p_1} + \frac {1}{p_2} +\frac {1}{p_3} +…+\frac {1}{p_n}$ is never an integer,where $p_i$'s are primes,$ 1\le i \le n$.
- Ramsey Number R(4,4)
- Prove that $\cos\frac {2\pi}{7}+ \cos\frac {4\pi}{7}+ \cos\frac {8\pi}{7}=-\frac{1}{2}$