Finite ring

From Commalg