1: \begin{abstract}

2: We investigate how the Hausdorff dimension and measure of a self-similar

3: set $K\subseteq\mathbb{R}^{d}$ behave under linear images. This depends

4: on the nature of the group $\mathcal{T}$ generated by the orthogonal

5: parts of the defining maps of $K$. We show that if $\mathcal{T}$

6: is finite then every linear image of $K$ is a graph directed attractor

7: and there exists at least one projection of $K$ such that the dimension

8: drops under the image of the projection. In general, with no restrictions

9: on $\mathcal{T}$ we establish that $\mathcal{H}^{t}\left(L\circ O(K)\right)=\mathcal{H}^{t}\left(L(K)\right)$

10: for every element $O$ of the closure of $\mathcal{T}$, where $L$

11: is a linear map and $t=\dim_{H}K$. We also prove that for disjoint

12: subsets $A$ and \textbf{$B$} of $K$ we have that $\mathcal{H}^{t}\left(L(A)\cap L(B)\right)=0$.

13: Hochman and Shmerkin showed that if $\mathcal{T}$ is dense in $SO(d,\mathbb{R})$

14: and the strong separation condition is satisfied then $\dim_{H}\left(g(K)\right)=\min\left\{ \dim_{H}K,l\right\} $

15: where $g$ is a continuously differentiable map of rank $l$. We deduce

16: the same result without any separation condition and we generalize

17: a result of Ero$\breve{\mathrm{g}}$lu by obtaining that $\mathcal{H}^{t}(g(K))=0$. 

18: \end{abstract}