Palindromic Permutations and Generalized Smarandache Palindromic Permutations

Similar documents
Notes on the symmetric group

Algebra homework 8 Homomorphisms, isomorphisms

Laurence Boxer and Ismet KARACA

A relation on 132-avoiding permutation patterns

Permutation Factorizations and Prime Parking Functions

Quadrant marked mesh patterns in 123-avoiding permutations

Algebra and Number Theory Exercise Set

Wada s Representations of the. Pure Braid Group of High Degree

CATEGORICAL SKEW LATTICES

Laurence Boxer and Ismet KARACA

Lossy compression of permutations

maps 1 to 5. Similarly, we compute (1 2)(4 7 8)(2 1)( ) = (1 5 8)(2 4 7).

arxiv: v1 [math.co] 31 Mar 2009

THE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES

The Binomial Theorem and Consequences

A Property Equivalent to n-permutability for Infinite Groups

Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem

ABSTRACT GENERALIZING THE FUTURAMA THEOREM. The 2010 episode of Futurama titled The Prisoner of Benda centers

Translates of (Anti) Fuzzy Submodules

A construction of short sequences containing all permutations of a set as subsequences Radomirovi, Saša

Abstract Algebra Solution of Assignment-1

4 Martingales in Discrete-Time

LECTURE 3: FREE CENTRAL LIMIT THEOREM AND FREE CUMULANTS

Congruence lattices of finite intransitive group acts

Cartesian Product of Two S-Valued Graphs

Comparing Partial Rankings

On the Pentagon Relations of Valued Quivers

ADDING A LOT OF COHEN REALS BY ADDING A FEW II. 1. Introduction

THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET

The Sorting Index and Permutation Codes. Abstract

Existentially closed models of the theory of differential fields with a cyclic automorphism

Fractional Graphs. Figure 1

Lecture 6. 1 Polynomial-time algorithms for the global min-cut problem

Game Theory: Normal Form Games

1 SE = Student Edition - TG = Teacher s Guide

COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS

Interpolation of κ-compactness and PCF

INTERVAL DISMANTLABLE LATTICES

Arborescent Architecture for Decentralized Supervisory Control of Discrete Event Systems

Math-Stat-491-Fall2014-Notes-V

The finite lattice representation problem and intervals in subgroup lattices of finite groups

ECE 586GT: Problem Set 1: Problems and Solutions Analysis of static games

Classifying Descents According to Parity

arxiv: v1 [math.co] 6 Oct 2009

Equivalence between Semimartingales and Itô Processes

Game Theory. Lecture Notes By Y. Narahari. Department of Computer Science and Automation Indian Institute of Science Bangalore, India August 2012

Ph.D. Preliminary Examination MICROECONOMIC THEORY Applied Economics Graduate Program June 2017

Some Bounds for the Singular Values of Matrices

arxiv: v1 [math.co] 8 Nov 2017

Inversion Formulae on Permutations Avoiding 321

Techniques for Calculating the Efficient Frontier

Yao s Minimax Principle

On the Number of Permutations Avoiding a Given Pattern

Structural Induction

Realizability of n-vertex Graphs with Prescribed Vertex Connectivity, Edge Connectivity, Minimum Degree, and Maximum Degree

Study of Monotonicity of Trinomial Arcs M(p, k, r, n) when 1 <α<+

Lie Algebras and Representation Theory Homework 7

The illustrated zoo of order-preserving functions

Hints on Some of the Exercises

Introduction to Probability Theory and Stochastic Processes for Finance Lecture Notes

Generalization by Collapse

Theorem 1.3. Every finite lattice has a congruence-preserving embedding to a finite atomistic lattice.

A Translation of Intersection and Union Types

Lecture 2: The Simple Story of 2-SAT

CONGRUENCES AND IDEALS IN A DISTRIBUTIVE LATTICE WITH RESPECT TO A DERIVATION

Probability. An intro for calculus students P= Figure 1: A normal integral

Optimal rebalancing of portfolios with transaction costs assuming constant risk aversion

Optimal stopping problems for a Brownian motion with a disorder on a finite interval

On equation. Boris Bartolomé. January 25 th, Göttingen Universität & Institut de Mathémathiques de Bordeaux

