3,043 reputation
21044
bio website
location
age
visits member for 1 year, 8 months
seen 35 mins ago

34m
comment Existence of product $\ast$ in a Lie algebra so that $[X,Y]=X*Y-Y*X$
No, but you can embed $\mathcal{A}$ in an algebra called universal enveloping algebra $U(\mathcal{A})$ such that this is true.
Sep
5
comment The arrows from the initial object in a category are monomorphisms?
@MartinBrandenburg Ok, but then many would exclude $0$ from the category of unital rings. Some authors require at least 2 elements.
Sep
4
comment The arrows from the initial object in a category are monomorphisms?
Why is $\mathbb{Z}$ initial? There are two ring homomorphisms from $\mathbb{Z}\to\mathbb{Z}$, the identity and the 0.
Sep
4
comment The arrows from the initial object in a category are monomorphisms?
@MartinBrandenburg Why is $\mathbb{Z}$ initial? There are two ring homomorphisms from $\mathbb{Z}\to\mathbb{Z}$, the identity and the 0.
Sep
1
reviewed Leave Closed Find the three dimensional line that goes through point p and is perpendicular to a plane
Sep
1
comment Smooth maps into an immersed submanifold
@studiosus "$S$ has the induced topology from $g$".
Sep
1
asked Smooth maps into an immersed submanifold
Aug
31
comment How to compute dimension of $O(n,\mathbb{R})$
Why exactly is $f$ a submersion?
Aug
31
comment How to compute dimension of $O(n,\mathbb{R})$
I am aware of this approach, and I know the dimension as well. I am actually just practising computation of things related to differentials. So I will be glad if I finish with my approach.
Aug
31
asked How to compute dimension of $O(n,\mathbb{R})$
Aug
30
reviewed Approve suggested edit on Truth Tables for Temporal Operators?
Aug
30
reviewed Reject suggested edit on Solve this number theory problem without plugging in
Aug
30
reviewed Approve suggested edit on Equivalence between temporal logic and notions of forcing
Aug
30
reviewed Approve suggested edit on Proving that a formula cannot be proven (has no formal proof) in a given deduction system
Aug
30
reviewed Approve suggested edit on What does this negation on both sides of K mean: A = ¬ K ¬
Aug
30
reviewed No Action Needed Find the length of a ladder that is leaning against a wall.
Aug
30
reviewed Close Casio fx-83gt - help! Linear Programming
Aug
28
reviewed No Action Needed Meaning of $\geqslant$, $\leqslant$, $\eqslantgtr$, $\eqslantless$
Aug
28
reviewed Approve suggested edit on Prove that for an increasing and differentiable function $f'(x) \ge 0$ holds.
Aug
28
revised Compactness of the Grassmannian $G(k,n)$
edited body