Review & Problem-Solving: Linear Algebra & Abstract Algebra

Unit 10: Review and Problem Solving

This unit consolidates all prior units (1–9) into a cohesive framework, emphasizing:

1. Conceptual integration (e.g., how eigenvalues link to linear transformations).
2. Problem-solving heuristics (e.g., when to use LU decomposition vs. least squares).
3. Common pitfalls (e.g., misapplying determinants in rank calculations).
4. Exam strategies (e.g., structuring proofs for abstract algebra).
5. Applications (e.g., projections in machine learning, groups in cryptography).

1. Core Concepts Recap

1.1 Linear Algebra Review

Key Definitions & Theorems

How It Works: Linear Independence Test

To check if vectors $\{{\mathbf{v}}_1,{\mathbf{v}}_2,{\mathbf{v}}_3\}$ in ${\mathbb{R}}^3$ are linearly independent:

1. Form a matrix $A$ with vectors as columns.
2. Compute $\det (A)$. If $\det (A)\ne 0$, the vectors are independent. Example: $$A=\left[\begin{array}{ccc}1& 2& 3\\ 0& 1& 1\\ 4& 5& 6\end{array}\right],\det (A)=1(6-5)-2(0-4)+3(0-4)=-8\ne 0.$$ Conclusion: Linearly independent.

1.2 Abstract Algebra Review

Groups, Rings, Fields

How It Works: Subgroup Test

To verify $H=\{1,-1,i,-i\}$ is a subgroup of $({\mathbb{C}}^{\ast },\cdot )$:

1. Closure: Check all products $h_1\cdot h_2\in H$. Example: $i\cdot (-i)=1\in H$.
2. Identity: $1\in H$.
3. Inverses: $i^{-1}=-i\in H$. Conclusion: $H$ is a subgroup.

2. Problem-Solving Strategies

2.1 Linear Algebra Problems

Strategy 1: Solving $A\mathbf{x}=\mathbf{b}$

1. Augmented Matrix: Write $[A|\mathbf{b}]$.
2. Row Reduction: Use Gaussian elimination to reach RREF.
3. Interpret:
   • Unique solution if $\text{rank}(A)=n$.
   • No solution if $\text{rank}(A)\ne \text{rank}([A|\mathbf{b}])$.
   • Infinite solutions if $\text{rank}(A)<n$.

