We define a notion of radical in a BCI-algebra, 
and some fundamental results concerning this notation 
are proved. The notion of $\alpha$-ideal is introduced, 
and we discuss p-ideals in BCI-algebras and their 
relations with $\alpha$-ideals.