Fundamental Theorem of Finitely Generated Abelian Groups and its application
In this post, we study the Fundamental Theorem of Finitely Generated Abelian Groups, and as an application we solve the following problem.
Problem.
Let $G$ be a finite abelian group of order $n$.
If $n$ is the product of distinct prime numbers, then prove that $G$ is isomorphic […]
Hyperplane in $n$-Dimensional Space Through Origin is a Subspace
A hyperplane in $n$-dimensional vector space $\R^n$ is defined to be the set of vectors
\[\begin{bmatrix}
x_1 \\
x_2 \\
\vdots \\
x_n
\end{bmatrix}\in \R^n\]
satisfying the linear equation of the form
\[a_1x_1+a_2x_2+\cdots+a_nx_n=b,\]
[…]
Null Space, Nullity, Range, Rank of a Projection Linear Transformation
Let $\mathbf{u}=\begin{bmatrix}
1 \\
1 \\
0
\end{bmatrix}$ and $T:\R^3 \to \R^3$ be the linear transformation
\[T(\mathbf{x})=\proj_{\mathbf{u}}\mathbf{x}=\left(\, \frac{\mathbf{u}\cdot \mathbf{x}}{\mathbf{u}\cdot \mathbf{u}} \,\right)\mathbf{u}.\]
(a) […]
Linear Independent Continuous Functions
Let $C[3, 10]$ be the vector space consisting of all continuous functions defined on the interval $[3, 10]$. Consider the set
\[S=\{ \sqrt{x}, x^2 \}\]
in $C[3,10]$.
Show that the set $S$ is linearly independent in $C[3,10]$.
Proof.
Note that the zero vector […]
Finitely Generated Torsion Module Over an Integral Domain Has a Nonzero Annihilator
(a) Let $R$ be an integral domain and let $M$ be a finitely generated torsion $R$-module.
Prove that the module $M$ has a nonzero annihilator.
In other words, show that there is a nonzero element $r\in R$ such that $rm=0$ for all $m\in M$.
Here $r$ does not depend on […]
Degree of an Irreducible Factor of a Composition of Polynomials
Let $f(x)$ be an irreducible polynomial of degree $n$ over a field $F$. Let $g(x)$ be any polynomial in $F[x]$.
Show that the degree of each irreducible factor of the composite polynomial $f(g(x))$ is divisible by $n$.
Hint.
Use the following fact.
Let $h(x)$ is an […]