Reputation
15,612
Next privilege 20,000 Rep.
Access 'trusted user' tools
Badges
23 51
Newest
 Nice Answer
Impact
~449k people reached

2d
awarded  Nice Answer
Feb
6
comment Subfields of finite fields
@justin: yes. Thank you for pointing out the typo
Feb
6
awarded  Nice Answer
Jan
26
comment Can I belive that : $e^{e^{e^{e^{\cdots}}}}$ is $\infty$?
It is not clear what your question is. Are you considering just one number? If so, what number? Or else are you asking if the sequence $a_1=e$, $a_{n+1}=e^{a_n}$ includes any rational number?
Jan
12
comment Thesis-subjects in number theory for an undergraduate.
Your advisor should give you a list of topics to choose from
Jan
7
comment Is $\sum_{n=1}^\infty\frac{(-1)^n}{n}$ convergent?
The latter is $-1$ times the former
Nov
3
awarded  Good Answer
Sep
6
answered Transitive group action
Sep
1
revised How to understand the Mobius transform as a group action?
edited tags
Sep
1
answered How to understand the Mobius transform as a group action?
Aug
25
awarded  Civic Duty
Aug
25
awarded  Nice Answer
Aug
25
answered Let $G$ be a compact group. If $\{a^n\}_{n \in \mathbb{Z}}$ is dense in $G$, then $G$ is abelian.
Aug
4
awarded  Yearling
Jul
30
answered How to divide by a matrix
Jul
13
comment Prove that $\mathbb Z^n$ is not isomorphic to $\mathbb Z^m$ for $m\neq n$
IMHO, you should make clear that your "Generalization" is a generalization of the fact, not of the "Second proof", as $\Bbb Q$ is not a quotient field of $\Bbb Z$. As it stands, the Second proof generalizes immediately to a domain $A$ by taking its field of quotients.
Jul
12
awarded  Nice Answer
Jul
12
answered How to explain your area of study to non-math people
Jul
12
comment How to explain your area of study to non-math people
I guess that If you are applying for a grant and your interviewer is not a mathematician your enjoyment will be very short-lived
Jul
7
comment Example of finitely generated Z[x]-module which is not a direct sum of cyclic modules
@user26857, me too. And, by the way, a non-principal ideal in a domain $R$ is never free as a $R$-module because the product of any choice of subset of generators is a non-zero element in the intersection of the modules they generate singularly. This is precisely the argument given in my answer.