Example: Solve $\{\begin{array}{l}x+y=2\\ 2x+2y=4\end{array}$.

• RREF: $\left[\begin{array}{ccc}1& 1& |2\\ 0& 0& |0\end{array}\right]$.
• Solution: $x=2-y$ (infinite solutions).

Strategy 2: Eigenvalue Problems

1. Compute $\det (A-\lambda I)=0$ (characteristic equation).
2. Solve for $\lambda$.
3. For each $\lambda$, solve $(A-\lambda I)\mathbf{v}=0$.

Example: Find eigenvalues of $A=\left[\begin{array}{cc}4& 1\\ 2& 3\end{array}\right]$.

1. $\det (A-\lambda I)=(4-\lambda )(3-\lambda )-2={\lambda }^2-7\lambda +10=0$.
2. Solutions: $\lambda =5,2$.

2.2 Abstract Algebra Problems

Strategy 1: Proving Isomorphisms

1. Bijection: Show $\varphi :G\to H$ is bijective.
2. Homomorphism: Show $\varphi (ab)=\varphi (a)\varphi (b)$.
3. Inverse: Show ${\varphi }^{-1}$ preserves the operation.

Example: Prove $\varphi :(\mathbb{Z},+)\to ({\mathbb{Z}}_5,+)$ defined by $\varphi (x)=x\mathrm{mod}5$ is an isomorphism.

• Bijection: $\varphi$ is surjective (every element in ${\mathbb{Z}}_5$ is hit) and injective (since ${\mathbb{Z}}_5$ is finite).
• Homomorphism: $\varphi (a+b)=(a+b)\mathrm{mod}5=(a\mathrm{mod}5+b\mathrm{mod}5)\mathrm{mod}5=\varphi (a)+\varphi (b)$.

Strategy 2: Field Extensions

1. Idea: Adjoin roots of irreducible polynomials to extend fields.
2. Example: Extend $\mathbb{Q}$ to $\mathbb{Q}(\sqrt{2})$ by adjoining $\sqrt{2}$.

3. Common Pitfalls & Corrections

3.1 Linear Algebra

3.2 Abstract Algebra

4. Applications & Connections

4.1 Linear Algebra in Real World

mindmap
  root((Linear Algebra Applications))
    Computer Graphics
      Rotation Matrices
      Projections
    Machine Learning
      Principal Component Analysis (PCA)
      Singular Value Decomposition (SVD)
    Engineering
      Circuit Analysis
      Structural Mechanics
    Economics
      Input-Output Models
      Leontief Matrices

Example: PCA

• Uses eigenvalues/eigenvectors of covariance matrices to reduce dimensionality.
• Step 1: Compute covariance matrix $C$.
• Step 2: Find eigenvalues ${\lambda }_i$ and eigenvectors ${\mathbf{v}}_i$.
• Step 3: Project data onto top $k$ eigenvectors.

4.2 Abstract Algebra in Cryptography

• RSA Encryption: Relies on properties of ${\mathbb{Z}}_n^{\ast }$ (group of units modulo $n$).
  • Public key: $(e,n)$, where $e$ is coprime to $\varphi (n)$.
  • Private key: $d\equiv e^{-1}\mathrm{mod}\varphi (n)$.
• Elliptic Curve Cryptography (ECC): Uses group structure on elliptic curves over finite fields.

5. Exam Tips

5.1 Linear Algebra

• For proofs:
  • Start with definitions (e.g., "Let ${\mathbf{v}}_1,\dots ,{\mathbf{v}}_k$ be linearly independent...").
  • Use contradiction for independence: assume $c_1{\mathbf{v}}_1+\cdots +c_k{\mathbf{v}}_k=0$ and show all $c_i=0$.
• For computations:
  • Show all steps in row reduction or eigenvalue calculations.
  • Label intermediate matrices (e.g., $R_1,R_2$).
• Common exam questions:
  • Prove a set is a subspace.
  • Find the inverse of a matrix using adjugate.
  • Diagonalize a matrix.

5.2 Abstract Algebra

• For group/ring problems:
  • Clearly state which axioms you’re verifying.
  • Example: "Since $H$ is closed under $\cdot$ and contains $e$, it satisfies subgroup axioms."
• For isomorphisms:
  • Draw a commutative diagram if helpful.
  • Example:

    diagram td
      G --> H
      phi[/phi/] --> psi[/psi/]
      G' --> H'

• Common exam questions:
  • Show $(\mathbb{Z}/n\mathbb{Z},+)$ is a group.
  • Find all subgroups of $S_3$.
  • Prove a ring homomorphism.

5.3 General Strategies

• Time management:
  • Spend 1–2 minutes planning proofs (bullet points).
  • Leave 5 minutes to review calculations.
• Notation:
  • Use ​ for final answers (e.g., $\boxed{\lambda =2,5}$).
• Abstract vs. Computational:
  • Abstract questions (e.g., "Prove $H$ is a subgroup") often require definitions.
  • Computational questions (e.g., "Find eigenvalues") require step-by-step calculations.

6. Practice Problems

Linear Algebra

1. Vector Spaces: Show $V=\{p(x)\in \mathbb{R}[x]\mid p(0)=0\}$ is a subspace of $\mathbb{R}[x]$.
2. Eigenvalues: Find eigenvalues and eigenvectors of $A=\left[\begin{array}{cc}0& 1\\ -2& -3\end{array}\right]$.
3. Linear Transformations: Let $T:{\mathbb{R}}^2\to {\mathbb{R}}^2$ be defined by $T(x,y)=(2x+y,x-y)$. Show $T$ is linear and find its matrix representation.

Abstract Algebra

1. Groups: Prove $({\mathbb{Q}}^{\ast },\cdot )$ is not a group.
2. Rings: Show $\mathbb{Z}[\sqrt{-5}]=\{a+b\sqrt{-5}\mid a,b\in \mathbb{Z}\}$ is a ring.
3. Fields: Determine whether ${\mathbb{Z}}_6$ is a field.

The dihedral group $D_4$ symmetries of a square, showing abstract algebra’s geometric applications. (Image: Д.Ильин: vectorization, CC0, via Wikimedia Commons)