Induction on k algebra
6869
The square roots of different primes are linearly independent over the field of rationals
127111
induction with 2 recursive sequnces
115435
Induction: prove using congruences
61635
Proving AM-GM with induction
35140
Existence of minimal $\sigma$-algebra and transfinite induction
16048
Approximating a $\sigma$-algebra by a generating algebra
138857
Proving an inequality by induction, how to figure out intermediate inductive steps?
136737
Proof by Induction for inequality, $\sum_{k=1}^nk^{-2}\lt2-(1/n)$
50656
Intuition behind $k$-algebra, $k$-algebra morphisms?
67772
How to find $k$ such that $(\mathbb{Z} \times \mathbb{Z})/ \langle (m,n)\rangle \cong \mathbb{Z} \times \mathbb{Z}_k$
153123
Proving by induction $4^n  0$
40692
Proving by strong induction that $\forall n \ge 2, \;\forall d \ge 2 : d \mid n(n+1)(n+2)...(n+d-1) $
145507
Is $K[a,b]=K(a,b)$ for algebraic $a, b$?
151695
How to apply induction to this formula?
42285
Prove by mathematical induction.
13291
Proving $\sum_{k=1}^n\frac1{\sqrt k}<2\sqrt n$ by induction
158728
Using induction for an easy proof for formal languages