3,106 reputation
529
bio website
location
age
visits member for 2 years, 11 months
seen yesterday

Jul
3
comment Topological/homotopical classification for 1-dim CW-complexes?
But then are non-graph-isomorphic thrown graphs non-homeomorphic? I guess so but I cannot conceive a proof.
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive
Jul
2
comment Topological/homotopical classification for 1-dim CW-complexes?
The difference between graph-iso and homeo is that intuitively we can merge two adjacent edges and delete the joint vertex if it's only connected with these edges. It's inequivalent, but to my intuition, it could be shown that homeo problem is somewhat no easier than graph-iso problem.
Jul
2
comment Topological/homotopical classification for 1-dim CW-complexes?
Thanks. I do have Hatcher but I didn't read it. Any idea on topological classification?
Jul
2
comment Topological/homotopical classification for 1-dim CW-complexes?
I doubt the homeo. cls. is related to graph isomorphism problem somewhat, so maybe undecidable.
Jul
2
asked Topological/homotopical classification for 1-dim CW-complexes?
Jun
27
comment If $Ax = b$ has more than one solution so does $Ax = 0$, where $A$ is $m\times n$ real matrix.
The point is that, if $Ax=0$ has a solution, since the solution set is a linear subspace, it should contain the line spanned by that solution and so infinite if the ground field is infinite.
Jun
26
accepted Simplicity is invariant under extension of scalars
Jun
25
comment Simplicity is invariant under extension of scalars
@rschwieb Prop 2,(ii) is just a generalization of the problem. Please post an answer and I'll accept it. Thanks!
Jun
25
comment Simplicity is invariant under extension of scalars
@rschwieb Where did you see the statement that if $A$ is central simple then $A\otimes_k K$ is simple? It's stated in Shafarevich's Basic notions of algebra, but claimed that it's easy to prove. That book omits many proofs (it's not a textbook but an introduction). I need some reference.
Jun
25
revised Simplicity is invariant under extension of scalars
added 68 characters in body
Jun
25
comment Simplicity is invariant under extension of scalars
@rschwieb Suppose $\sum_k a_k\otimes\xi_k\in Z(A\otimes_k K)$ and $\xi_1,\dotsc,\xi_n$ are linearly independent over $k$, and it commutes with any $b\otimes\eta$, then by simple calculation it could be shown that $a_k$ commutes with $b$ for any $b\in A$, thus $a_k\in k$ and thus $\sum_k a_k\otimes\xi_k\in K$.
Jun
24
comment Simplicity is invariant under extension of scalars
@rschwieb Well, I need to check whether that $A$ is central $k$ implies that $A\otimes_k K$ is central over $K$. I proved this, but I'm not 100% sure. I didn't touch with extension of scalars before.
Jun
24
comment Simplicity is invariant under extension of scalars
@JeremyRickard You're right. I misunderstood the sentence.
Jun
24
asked Simplicity is invariant under extension of scalars
Jun
23
comment Understanding calculus formulas intuitively
@KCd Zorich's is good.
Jun
22
comment The Galois group of a composite of Galois extensions
Well, thanks. I've been away from Galois theory since then, and I still find that I don't digest Galois theory well. Many theorems are still nontrivial to me, so I need to refresh the materials. Infinite Galois theory and profinite groups are still left indigestions, which I want to compare with ring completions, also an application of inverse limit. Incidentally, is there any material on (elementary) geometric (especially, algebro-geometric) viewpoint towards Galois theory?
Jun
22
comment The Galois group of a composite of Galois extensions
Well, I'm looking for some experts to check this proof, so the acceptance might be postponed. Sorry!
Jun
19
comment The Galois group of a composite of Galois extensions
It's an ancient post and I feel glad that I eventually receive an answer. It would be better if you can furnish some good reference for infinite Galois theory. It seems that the corresponding chapter of Morandi's book is indigestive to me.