I am having some trouble finding and/or understanding a general definition of subvarieties intersecting transversally. Assume that $Z\_1,\ldots,Z\_k$ are closed, irreducible subvarieties of a nonsingular algebraic variety $Y$. 


Intuitively, I would say that these subvarieties **intersect transversally** if all varieties have pairwise intersection multiplicity one, i.e. $i(W,Z\_i\cdot Z\_j; Y)=1$ along any component $W$ of $Z\_i\cap Z\_j$ for $i\ne j$. 


In our scenario, we should have $i(W,Z\_i\cdot Z\_j;Y)=\mathop{\mathrm{length}}\_{\mathscr{O}\_{Y,W}}\left(\mathscr{O}\_{Z\_i\cap Z\_j, W}\right)$, if I am not mistaken.


Another intuitive definition would be that the tangent sheaves $\mathscr{T}\_{Z\_i}$ form a direct sum inside $\mathscr{T}\_{Y}$. This seems to agree with the definition in [this paper](http://projecteuclid.org/euclid.mmj/1250169076) (in 5.1.2), but the author gives an equivalent definition which looks interesting:


For any $y\in Y$, there exists 1. a system of parameters $x\_1,\ldots,x\_n$ on $Y$ at $y$ that are regular on an affine neighborhood $U$ of $y$ such that $y$ is defined by the maximal ideal $(x\_1,\ldots,x\_n)$ as well as
2. integers $0=r\_0 \le r\_1 \le \cdots \le r\_k \le n$ such that the subvariety $Z\_i$ is defined by the ideal $I\_i=\left(x\_{r\_{i-1}+1},\ldots,x\_{r\_i}\right)$ for all $1\le i\le k$.



Just for the record, what precisely does *"defined by"* mean here? I assume it means that $U\cap Z\_i = Z(I\_i)$ ... or do we actually get that $I\_i=I(Z\_i\cap U)$? 


I would like to know if and how these three definitions are equivalent - there is no (general) treatment of this in Hartshorne or even in Fulton's book on *Intersection Theory*, which befuddled me greatly.



Transversal Intersection of Varieties
This naive answer is strictly intended to provoke a knowledgeable answer from someone. Transversal intersection at p should mean that all subvarieties are smooth at p, all contain p, and the codimension of the intersection of the tangent spaces equals the sum of the codimensions of the individual tangent spaces. ????


