En esta tesis se estudian álgebras de Nichols sobre grupos no abelianos. Un álgebra de Nichols viene dada por un par (X, q), donde X es un rack y q es un 2-cociclo en una teoría de cohomología no abeliana de racks. En este trabajo definimos racks de tipo D y demostramos que los racks simples y finitos de tipo D dan álgebras de Nichols de dimensión infinita para todo 2-cocyclo q. Muchas de las clases de conjugación de los grupos esporádicos, o de An, o de Sn son racks de tipo D. Con estos resultados y las técnicas que desarrollamos a partir de la clasificación de álgebras de Nichols de tipo diagonal de dimensión finita hecha por Heckenberger demostramos que no existen álgebras de Nichols de dimensión finita sobre G, donde G = An o G = Sn o G es un grupo simple esporádico distinto de Fi22, B o M. Como corolario, el método del levante nos da la clasificación de álgebras de Hopf punteadas de dimensión finita sobre estos grupos. En un apéndice presentamos brevemente un software que desarrollamos para poder realizar cálculos relacionados con racks y álgebras de Nichols. Este software resultó ser una poderosa herramienta para crear, entender y aplicar las técnicas que dan condiciones que garantizan que un par (X, q) (o una clase de conjugación de un grupo finito dado) dé solamente álgebras de Nichols de dimensión finita.