La roca de lava, también conocida como roca ígnea, se forma cuando la lava volcánica o el magma se enfrían y solidifican. Es uno de los tres tipos principales de rocas que se encuentran en la Tierra, junto con las metamórficas y sedimentarias. Por lo general, la erupción ocurre cuando hay un aumento de temperatura, una disminución de la presión o un cambio en la composición. Hay más de 700 tipos de rocas ígneas, todas las cuales tienen diversas propiedades; sin embargo, todos pueden clasificarse en tres categorías.
Extrusivo
Las rocas extrusivas, también conocidas como volcánicas, son un tipo de roca ígnea que se forma en la superficie de la corteza como resultado de la actividad volcánica. Este tipo de roca ocurre cuando la lava fluye sobre o sobre la superficie de la Tierra y se enfría rápidamente. La lava proviene de la capa superior del manto, de 30 a 90 millas debajo de la superficie, y se enfría en unas pocas semanas. Debido a que el magma se enfría y solidifica rápidamente, los cristales que se forman no tienen tiempo para crecer mucho y, por lo tanto, la mayoría de las rocas extrusivas son de grano fino. El tipo más común de roca extrusiva es el basalto.
Intruso
Las rocas ígneas intrusivas o plutónicas se forman debajo de la superficie de la Tierra cuando el magma fluye hacia cámaras o túneles subterráneos. La roca no está expuesta a la atmósfera sobre la superficie, por lo que el magma se enfría lentamente, lo que permite que se formen grandes cristales minerales dentro de la roca. Se necesitan miles de años para que se formen las rocas intrusivas. Una masa de este tipo de roca se denomina "intrusión". El granito es el tipo más común de roca ígnea intrusiva.
Hypabassal
La roca hipobassal o subvolcánica se deriva del magma que se ha solidificado a poca profundidad del volcán, principalmente en diques y alféizares. Este tipo de roca se forma entre roca extrusiva e intrusiva, y de manera similar tiene una textura entre la roca intrusiva y extrusiva. Este tipo de roca es más raro que las variedades extrusivas e intrusivas, y a menudo se encuentra en los límites continentales y las costras oceánicas. La andesita es el tipo más común de roca hipabassal.
Otros tipos
Hasta la fecha se han descubierto más de 700 tipos diferentes de rocas ígneas. Estos varían en términos de apariencia, tamaño de grano y cantidad de tiempo que tarda la lava en enfriarse. Una regla común de las rocas ígneas es que si la lava se enfría a un ritmo más rápido, la roca formada tendrá granos más finos y una apariencia vítrea; si la roca se enfría a un ritmo más lento, los granos serán más grandes y más gruesos. La roca porfirítica es un tipo que tiene una combinación de granos grandes y pequeños; esto ocurre cuando una roca tiene un historial de enfriamiento mixto.