La roche de lave, également connue sous le nom de roche ignée, se forme lorsque la lave ou le magma volcanique se refroidit et se solidifie. C'est l'un des trois principaux types de roches que l'on trouve sur Terre, avec les roches métamorphiques et sédimentaires. Typiquement, l'éruption se produit lorsqu'il y a une augmentation de la température, une diminution de la pression ou un changement de composition. Il existe plus de 700 types de roches ignées, qui ont toutes des propriétés diverses; cependant, ils peuvent tous être classés en trois catégories.
Extrusif
Les roches extrusives, également connues sous le nom de roches volcaniques, sont un type de roche ignée qui se forme à la surface de la croûte à la suite de l'activité volcanique. Ce type de roche se produit lorsque la lave coule sur ou au-dessus de la surface de la Terre et se refroidit rapidement. La lave provient de la couche supérieure du manteau, à 30 à 90 milles sous la surface, et se refroidit en quelques semaines. Parce que le magma se refroidit et se solidifie rapidement, les cristaux qui se forment n'ont pas le temps de devenir très gros et, par conséquent, la plupart des roches extrusives ont un grain fin. Le type de roche extrusive le plus courant est le basalte.
Intrusif
Des roches ignées intrusives ou plutoniques se forment sous la surface de la Terre lorsque le magma s'écoule dans des chambres ou des tunnels souterrains. La roche n'est pas exposée à l'atmosphère au-dessus de la surface, de sorte que le magma se refroidit lentement, ce qui permet à de gros cristaux minéraux de se former dans la roche. Il faut des milliers d'années pour que les roches intrusives se forment. Une masse de ce type de roche est appelée une « intrusion ». Le granit est le type le plus courant de roche ignée intrusive.
Hypabassal
La roche hybabassale, ou subvolcanique, provient du magma qui s'est solidifié à une faible profondeur du volcan, principalement dans les dykes et les seuils. Ce type de roche est formé entre les roches extrusives et intrusives, et a également une texture entre celle des roches intrusives et extrusives. Ce type de roche est plus rare que les variétés extrusives et intrusives et se trouve souvent aux limites continentales et aux croûtes océaniques. L'andésite est le type le plus commun de roche hypabassale.
Autres types
Plus de 700 types différents de roches ignées ont été découverts à ce jour. Ceux-ci varient en termes d'apparence, de taille de grain et de temps nécessaire à la lave pour refroidir. Une règle courante des roches ignées est que si la lave se refroidit plus rapidement, la roche formée aura des grains plus fins et aura un aspect vitreux; si la roche se refroidit plus lentement, les grains seront plus gros et plus grossiers. La roche porphyrique est un type qui a une combinaison de gros et de petits grains; cela se produit lorsqu'une roche a une histoire de refroidissement mixte.