354 research outputs found
Cayley's Theorem
The article formalizes the Cayley's theorem saying that every group G is isomorphic to a subgroup of the symmetric group on G.Institute of Informatics, University of BiaĆystok, Sosnowa 64, 15-887 BiaĆystok, PolandGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. Monoids. Formalized Mathematics, 3(2):213-225, 1992.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.CzesĆaw ByliĆski. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.CzesĆaw ByliĆski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Agata DarmochwaĆ. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Katarzyna Jankowska. Transpose matrices and groups of permutations. Formalized Mathematics, 2(5):711-717, 1991.Artur KorniĆowicz. The definition and basic properties of topological groups. Formalized Mathematics, 7(2):217-225, 1998.Andrzej Trybulec. Classes of independent partitions. Formalized Mathematics, 9(3):623-625, 2001.Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.Wojciech A. Trybulec and MichaĆ J. Trybulec. Homomorphisms and isomorphisms of groups. Quotient group. Formalized Mathematics, 2(4):573-578, 1991
SMARANDACHE LOOPS
In this paper we study the notion of Smarandache loops. We obtain some interesting results about them. The notion of Smarandache semigroups homomorphism is studied as well in this paper. Using the definition of homomorphism of Smarandache semigroups we give the classical theorem of Cayley for Smarandache semigroups. We also analyze the Smarandache loop homomorphism. We pose the problem of finding a Cayley theorem for Smarandache loops
- âŠ