Roca de lavă, cunoscută și sub denumirea de rocă magmatică, se formează atunci când lava vulcanică sau magma se răcește și se solidifică. Este unul dintre cele trei tipuri principale de roci găsite pe Pământ, alături de metamorfe și sedimentare. De obicei, erupția are loc atunci când există o creștere a temperaturii, o scădere a presiunii sau o modificare a compoziției. Există peste 700 de tipuri de roci magmatice, toate având diverse proprietăți; cu toate acestea, toate pot fi clasificate în trei categorii.
Extruziv
Rocile extruzive, cunoscute și sub numele de vulcanice, sunt un tip de rocă magmatică care se formează la suprafața scoarței ca urmare a activității vulcanice. Acest tip de rocă apare atunci când lava curge pe sau deasupra suprafeței Pământului și se răcește rapid. Lava provine din stratul superior al mantalei, la 30 până la 90 de mile sub suprafață și se răcește în câteva săptămâni. Deoarece magma se răcește și se solidifică rapid, cristalele care se formează nu au timp să crească foarte mare și, prin urmare, majoritatea rocilor extruzive sunt cu granulație fină. Cel mai comun tip de rocă extruzivă este bazaltul.
Intruziv
Roci maghioase sau plutonice, magmatice, se formează sub suprafața Pământului atunci când magma curge în camere subterane sau tuneluri. Roca nu este expusă la atmosfera de deasupra suprafeței, astfel încât magma se răcește încet, ceea ce permite formarea de cristale minerale mari în roca. Durează mii de ani până se formează roci intruzive. O masă de acest tip de rocă se numește „intruziune”. Granitul este cel mai comun tip de rocă magmatică intruzivă.
Hipabassal
Roca hipabasală sau subvolcanică derivă din magma care s-a solidificat la o adâncime mică a vulcanului, în principal în diguri și praguri. Acest tip de rocă se formează între rocă extruzivă și intruzivă și, în mod similar, are o textură între roca intruzivă și extruzivă. Acest tip de rocă este mai rar decât soiurile extruzive și intruzive și apare adesea la granițele continentale și crustele oceanice. Andezitul este cel mai comun tip de rocă hipabasală.
Alte tipuri
Până în prezent au fost descoperite peste 700 de tipuri diferite de roci magmatice. Acestea variază în ceea ce privește aspectul, mărimea bobului și cantitatea de timp necesară răcirii lavei. O regulă obișnuită a rocii magmatice este aceea că, dacă lava se răcește mai repede, roca formată va avea boabe mai fine și va avea un aspect sticlos; dacă roca se răcește la un ritm mai lent, boabele vor fi mai mari și mai grosiere. Roca porfirică este un tip care are o combinație de boabe mari și mici; acest lucru se întâmplă atunci când o piatră are o istorie de răcire mixtă.