A rocha de lava, também conhecida como rocha ígnea, é formada quando lava vulcânica ou magma resfria e solidifica. É um dos três principais tipos de rochas encontradas na Terra, junto com os metamórficos e sedimentares. Normalmente, a erupção ocorre quando há um aumento na temperatura, uma diminuição na pressão ou uma mudança na composição. Existem mais de 700 tipos de rochas ígneas, todas com propriedades diversas; no entanto, todos eles podem ser classificados em três categorias.
Extrusivas
Extrusivas, também conhecidas como rochas vulcânicas, são um tipo de rocha ígnea que se forma na superfície da crosta como resultado da atividade vulcânica. . Este tipo de rocha ocorre quando a lava flui sobre ou acima da superfície da Terra e esfria rapidamente. A lava vem da camada do manto superior, 30 a 90 milhas abaixo da superfície, e esfria dentro de algumas semanas. Como o magma esfria e solidifica rapidamente, os cristais que se formam não têm tempo para crescer muito e, portanto, a maioria das rochas extrusivas é finamente granulada. O tipo mais comum de rocha extrusiva é o basalto.
Intrusivo
As rochas ígneas intrusivas ou plutônicas se formam sob a superfície da Terra quando o magma flui em câmaras subterrâneas ou túneis. A rocha não é exposta à atmosfera acima da superfície, então o magma esfria lentamente, o que permite que grandes cristais minerais se formem dentro da rocha. Demora milhares de anos para que rochas intrusivas se formem. Uma massa desse tipo de rocha é chamada de "intrusão". O granito é o tipo mais comum de rocha ígnea intrusiva.
Hypabassal
A rocha hippassal, ou subvulcânica, deriva do magma que se solidificou em uma profundidade rasa do vulcão, principalmente em diques e soleiras. Este tipo de rocha é formado entre rochas extrusivas e intrusivas, e similarmente tem uma textura entre as rochas intrusivas e extrusivas. Este tipo de rocha é mais raro do que as variedades extrusivas e intrusivas, e freqüentemente ocorre em fronteiras continentais e crostas oceânicas. Andesito é o tipo mais comum de rocha hipabásica.
Outros tipos
Mais de 700 tipos diferentes de rochas ígneas foram descobertos até o momento. Estes variam em termos de aparência, tamanho de grão e quantidade de tempo que leva para a lava esfriar. Uma regra comum das rochas ígneas é que, se a lava esfriar mais rapidamente, a rocha formada terá grãos mais finos e aparência vítrea; se a rocha esfriar mais lentamente, os grãos serão maiores e mais grosseiros. Rocha porfirítica é um tipo que tem uma combinação de grãos grandes e pequenos; isso ocorre quando uma rocha tem um histórico de resfriamento misto.