I am sorry, in the whole text below $k$ is just meant to be $\mathbb{C}$.
This question is closely related to my previous one here.
I am considering the two rings $k[X]=k[x,y,z]/\langle xy,xz,yz\rangle$ and $k[Y]=k[x,y]/\langle xy(x-y)\rangle$. The question is if $X\subseteq\mathbb{C}^3$ and $Y\subseteq\mathbb{C}^2$ are isomorphic as schemes, and a hint is to define and compute the tangent space of such a scheme at the origin.
If I regard $X$ as an affine scheme $\operatorname{Spec}k[X]$, and if $\mathcal{O}_X$ is its structure sheaf, then the origin 'is' the maximal ideal $\mathfrak{p}=\langle x,y,z\rangle\subseteq k[X]$. Then $\mathcal{O}_{X,\mathfrak{p}}\cong k[X]_\mathfrak{p}$, which is a local ring with maximal ideal $\mathfrak{m}:=\mathfrak{m}_{X,\mathfrak{p}}=\mathfrak{p}k[X]_\mathfrak{p}$. I can then define the tangent space of $X$ at the origin as the dual space of $\mathfrak{m}_{X,\mathfrak{p}}/\mathfrak{m}_{X,\mathfrak{p}}^2$ I guess.
But what is the standard procedure to compute such tangent spaces? Can one do this without 'computing' the ring $k[X]_\mathfrak{p}$ first (maybe by finding a basis of the tangent space by looking at $\mathfrak{m}$ directly)? In any case I would like to know what $k[X]_\mathfrak{p}$ and $k[Y]_{\langle x,y\rangle}$ are, but as usual I can't think of a way to 'simplify' these. Does it ever help that localization commutes with taking quotients in actual computations like these?
The maximal ideal $\mathfrak{m}$ consists of fractions $\frac{f}{g}$, where $f\in\mathfrak{p},g\notin\mathfrak{p}$, i.e. where $f$ doesn't have a constant term while $g$ has a non-zero one. $\mathfrak{m}^2$ has as generators products of two elements of the above form, in particular the numerator has only degree-2 or higher terms. So elements in the quotient have a numerator with only degree-1 terms? This would be consistent with the naive $\mathfrak{m}/\mathfrak{m}^2=\mathfrak{p}_\mathfrak{p}/(\mathfrak{p}_\mathfrak{p})^2=(\mathfrak{p}/\mathfrak{p}^2)_\mathfrak{p}$, from which I don't really know if I am allowed to calculate like this.
As you can see, I'm confused ;) Answers to the various questions above would be very much appreciated, as wells as hints on how to go on with computing the tangent space, and on how to compute the local rings above. My (very vague) guess would be that we get a basis of the dual of the tangent space of $X$ at the origin by taking $x/1,y/1,z/1$, hence a 3-dimensional vector space, which for $Y$ can never happen, as this should be the only way to show $X$ and $Y$ are not isomorphic via tangent spaces at a certain point!? But I could also be totally wrong here.
Edit: Again, I forgot the geometry: Can I guess from the geometric picture ($X$ is the union of the three coordinate axes in $\mathbb{C}^3$, while $Y$ consists of the two coordinate axes plus the line $y=x$ in $\mathbb{C}^2$) what the tangent spaces at these two (clearly singular) points should be?
Thank you in advance!