2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/216535We call a subfactor trivial if it is isomorphic with the obvious inclusion of N into matrices over N. We prove the existence of type II_1 factors M without non-trivial finite index subfactors. Equivalently, every M-M-bimodule with finite coupling constant, both as a left and as a right M-module, is a multiple of L^2(M). Our results rely on the recent work of Ioana, Peterson and Popa, who proved the existence of type II_1 factors without outer automorphisms.Smoothened presentation, final versionOperator Algebrastext