Hyperidentities in (xx)y xy Graph Algebras of Type (2,0)

Applied Mathematics Letters

Application of an Interval Backward Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem

On Existence of Equilibria. Bayesian Allocation-Mechanisms

UPWARD STABILITY TRANSFER FOR TAME ABSTRACT ELEMENTARY CLASSES

A No-Arbitrage Theorem for Uncertain Stock Model

Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF

COMBINATORIAL CONVOLUTION SUMS DERIVED FROM DIVISOR FUNCTIONS AND FAULHABER SUMS

Finite Memory and Imperfect Monitoring

ORDERED SEMIGROUPS HAVING THE P -PROPERTY. Niovi Kehayopulu, Michael Tsingelis

(2/3) 3 ((1 7/8) 2 + 1/2) = (2/3) 3 ((8/8 7/8) 2 + 1/2) (Work from inner parentheses outward) = (2/3) 3 ((1/8) 2 + 1/2) = (8/27) (1/64 + 1/2)

Brouwer, A.E.; Koolen, J.H.

5 Deduction in First-Order Logic

The reciprocal lattice. Daniele Toffoli December 2, / 24

Catalan functions and k-schur positivity

REMARKS ON K3 SURFACES WITH NON-SYMPLECTIC AUTOMORPHISMS OF ORDER 7

On the smallest abundant number not divisible by the first k primes

Cumulants and triangles in Erdős-Rényi random graphs

2 Deduction in Sentential Logic

NEW PERMUTATION CODING AND EQUIDISTRIBUTION OF SET-VALUED STATISTICS. Dominique Foata and Guo-Niu Han

Research Article On the Classification of Lattices Over Q( 3) Which Are Even Unimodular Z-Lattices of Rank 32

MAT 4250: Lecture 1 Eric Chung

CLASSIC TWO-STEP DURBIN-TYPE AND LEVINSON-TYPE ALGORITHMS FOR SKEW-SYMMETRIC TOEPLITZ MATRICES

Swaps and Inversions

ELEMENTS OF MONTE CARLO SIMULATION

Asymptotic Notation. Instructor: Laszlo Babai June 14, 2002

GUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv: v1 [math.lo] 25 Mar 2019

Topic #1: Evaluating and Simplifying Algebraic Expressions

Spike Statistics. File: spike statistics3.tex JV Stone Psychology Department, Sheffield University, England.

4: SINGLE-PERIOD MARKET MODELS

The proof of Twin Primes Conjecture. Author: Ramón Ruiz Barcelona, Spain August 2014

Transcription:

arxiv:math/0607742v2 [mathgm] 8 Sep 2007 Palindromic Permutations and Generalized Smarandache Palindromic Permutations Tèmítópé Gbóláhàn Jaíyéọlá Department of Mathematics, Obafemi Awolowo University, Ile Ife, Nigeria jaiyeolatemitope@yahoocom, tjayeola@oauifeedung Abstract The idea of leftright palindromic permutationslpps,rpps and leftright generalized Smarandache palindromic permutationslgspps,rgspps are introduced in symmetric groups S n of degree n It is shown that in S n, there exist a LPP and a RPP and they are uniquethis fact is demonstrated using S 2 and S 3 The dihedral group D n is shown to be generated by a RGSPP and a LGSPPthis is observed to be true in S 3 but the geometric interpretations of a RGSPP and a LGSPP are found not to be rotation and reflection respectively In S 3, each permutation is at least a RGSPP or a LGSPP There are 4 RGSPPs and 4 LGSPPs in S 3, while 2 permutations are both RGSPPs and LGSPPs A permutation in S n is shown to be a LPP or RPPLGSPP or RGSPP if and only if its inverse is a LPP or RPPLGSPP or RGSPP respectively Problems for future studies are raised 1 Introduction According to Ashbacher and Neirynck [1], an integer is said to be a palindrome if it reads the same forwards and backwards For example, 12321 is a palindromic number They also stated that it is easy to prove that the density of the palindromes is zero in the set of positive integers and they went ahead to answer the question on the density of generalized Smarandache palindromes GSPs by showing that the density of GSPs in the positive integers is approximately 011 Gregory [2], Smarandache [8] and Ramsharan [7] defined a generalized Smarandache palindrome GSP as any integer or number of the form a 1 a 2 a 3 a n a n a 3 a 2 a 1 or a 1 a 2 a 3 a n 1 a n a n 1 a 3 a 2 a 1 2000 Mathematics Subject Classification 20B30 Keywords and Phrases : permutation, Symmetric groups, palindromic permutations, generalized Smarandache palindromic permutations On Doctorate Programme at the University of Agriculture Abeokuta, Nigeria 1

