Comprendre oui, c'est accessible. C'est l'étude générale des anneaux, c'est la même chose que quand on factorise un nombre en produits de facteurs premiers.
Pour les démonstrations, tu peux chercher la preuve que A factoriel implique A[X] factoriel (thm de Gauss je crois).
Puis ensuite pour le fun on peut regarder les irréductibles de A[X], pour A=Z,R,C,F2...