441 reputation
213
bio website
location
age
visits member for 1 year, 10 months
seen Aug 3 at 18:21

I am.


Jul
11
accepted Topological characterization of the closed interval $[0, 1]$.
Jul
11
answered Topological characterization of the closed interval $[0, 1]$.
Jul
2
awarded  Curious
Jun
22
comment Superscript wedge on an $R$-module
Is this a standard notation? I think i have encountered $M^*$ more often.
Jun
11
comment Is there a recommended symbol for “equal by abuse of notation”?
Well, not really, sort of!
Jun
11
asked Is there a recommended symbol for “equal by abuse of notation”?
Jun
8
revised “Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions
add an example of a situation where the accepted definition has no reason to be called "canonical"; reorganize
Jun
7
comment “Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions
@KCd: one way in which i consider $v\mapsto(\phi\mapsto\phi(v))$ more natural than, for example, $v\mapsto(\phi\mapsto-\phi(v))$ is that it takes one operation less to define. I will think if i can give a more formal reason to call it "canonical".
Jun
7
comment Signs in the natural map $\Lambda^k V \otimes \Lambda^k V^* \to \Bbbk$
Hm, i didn't understand "every element of $T(V)$ can be written in a unique way" and "For any degree $-1$ derivation $d$ we have $d(v^2)=(dv)v-v(dv)=0$, and so $d$ vanishes on the ideal defining $\bigwedge V$".
Jun
6
revised “Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions
fix typo
Jun
6
comment “Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions
Thanks for the explanations anyway, i will need to think about them. But i am mostly interested in modules over rings.
Jun
6
comment “Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions
In a ring, $d!$ may be non-invertible without being zero. It can even be a zero divisor without symmetrization's annihilating symmetric tensors (consider $((\mathbb{Z}/4\mathbb{Z})\oplus(\mathbb{Z}/4\mathbb{Z}))^{\otimes2}$).
Jun
6
revised “Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions
fix typos
Jun
6
comment How mathematical theorems and concepts gain their names?
In this talk V.I. Arnold affirms in French with Russian accent that mathematical theorems almost never get names of their inventors: irem.univ-paris-diderot.fr/videos/la_mathematique_experimentale
Jun
6
asked “Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions
Jun
4
comment 'Obvious' theorems that are actually false
Hm, i would say it can be shown as a corollary of Jordan–Schoenflies theorem (of which i do not know a proof).
May
23
awarded  Organizer
May
23
revised Polynomials over non-commutative rings
add [reference-request] tag
May
23
suggested suggested edit on Polynomials over non-commutative rings
May
22
comment Is there a term for an endomorphism defined up to conjugation by an automorphism?
Thanks, i've noticed too that it is not a very interesting invariant. I was trying to understand the determinant better.