where all a 1,a 2,a 3, a n N having one or more digits On the other hand, Hu [3] calls any integer or number of this form a Smarandache generalized palindromesgp His naming will not be used here the first naming will be adopted Numbers of this form have also been considered by Khoshnevisan [4], [5] and [6] For the sake of clarification, it must be mentioned that the possibility of the trivial case of enclosing the entire number is excluded For example, 12345 can be written as 12345 In this case, the number is simply said to be a palindrome or a palindromic number as it was mentioned earlieron So,everynumberisaGSPButthispossibilityiseliminatedbyrequiringthateach number be split into at least two segments if it is not a regular palindrome Trivially, since each regular palindrome is also a GSP and there are GSPs that are not regular palindromes, there are more GSPs than there are regular palindromes As mentioned by Gregory [2], very interesting GSPs are formed from smarandacheian sequences For an illustration he cited the smarandacheian sequence 11, 1221, 123321,, 123456789987654321, 1234567891010987654321, 12345678910111110987654321, and observed that all terms areall GSPs He also mentioned that it has been proved that the GSP 1234567891010987654321 is a prime and concluded his work by possing the question of How many primes are in the GSP sequence above? Special mappings such as morphismshomomorphisms, endomorphisms, automorphisms, isomorphisms etc have been useful in the study of the properties of most algebraic structureseg groupoids, quasigroups, loops, semigroups, groups etc In this work, the notion of palindromic permutations and generalized Smarandache palindromic permutations are introduced and studied using the symmetric group on the set N and this can now be viewed as the study of some palindromes and generalized Smarandache palindromes of numbers The idea of leftright palindromic permutationslpps,rpps and leftright generalized Smarandache palindromic permutationslgspps,rgspps are introduced in symmetric groups S n of degree n It is shown that in S n, there exist a LPP and a RPP and they are unique The dihedral group D n is shown to be generated by a RGSPP and a LGSPP but the geometric interpretations of a RGSPP and a LGSPP are found not to be rotation and reflection respectively In S 3, each permutation is at least a RGSPP or a LGSPP There are 4 RGSPPs and 4 LGSPPs in S 3, while 2 permutations are both RGSPPs and LGSPPs A permutation in S n is shown to be a LPP or RPPLGSPP or RGSPP if and only if its inverse is a LPP or RPPLGSPP or RGSPP respectively Some of these results are demonstrated with S 2 and S 3 Problems for future studies are raised But before then, some definitions and basic results on symmetric groups in classical group theory which shall be employed and used are highlighted first 2 Preliminaries Definition 21 Let X be a non-empty set The group of all permutations of X under composition of mappings is called the symmetric group on X and is denoted by S X A 2

subgroup of S X is called a permutation group on X ItiseasilyseenthatabijectionX Y inducesinanaturalwayanisomorphisms X = SY If X = n, S X is denoted by S n and called the symmetric group of degree n A permutation σ S n can be exhibited in the form σ1 σ2 σn consisting of two rows of integers; the top row has integers 1,2,,n usuallybut not necessarily in their natural order, and the bottom row has σi below i for each i = 1,2,,n This is called a two-row notation for a permutation There is a simpler, one-row notation for a special kind of permutation called cycle Definition 22 Let σ S n If there exists a list of distinct integers x 1,,x r N such that, σx i = x i+1, i = 1,,r 1, σx r = x 1, σx = x if x {x 1,,x r }, then σ is called a cycle of length r and denoted by x 1 x r Remark 21 A cycle of length 2 is called a transposition In other words, a cycle x 1 x r moves the integers x 1,,x r one step around a circle and leaves every other integer in N If σx = x, we say σ does not move x Trivially, any cycle of length 1 is the identity mapping I or e Note that the one-row notation for a cycle does not indicate the degree n, which has to be understood from the context Definition 23 Let X be a set of points in space, so that the distance dx,y between points x and y is given for all x,y X A permutation σ of X is called a symmetry of X if dσx,σy = dx,y x,y X Let X be the set of points on the vertices of a regular polygon which are labelled {1,2,,n} ie The group of symmetries of a regular polygon P n of n sides is called the dihedral group of degree n and denoted D n Remark 22 It must be noted that D n is a subgroup of S n ie D n S n Definition 24 Let S n be a symmetric group of degree n If σ S n such that σ =, σ1 σ2 σn then 3

