b'\n_START_ARTICLE_\nFator principal\n_START_PARAGRAPH_\nEm \xc3\xa1lgebra, o fator principal de uma \\mathcal{J}-classe J de um semigrupo S \xc3\xa9 igual a J se J \xc3\xa9 o n\xc3\xbacleo de S, e a J \\cup \\{0\\} caso contr\xc3\xa1rio.'