In the paper it is shown how a form of the classical FERMAT-EULER Theorem discovered by F. SMARANDACHE fits into the generalizations found by S.SCHWARZ, M.LASSAK and the author. Then we show how SMARANDACHE'S
algorithm can be used to effective computations of the so called group membership