1 the number N λ σ = 12 nσn σ1 is called the left palindromic valuelpv of σ 2 the number N ρ σ = 12 nσ1 σn is called the right palindromic valuerpv of σ Definition 25 Let σ S X such that x1 x σ = 2 x n σx 1 σx 2 σx n If X = N, then 1 σ is called a left palindromic permutationlpp if and only if the number N λ σ is a palindrome PP λ S X = {σ S X : σ is a LPP} 2 σ is called a right palindromic permutationrpp if and only if the number N ρ σ is a palindrome PP ρ S X = {σ S X : σ is a RPP} 3 σ is called a palindromic permutationpp if and only if it is both a LPP and a RPP PPS X = {σ S X : σ is a LPP and a RPP } = PP λ S X PP ρ S X Definition 26 Let σ S X such that x1 x σ = 2 x n σx 1 σx 2 σx n If X = N, then 1 σ is called a left generalized Smarandache palindromic permutationlgspp if and only if the number N λ σ is a GSP GSPP λ S X = {σ S X : σ is a LGSPP} 2 σ is called a right generalized Smarandache palindromic permutationrgspp if and only if the number N ρ σ is a GSP GSPP ρ S X = {σ S X : σ is a RGSPP} 3 σ is called a generalized Smarandache palindromic permutationgspp if and only if it is both a LGSPP and a RGSPP GSPPS X = {σ S X : σ is a LGSPP and a RGSPP } = GSPP λ S X GSPP ρ S X 4

Theorem 21 Cayley Theorem Every group is isomorphic to a permutation group Theorem 22 The dihedral group D n is a group of order 2n generated by two elements σ,τ satisfying σ n = e = τ 2 and τσ = σ n 1 τ, where σ = and τ = 1 n 2 3 Main Results Theorem 31 In any symmetric group S n of degree n, there exists 1 a LPP and it is unique 2 a RPP and it is unique But there does not exist a PP Proof Let σ S n, then 1 When then the number σ = x1 x 2 x n σx 1 σx 2 σx n σn = n,σn 1 = n 1,,σ2 = 2,σ1 = 1 N λ σ = 12 nσn σ2σ1 = 12 nn 21 is a palindrome which implies σ PP λ S n So, there exists a LPP The uniqueness is as follows Observe that σ = = I Since S n is a group for all n N and I is the identity elementmapping, then it must be unique 2 When then the number σ1 = n,σ2 = n 1,,σn 1 = 2,σn = 1 N ρ σ = 12 nσ1 σn 1σn = 12 nn 21 is a palindrome which implies σ PP ρ S n So, there exists a RPP The uniqueness is as follows If there exist two of such, say σ 1 and σ 2 in S n, then σ 1 = and σ σ 1 1 σ 1 2 σ 1 n 2 = σ 2 1 σ 2 2 σ 2 n 5

