Well the question I'm referring to is (in the context of lie algebras but similar for linear algebra): 'describe the kernel of the canonical homomorphism [itex]\phi : \mathfrak{g} \to \mathfrak{g} / \mathfrak{h}[/itex]' defined by [itex]\phi (x)=x+\mathfrak{h}[/itex] for all [itex]x\in\mathfrak{g}[/itex] where [itex]\mathfrak{g}[/itex] is any lie algebra (vector space with some additional properties) and [itex]\mathfrak{h}[/itex] is an ideal (subspace with some additional properties) of [itex]\mathfrak{g}[/itex].
I've found that [itex]\text{Ker}( \phi ) = \mathfrak{h}[/itex] but how would I present a basis?
What I mean by finding the kernel is using the definition [itex]\{ v\in V : \phi v)=0 \}[/itex]
