3,335 reputation
1628
bio website
location Yuseong-gu, Daejeon, Korea
age 35
visits member for 2 years, 4 months
seen 21 hours ago

I am studying Algebra.


Dec
9
awarded  Caucus
Nov
28
comment Prove $ \sin\ (\alpha'+\beta'+\gamma')\cos\ \beta \geq \sin\ \alpha' \cos\ \gamma+ \sin\ (\beta'+ \gamma')\cos\ (\alpha+\beta )$
I see. Thank you.
Nov
27
comment Prove $ \sin\ (\alpha'+\beta'+\gamma')\cos\ \beta \geq \sin\ \alpha' \cos\ \gamma+ \sin\ (\beta'+ \gamma')\cos\ (\alpha+\beta )$
Note that $$ \cos\ \beta\geq (\sin\ \alpha'-\cos\ \alpha')\cos\ \gamma $$ Not true is not clear.
Nov
27
asked Prove $ \sin\ (\alpha'+\beta'+\gamma')\cos\ \beta \geq \sin\ \alpha' \cos\ \gamma+ \sin\ (\beta'+ \gamma')\cos\ (\alpha+\beta )$
Nov
7
revised Group Action problem - Proving an action and finding number of orbits
added 53 characters in body
Nov
7
answered Group Action problem - Proving an action and finding number of orbits
Nov
7
answered positive fractions, denominator 4, difference equals quotient
Oct
30
accepted Equivalence classes of extensions of ${\bf Z}_m$ by ${\bf Z}$
Oct
30
comment Equivalence classes of extensions of ${\bf Z}_m$ by ${\bf Z}$
I see. I editted.
Oct
30
revised Equivalence classes of extensions of ${\bf Z}_m$ by ${\bf Z}$
edited body; edited title
Oct
30
comment Equivalence classes of extensions of ${\bf Z}_m$ by ${\bf Z}$
I know : When $A$ is projective, it is trivial. But the above reference uses a different notation, though others uses the notation as you said. Anyway I want to prove Proposition 1 in 34 page.
Oct
30
comment Equivalence classes of extensions of ${\bf Z}_m$ by ${\bf Z}$
math.unipd.it/~frank/ALGANT/2005/chap3a.pdf
Oct
30
asked Equivalence classes of extensions of ${\bf Z}_m$ by ${\bf Z}$
Oct
20
comment Centralizer of $A_m$ in $A_n$
You are right. I edit again
Oct
20
revised Centralizer of $A_m$ in $A_n$
added 192 characters in body
Oct
20
revised Centralizer of $A_m$ in $A_n$
deleted 110 characters in body
Oct
20
comment Centralizer of $A_m$ in $A_n$
Well I will edit more clearly
Oct
19
revised Centralizer of $A_m$ in $A_n$
deleted 627 characters in body
Oct
19
comment Centralizer of $A_m$ in $A_n$
I see. I fix it.
Oct
19
revised Centralizer of $A_m$ in $A_n$
added 328 characters in body