such that and are palindromes which implies and So, σ 1 = σ 2, thus σ is unique N ρ σ 1 = 12 nσ 1 1 σ 1 n 1σ 1 n N ρ σ 2 = 12 nσ 2 1 σ 2 n 1σ 2 n σ 1 1 = n,σ 1 2 = n 1,,σ 1 n 1 = 2,σ 1 n = 1 σ 2 1 = n,σ 2 2 = n 1,,σ 2 n 1 = 2,σ 2 n = 1 The proof of the last part is as follows Let us assume by contradiction that there exists a PP σ S n Then if σ =, σ1 σ2 σn and N λ σ = 12 nσn σ2σ1 N ρ σ = 12 nσ1 σn 1σn are palindromes So that σ S n is a PP Consequently, n = σn = 1,n 1 = σn 1 = 2,,1 = σ1 = n, so that σ is not a bijection which means σ S n This is a contradiction Hence, no PP exist Example 31 Let us consider the symmetric group S 2 of degree 2 There are two permutations of the set {1,2} given by 1 2 1 2 I = and δ = 1 2 2 1 N ρ I = 1212 = 1212,N λ I = 1221 or N λ I = 1221, N ρ δ = 1221 or N ρ δ = 1221 and N λ δ = 1212 = 1212 So, I and δ are both RGSPPs and LGSPPs which implies I and δ are GSPPs ie I,δ GSPP ρ S 2 and I,δ GSPP λ S 2 I,δ GSPPS 2 Therefore, GSPPS 2 = S 2 Furthermore, it can be seen that the result in Theorem 31 is true for S 2 because only I is a LPP and only δ is a RPP There is definitely no PP as the theorem says 6

Example 32 Let us consider the symmetric group S 3 of degree 3 There are six permutations of the set {1,2,3} given by 1 2 3 1 2 3 1 2 3 e = I =,σ 1 2 3 1 =,σ 2 3 1 2 =, 3 1 2 1 2 3 1 2 3 1 2 3 τ 1 =,τ 1 3 2 2 = and τ 3 2 1 3 = 2 1 3 As claimed in Theorem 31, the unique LPP in S 3 is I while the unique RPP in S 3 is τ 2 There is no PP as the theorem says Lemma 31 In S 3, the following are true 1 At least σ GSPP ρ S 3 or σ GSPP λ S 3 σ S 3 2 GSPP ρ S 3 = 4, GSPP λ S 3 = 4 and GSPPS 3 = 2 Proof Observe the following : N λ I = 123321, N ρ I = 123123 = 123123 N λ σ 1 = 123132, N ρ σ 1 = 123231 = 123231 N λ σ 2 = 123213, N ρ σ 2 = 123312 = 123312 N λ τ 1 = 123231 = 123231, N ρ τ 1 = 123132 N λ τ 2 = 123123 = 123123, N ρ τ 2 = 123321 = 123321 N λ τ 3 = 123312 = 123312, N ρ τ 3 = 123213 So, GSPP λ S 3 = {I,τ 1,τ 2,τ 3 } and GSPP ρ S 3 = {I,σ 1,σ 2,τ 2 } Thus, 1 is true Therefore, GSPP ρ S 3 = 4, GSPP λ S 3 = 4 and GSPPS 3 = GSPP ρ S 3 GSPP λ S 3 = 2 So, 2 is true Lemma 32 S 3 is generated by a RGSPP and a LGSPP Proof Recall from Example 32 that S 3 = {I = e,σ 1,σ 2,τ 1,τ 2,τ 3 } If σ = σ 1 and τ = τ 1, then it is easy to verify that σ 2 = σ 2, σ 3 = e, τ 2 = e, στ = τ 3, σ 2 τ = τ 2 = τσ hence, S 3 = {e,σ,σ 2,τ,στ,σ 2 τ 3 } S 3 = σ,τ From the proof Lemma 31, σ is a RGSPP and τ is a LGSPP This justifies the claim 7

Remark 31 In Lemma 32, S 3 is generated by a RGSPP and a LGSPP Could this statement be true for all S n of degree n? Or could it be true for some subgroups of S n? Also, it is interesting to know the geometric meaning of a RGSPP and a LGSPP So two questions are possed and the two are answered Question 31 1 Is the symmetric group S n of degree n generated by a RGSPP and a LGSPP? If not, what permutation groups is generated by a RGSPP and a LGSPP? 2 Are the geometric interpretations of a RGSPP and a LGSPP rotation and reflection respectively? Theorem 32 The dihedral group D n is generated by a RGSPP and a LGSPP ie D n = σ,τ where σ GSPP ρ S n and τ GSPP λ S n Proof Recall from Theorem22 that the dihedral group D n = σ,τ where σ = = and τ = 2 3 1 1 n 2 Observe that N ρ σ = 123 n23 n1 = 123 n23 n1, N λ σ = 123 n1n 32 N ρ τ = 12 n1n 2, N λ τ = 12 n2 n1 = 12 n2 n1 So, σ GSPP ρ S n and τ GSPP λ S n Therefore, the dihedral group D n is generated by a RGSPP and a LGSPP Remark 32 In Lemma 32, it was shown that S 3 is generated by a RGSPP and a LGSPP Considering Theorem 32 when n = 3, it can be deduced that D 3 will be generated by a RGSPP and a LGSPP Recall that D 3 = 2 3 = 6, so S 3 = D 3 Thus Theorem 32 generalizes Lemma 32 Rotations and Reflections Geometrically, in Theorem 32, σ is a rotation of the regular polygon P n through an angle 2π in its own plane, and τ is a reflection or a turning over n in the diameter through the vertex 1 It looks like a RGSPP and a LGSPP are formed by rotation and reflection respectively But there is a contradiction in S 4 which can be traced from a subgroup of S 4 particularly the Klein four-group The Klein four-group is the group of symmetries of a four sided non-regular polygonrectangle The elements are: 1 2 3 4 1 2 3 4 1 2 3 4 e = I =,δ 1 2 3 4 1 =,δ 3 4 1 2 2 = 2 1 4 3 and δ 3 = 8 1 2 3 4 4 3 2 1

Observe the following: N ρ δ 1 = 12343412 = 12343412, N λ δ 1 = 12342143 N ρ δ 2 = 12342143 = 12342143, N λ δ 2 = 12343412 = 12343412 N ρ δ 3 = 12344321 = 12344321, N λ δ 3 = 12341234 = 12341234 So, δ 1 is a RGSPP while δ 2 is a LGSPP and δ 3 is a GSPP Geometrically, δ 1 is a rotation through an angle of π while δ 2 and δ 3 are reflections in the axes of symmetry parallel to the sides Thus δ 3 which is a GSPP is both a reflection and a rotation, which is impossible Therefore, the geometric meaning of a RGSPP and a LGSPP are not rotation and reflection respectively It is difficult to really ascertain the geometric meaning of a RGSPP and a LGSPP if at all it exist How beautiful will it be if GSPP ρ S n, PP ρ S n, GSPP λ S n, PP λ S n, GSPPS n and PPS n form algebraic structures under the operation of map composition Theorem 33 Let S n be a symmetric group of degree n If σ S n, then 1 σ PP λ S n σ 1 PP λ S n 2 σ PP ρ S n σ 1 PP ρ S n 3 I PP λ S n Proof 1 σ PP λ S n implies N λ σ = 12 nσn σ2σ1 is a palindrome Consequently, σn = n,σn 1 = n 1,,σ2 = 2,σ1 = 1 So, N λ σ 1 = σ1σ2 σnn 21 = 12 nn 21 σ 1 PP λ S n The converse is similarly proved by carrying out the reverse of the procedure above 2 σ PP ρ S n implies N ρ σ = 12 nσ1 σn 1σn is a palindrome Consequently, σ1 = n,σ2 = n 1,,σn 1 = 2,σn = 1 So, N ρ σ 1 = σ1 σn 1σn12 n = n 2112 n σ 1 PP ρ S n The converse is similarly proved by carrying out the reverse of the procedure above 9

3 I = N λ I = 12 nn 21 I PP λ S n Theorem 34 Let S n be a symmetric group of degree n If σ S n, then 1 σ GSPP λ S n σ 1 GSPP λ S n 2 σ GSPP ρ S n σ 1 GSPP ρ S n 3 I GSPPS n Proof If σ S n, then So, and σ = σ1 σ2 σn N λ σ = 12 nσn σ2σ1 N ρ σ = 12 nσ1 σn 1σn are numbers with even number of digits whether n is an even or odd number Thus, N ρ σ and N λ σ are GSPs defined by and not a 1 a 2 a 3 a n a n a 3 a 2 a 1 a 1 a 2 a 3 a n 1 a n a n 1 a 3 a 2 a 1 where all a 1,a 2,a 3, a n N having one or more digits because the first has even number of digitsor grouped digits while the second has odd number of digitsor grouped digits The following grouping notations will be used: a i n i=1 = a 1a 2 a 3 a n and [a i ] n i=1 = a na n 1 a n 2 a 3 a 2 a 1 Let σ S n such that where x i N i N σ = x1 x 2 x n σx 1 σx 2 σx n 10

1 So, σ GSPP λ S n implies N λ σ = x i1 n 1 i 1 =1 x i 2 n 2 i 2 =n 1 +1 x i 3 n 3 i 3 =n 2 +1 x i n 1 n n 1 i n 1 =n n 2 +1 x i n nn i n=n n 1 +1 [σx in ] nn i n=n n 1 +1 [σx i n 1 ] n n 1 i n 1 =n n 2 +1 [σx i 3 ] n 3 i 3 =n 2 +1 [σx i 2 ] n 2 i 2 =n 1 +1 [σx i 1 ] n 1 i 1 =1 is a GSP where x ij N i j N, j N and n n = n The interval of integers [1,n] is partitioned into [1,n] = [1,n 1 ] [n 1 +1,n 2 ] [n n 2 +1,n n 1 ] [n n 1,n n ] The length of each grouping n j i j or [ ] n j i j is determined by the corresponding interval of integers [n i +1,n i+1 ] and it is a matter of choice in other to make the number N λ σ a GSP Now that N λ σ is a GSP, the following are true: x in nn i n=n n 1 +1 = [σx i n ] nn i n=n n 1 +1 [x in ] nn i n=n n 1 +1 = σx i n nn i n=n n 1 +1 x in 1 n n 1 i n 1 =n n 2 +1 = [σx i n 1 ] n n 1 i n 1 =n n 2 +1 [x i n 1 ] n n 1 i n 1 =n n 2 +1 = σx i n 1 n n 1 i n 1 =n n 2 +1 x i2 n 2 i 2 =n 1 +1 = [σx i 2 ] n 2 i 2 =n 1 +1 [x i2 ] n 2 i 2 =n 1 +1 = σx i 2 n 2 i 2 =n 1 +1 Therefore, since x i1 n 1 i 1 =1 = [σx i 1 ] n 1 i 1 =1 [x i1 ] n 1 i 1 =1 = σx i 1 n 1 i 1 =1 σ = x1 x i1 x n1 x nn 1 +1 x jk x nn σx 1 σx i1 σx n1 σx nn 1 +1 σx jk σx nn then σ 1 = so σx1 σx i1 σx n1 σx nn 1+1 σx jk σx nn, x 1 x i1 x n1 x nn 1 +1 x jk x nn N λ σ 1 = σx i1 n 1 i 1 =1 σx i 2 n 2 i 2 =n 1 +1 σx i 3 n 3 i 3 =n 2 +1 σx i n 1 n n 1 i n 1 =n n 2 +1 σx in nn i n=n n 1 +1 [x i n ] nn i n=n n 1 +1 [x i n 1 ] n n 1 i n 1 =n n 2 +1 [x i 3 ] n 3 i 3 =n 2 +1 [x i 2 ] n 2 i 2 =n 1 +1 [x i 1 ] n 1 i 1 =1 is a GSP hence, σ 1 GSPP λ S n The converse can be proved in a similar way since σ 1 1 = σ, 11

2 Also, σ GSPP ρ S n implies N ρ σ = x i1 n 1 i 1 =1 x i 2 n 2 i 2 =n 1 +1 x i 3 n 3 i 3 =n 2 +1 x i n 1 n n 1 i n 1 =n n 2 +1 x i n nn i n=n n 1 +1 σx i1 n 1 i 1 =1 σx i 2 n 2 i 2 =n 1 +1 σx i 3 n 3 i 3 =n 2 +1 σx i n 1 n n 1 i n 1 =n n 2 +1 σx i n nn i n=n n 1 +1 is a GSP where x ij N i j N, j N and n n = n The interval of integers [1,n] is partitioned into [1,n] = [1,n 1 ] [n 1 +1,n 2 ] [n n 2 +1,n n 1 ] [n n 1,n n ] Thelengthofeachgrouping n j i j isdeterminedbythecorrespondingintervalofintegers [n i +1,n i+1 ] and it is a matter of choice in other to make the number N ρ σ a GSP Now that N ρ σ is a GSP, the following are true: Therefore, since x in nn i n=n n 1 +1 = σx i 1 n 1 i 1 =1 x in 1 n n 1 i n 1 =n n 2 +1 = σx i 2 n 2 i 2 =n 1 +1 x i2 n 2 i 2 =n 1 +1 = σx i n 1 n n 1 i n 1 =n n 2 +1 x i1 n 1 i 1 =1 = σx i n nn i n=n n 1 +1 σ = x1 x i1 x n1 x nn 1 +1 x jk x nn σx 1 σx i1 σx n1 σx nn 1 +1 σx jk σx nn then σ 1 σx1 σx = i1 σx n1 σx nn 1+1 σx jk σx nn x 1 x i1 x n1 x nn 1 +1 x jk x nn so N ρ σ 1 = σx i1 n 1 i 1 =1 σx i 2 n 2 i 2 =n 1 +1 σx i 3 n 3 i 3 =n 2 +1 σx i n 1 n n 1 i n 1 =n n 2 +1 σx in nn i n=n n 1 +1 x i 1 n 1 i 1 =1 x i 2 n 2 i 2 =n 1 +1 x i 3 n 3 i 3 =n 2 +1 x i n 1 n n 1 i n 1 =n n 2 +1 x i n nn i n=n n 1 +1,, 3 is a GSP hence, σ 1 GSPP ρ S n The converse can be proved in a similar way since σ 1 1 = σ I = N λ I = 12 nn 21 = 12 nn 21 I GSPP λ S n and thus, I GSPPS n N ρ I = 12 n12 n I GSPP ρ S n 12

4 Conclusion and Future studies By Theorem 31, it is certainly true in every symmetric group S n of degree n there exist at least a RGSPP and a LGSPPalthough they are actually RPP and LPP Following Example 31, there are 2 RGSPPs, 2 LGSPPs and 2 GSPPs in S 2 while from Lemma 31, there are 4 RGSPPs, 4 LGSPPs and 2 GSPPs in S 3 Also, it can be observed that GSPP ρ S 2 + GSPP λ S 2 GSPPS 2 = 2! = S 2 and GSPP ρ S 3 + GSPP λ S 3 GSPPS 3 = 3! = S 3 The following problems are open for further studies Problem 41 1 How many RGSPPs, LGSPPs and GSPPs are in S n? 2 Does there exist functions f 1,f 2,f 3 : N N such that GSPP ρ S n = f 1 n, GSPP λ S n = f 2 n and GSPPS n = f 3 n? 3 In general, does the formula GSPP ρ S n + GSPP λ S n GSPPS n = n! = S n? hold If not, for what other n > 3 is it true? The GAP package or any other appropriate mathematical package could be helpful in investigating the solutions to them If the first question is answered, then the number of palindromes that can be formed from the set {1,2, n} can be known since in the elements of S n, the bottom row gives all possible permutation of the integers 1,2, n The Cayley TheoremTheorem21 can also be used to make a further study on generalized Smarandache palindromic permutations In this work, N was the focus and it does not contain the integer zero This weakness can be strengthened by considering the set Z n = {0,1,2, n 1} n N Recall that Z n,+ is a group and so by Theorem 21 Z n,+ is isomorphic to a permutation group particularly, one can consider a subgroup of the symmetric group S Zn References [1] C Ashbacher, L Neirynck, The density of generalized Smarandache palindromes, http://wwwgallupunmedu/ smarandache/generalizedpalindromeshtm [2] G Gregory, Generalized Smarandache palindromes, http://wwwgallupunmedu/ smarandache/gsphtm [3] C Hu2000, On Smarandache generalized palindrome, Second International Conference on Smarandache Type Notions In Mathematics and Quantum Physics, University of Craiova, Craiova Romania, atlas-conferencescom/c/a/f/t/25htm 13

[4] M Khoshnevisan 2003, Manuscript [5] M Khoshnevisan2003, Generalized Smarandache palindrome, Mathematics Magazine, Aurora, Canada [6] M Khoshnevisan 2003, Proposed problem 1062, The PME Journal, USA, Vol 11, No 9, p 501 [7] K Ramsharan 2003, Manusript, wwwresearchattcom/ njas/sequences/a082461 [8] F Smarandache 2006, Sequences of Numbers Involved in unsolved problems, http://wwwgallupunmedu/ smarandache/ebooks-otherformatshtm, 140pp 14