 Research
 Open Access
 Published:
Generalized Fibonacci sequences in groupoids
Advances in Difference Equations volume 2013, Article number: 26 (2013)
Abstract
In this paper, we introduce the notion of generalized Fibonacci sequences over a groupoid and discuss it in particular for the case where the groupoid contains idempotents and preidempotents. Using the notion of Smarandachetype Palgebra, we obtain several relations on groupoids which are derived from generalized Fibonacci sequences.
MSC:11B39, 20N02, 06F35.
1 Introduction
Fibonaccinumbers have been studied in many different forms for centuries and the literature on the subject is consequently incredibly vast. Surveys and connections of the type just mentioned are provided in [1] and [2] for a very minimal set of examples of such texts, while in [3] an application (observation) concerns itself with the theory of a particular class of means which has apparently not been studied in the fashion done there by two of the authors of the present paper. Han et al. [4] studied a Fibonacci norm of positive integers, and they presented several conjectures and observations.
Given the usual Fibonaccisequences [1, 2] and other sequences of this type, one is naturally interested in considering what may happen in more general circumstances. Thus, one may consider what happens if one replaces the (positive) integers by the modulo integer n or what happens in even more general circumstances. The most general circumstance we will deal with in this paper is the situation where (X,\ast ) is actually a groupoid, i.e., the product operation ∗ is a binary operation, where we assume no restrictions a priori. Han et al. [5] considered several properties of Fibonacci sequences in arbitrary groupoids.
The notion of BCKalgebras was introduced by Iséki and Imai in 1966. This notion originated from both set theory and classical and nonclassical propositional calculi. The operation ∗ in BCKalgebras is an analogue of the settheoretical difference. Nowadays, BCKalgebras have been studied by many authors and they have been applied to many branches of mathematics such as group theory, functional analysis, probability theory, topology and fuzzy theory [6–8] and so on. We refer to [9, 10] for further information on \mathit{BCK}/\mathit{BCI}algebras.
Let (X,\ast ) be a groupoid (or an algebra). Then (X,\ast ) is a Smarandachetype Palgebra if it contains a subalgebra (Y,\ast ), where Y is nontrivial, i.e., Y\ge 2, or Y contains at least two distinct elements, and (Y,\ast ) is itself of type P. Thus, we have Smarandachetype semigroups (the type Palgebra is a semigroup), Smarandachetype groups (the type Palgebra is a group), Smarandachetype Abelian groups (the type Palgebra is an Abelian group). Smarandache semigroup in the sense of Kandasamy is in fact a Smarandachetype group (see [11]). Smarandachetype groups are of course a larger class than Kandasamy’s Smarandache semigroups since they may include nonassociative algebras as well.
In this paper, we introduce the notion of generalized Fibonacci sequences over a groupoid and discuss it in particular for the case where the groupoid contains idempotents and preidempotents. Using the notion of Smarandachetype Palgebra, we obtain several relations on groupoids which are derived from generalized Fibonacci sequences.
2 Preliminaries
Given a sequence \u3008{\phi}_{0},{\phi}_{1},\dots ,{\phi}_{n},\dots \u3009 of elements of X, it is a left∗Fibonacci sequence if {\phi}_{n+2}={\phi}_{n+1}\ast {\phi}_{n} for n\ge 0, and a right∗Fibonacci sequence if {\phi}_{n+2}={\phi}_{n}\ast {\phi}_{n+1} for n\ge 0. Unless (X,\ast ) is commutative, i.e., x\ast y=y\ast x for all x,y\in X, there is no reason to assume that left∗Fibonacci sequences are right∗Fibonacci sequences and conversely. We will begin with a collection of examples to note what, if anything, can be concluded about such sequences.
Example 2.1 Let (X,\ast ) be a leftzerosemigroup, i.e., x\ast y:=x for any x,y\in X. Then {\phi}_{2}={\phi}_{1}\ast {\phi}_{0}={\phi}_{1}, {\phi}_{3}={\phi}_{2}\ast {\phi}_{1}={\phi}_{2}={\phi}_{1}, {\phi}_{4}={\phi}_{3}\ast {\phi}_{2}={\phi}_{3}={\phi}_{1}, … for any {\phi}_{0},{\phi}_{1}\in X. It follows that {\u3008{\phi}_{n}\u3009}_{L}=\u3008{\phi}_{0},{\phi}_{1},{\phi}_{1},\dots \u3009. Similarly, {\phi}_{2}={\phi}_{0}\ast {\phi}_{1}={\phi}_{0}, {\phi}_{3}={\phi}_{1}\ast {\phi}_{2}={\phi}_{1}, {\phi}_{4}={\phi}_{2}\ast {\phi}_{3}={\phi}_{2}={\phi}_{0}, … for any {\phi}_{0},{\phi}_{1}\in X. It follows that {\u3008{\phi}_{n}\u3009}_{R}=\u3008{\phi}_{0},{\phi}_{1},{\phi}_{0},{\phi}_{1},{\phi}_{0},{\phi}_{1},\dots \u3009. In particular, if we let {\phi}_{0}:=0, {\phi}_{1}:=1, then {\u3008{\phi}_{n}\u3009}_{L}=\u30080,1,1,1,1,\dots \u3009 and {\u3008{\phi}_{n}\u3009}_{R}=\u30080,1,0,1,0,1,\dots \u3009.
Theorem 2.2 Let {\u3008{\phi}_{n}\u3009}_{L} and {\u3008{\phi}_{n}\u3009}_{R} be the left∗Fibonacci and the right∗Fibonacci sequences generated by {\phi}_{0} and {\phi}_{1}. Then {\u3008{\phi}_{n}\u3009}_{L}={\u3008{\phi}_{n}\u3009}_{R} if and only if {\phi}_{n}\ast ({\phi}_{n1}\ast {\phi}_{n})=({\phi}_{n}\ast {\phi}_{n1})\ast {\phi}_{n} for any n\ge 1.
A dalgebra [12](X,\ast ,0) is an algebra satisfying the following axioms: (D1) x\ast x=0 for all x\in X; (D2) 0\ast x=0 for all x\in X; (D3) x\ast y=y\ast x=0 if and only if x=y.
A BCKalgebra [13] is a dalgebra X satisfying the following additional axioms:
(D4) ((x\ast y)\ast (x\ast z))\ast (z\ast y)=0,
(D5) (x\ast (x\ast y))\ast y=0 for all x,y,z\in X.
Given algebra types (X,\ast ) (type{P}_{1}) and (X,\circ ) (type{P}_{2}), we will consider them to be Smarandache disjoint [11] if the following two conditions hold:

(i)
If (X,\ast ) is a type{P}_{1}algebra with X>1, then it cannot be a Smarandachetype{P}_{2}algebra (X,\circ );

(ii)
If (X,\circ ) is a type{P}_{2}algebra with X>1, then it cannot be a Smarandachetype{P}_{1}algebra (X,\ast ).
This condition does not exclude the existence of algebras (X,\diamond ) which are both Smarandachetype{P}_{1}algebras and Smarandachetype{P}_{2}algebras. It is known that semigroups and dalgebras are Smarandache disjoint [11].
It is known that if (X,\ast ,0) is a dalgebra, then it cannot be a Smarandachetype semigroup, and if (X,\ast ) is a semigroup, then it cannot be a Smarandachetype dalgebra [11].
3 Generalized Fibonacci sequences over (X,\ast )
Let {Z}_{2}[[X]] denote the powerseries ring over the field {Z}_{2}=\{0,1\}. Given p(x)={p}_{0}+{p}_{1}x+{p}_{2}{x}^{2}+\cdots \in {Z}_{2}[[X]], we associate a sequence {\bigwedge}_{p(x)}=\{{\lambda}_{0},{\lambda}_{1},{\lambda}_{2},\dots \}, where {\lambda}_{i}=L if {p}_{i}=0 and {\lambda}_{i}=R if {p}_{i}=1, which gives some information to construct a generalized Fibonacci sequence in a groupoid (X,\ast ).
Given a groupoid (X,\ast ) and a powerseries p(x)\in {Z}_{2}[[X]], if a,b\in X, we construct a sequence as follows:
where
We call such a sequence {[a,b]}_{p(x)} a p(x)Fibonacci sequence over (X,\ast ) or a generalized Fibonacci sequence over (X,\ast ).
Example 3.1 Let (X,\ast ) be a groupoid and a,b\in X. If p(x)=1+0x+1{x}^{2}+1{x}^{3}+0{x}^{4}+\cdots is a sequence in {Z}_{2}[[X]], then we obtain {\bigwedge}_{p(x)}=\{R,L,R,R,L,L,\dots \} and its p(x)Fibonacci sequence {[a,b]}_{p(x)} can be denoted as follows: {[a,b]}_{p(x)}:=\{a,b,{u}_{0},{u}_{1},{u}_{2},\dots \}, where {u}_{0}=a\ast b, {u}_{1}={u}_{0}\ast b=(a\ast b)\ast b, {u}_{2}={u}_{0}\ast {u}_{1}=(a\ast b)\ast [(a\ast b)\ast b], {u}_{3}={u}_{1}\ast {u}_{2}=[(a\ast b)\ast b]\ast \{(a\ast b)\ast [(a\ast b)\ast b]\}, {u}_{4}={u}_{3}\ast {u}_{2}=[[(a\ast b)\ast b]\ast \{(a\ast b)\ast [(a\ast b)\ast b]\}]\ast [(a\ast b)\ast [(a\ast b)\ast b]], … .
Example 3.2 (a) Let (X,\ast ) be a rightzero semigroup and let {p}_{0}(x):=0+0{x}^{1}+0{x}^{2}+0{x}^{3}+\cdots . Then {\bigwedge}_{{p}_{0}(x)}=\{L,L,L,\dots \} and hence {[a,b]}_{{p}_{0}(x)}=\{a,b,b\ast a=a,(b\ast a)\ast b=b,[(b\ast a)\ast b]\ast (b\ast a)=a,\dots \}=\{a,b,a,b,a,b,\dots \} for any a,b\in X.

(b)
Let (X,\ast ) be a leftzero semigroup and let {p}_{1}(x):=1+x+{x}^{2}+{x}^{3}+\cdots . Then {\bigwedge}_{{p}_{1}(x)}=\{R,R,R,\dots \} and hence {[a,b]}_{{p}_{1}(x)}=\{a,b,a,b,a,b,\dots \} for any a,b\in X.
Example 3.3 If we let S(x):=x+{x}^{3}+{x}^{5}+\cdots and C(x):=1+{x}^{2}+{x}^{4}+{x}^{6}+\cdots , then S(x)+C(x)={p}_{1}(x) and S(x)=xC(x). It follows that {\bigwedge}_{S(x)}=\{L,R,L,R,\dots \} and {\bigwedge}_{C(x)}=\{R,L,R,L,R,\dots \}. Let (X,\ast ) be a groupoid and let a,b\in X. Then {[a,b]}_{S(x)}=\{a,b,b\ast a,b\ast (b\ast a),(b\ast (b\ast a))\ast (b\ast a),\dots \} and {[a,b]}_{C(x)}=\{a,b,a\ast b,(a\ast b)\ast b,(a\ast b)\ast ((a\ast b)\ast b),\dots \}.
Let p(x)\in {Z}_{2}[[X]]. A groupoid (X,\ast ) is said to be powerassociative if, for any a,b\in X, there exists k\in \mathbf{Z} such that the generalized Fibonacci sequence {[a,b]}_{p(x)} has {u}_{k2}={u}_{k1}=u for some u\in X.
Proposition 3.4 Let p(x)\in {Z}_{2}[[X]]. Let (X,\ast ) be a groupoid having an identity e, i.e., x\ast e=x=e\ast x for all x\in X. Then (X,\ast ) is powerassociative if, for any a,b\in X, {[a,b]}_{p(x)} contains e.
Proof If {[a,b]}_{p(x)} contains e, then there exists an u\in X such that {[a,b]}_{p(x)} has \dots ,u,e,\dots . Since {[a,b]}_{p(x)} is a generalized Fibonacci sequence, it contains \dots ,u,e,u\ast e=e\ast u=u,e\ast u=u\ast e=u,\dots , proving that (X,\ast ) is powerassociative. □
Let (X,\ast ) be a semigroup and let x\in X. We denote {x}^{2}:=x\ast x, and {x}^{n+1}:={x}^{n}\ast x=x\ast {x}^{n}, where n is a natural number.
Theorem 3.5 Let p(x)\in {Z}_{2}[[X]]. Let (X,\ast ) be a semigroup and let a,b\in X. If it is powerassociative, then {[a,b]}_{p(x)} contains a subsequence \{{u}_{k}\} such that {u}_{k+n}={u}^{{F}_{n+3}} for some u\in X, where {F}_{n} is the usual Fibonacci number.
Proof Given a,b\in X, since (X,\ast ) is powerassociative, {[a,b]}_{p(x)} contains an element u such that {u}_{k2}={u}_{k1}=u. It follows that either {u}_{k}={u}_{k1}\ast {u}_{k2}=u\ast u={u}^{2} or {u}_{k}={u}_{k2}\ast {u}_{k1}=u\ast u={u}^{2}. This shows that either {u}_{k+1}={u}_{k}\ast {u}_{k1}={u}^{2}\ast u={u}^{3} or {u}_{k+1}={u}_{k1}\ast {u}_{k}=u\ast {u}^{2}={u}^{3}. In this fashion, we have {u}_{k+2}={u}^{5},{u}_{k+3}={u}^{8}={u}^{{F}_{6}},\dots ,{u}_{k+n}={u}^{{F}_{n+3}}. □
Let (X,\ast ) be a groupoid having the following conditions:

(A)
x\ast (y\ast x)=x,

(B)
(x\ast y)\ast y=x\ast y for all x,y\in X.
Given {p}_{1}(x)={\sum}_{n=0}^{\mathrm{\infty}}{x}^{n}, for any a,b\in X, a generalized Fibonacci sequence {[a,b]}_{{p}_{1}(x)} has the following periodic sequence:
We call this kind of a sequence periodic.
A BCKalgebra (X,\ast ,0) is said to be implicative [13] if x=x\ast (y\ast x) for all x,y\in X.
Proposition 3.6 Let (X,\ast ,0) be an implicative BCKalgebra and let a,b\in X. Then the generalized Fibonacci sequence {[a,b]}_{{p}_{1}(x)} is periodic.
Proof Every implicative BCKalgebra satisfies the conditions (A) and (B). □
Proposition 3.7 Let (X,\ast ,0) be a BCKalgebra and let a,b\in X. Then the generalized Fibonacci sequence {[a,b]}_{{p}_{0}(x)} is of the form \{a,b,b\ast a,0,0,0,\dots \}.
Proof If (X,\ast ,0) is a BCKalgebra, then (x\ast y)\ast x=(x\ast x)\ast y=0\ast y=0 for all x,y\in X. It follows that {[a,b]}_{{p}_{0}(x)}=\{a,b,b\ast a,(b\ast a)\ast b=0,0\ast (b\ast a)=0,0\ast 0=0,0,0,\dots \}. □
4 Idempotents and preidempotents
A groupoid (X,\ast ) is said to have an exchange rule if (x\ast y)\ast z=(x\ast z)\ast y for all x,y,z\in X.
Proposition 4.1 Let a groupoid (X,\ast ) have an exchange rule and let b be an idempotent in X. Then {[a,b]}_{{p}_{0}(x)}=\{a,b,b\ast a,{(b\ast a)}^{2},{(b\ast a)}^{3},{(b\ast a)}^{4},\dots \} for all a\in X.
Proof Given a,b\in X, since (X,\ast ) has an exchange rule, (b\ast a)\ast b=(b\ast b)\ast a. It follows from b is an idempotent that b\ast b=b. This proves that {[a,b]}_{{p}_{0}(x)}=\{a,b,b\ast a,(b\ast a)\ast b=(b\ast b)\ast a=b\ast a,(b\ast a)\ast (b\ast a)={(b\ast a)}^{2},{(b\ast a)}^{3},\dots \}. □
Corollary 4.2 Let a groupoid (X,\ast ) have an exchange rule and let b and b\ast a be idempotents in X. Then {[a,b]}_{{p}_{0}(x)}=\{a,b,b\ast a,b\ast a,b\ast a,\dots \}.
Proof Straightforward. □
A groupoid (X,\ast ) is said to have an opposite exchange rule if x\ast (y\ast z)=y\ast (x\ast z) for all x,y,z\in X.
Proposition 4.3 Let a groupoid (X,\ast ) have an opposite exchange rule and let b be an idempotent in X. Then {[a,b]}_{{p}_{1}(x)}=\{a,b,a\ast b,{(a\ast b)}^{2},{(a\ast b)}^{3},{(a\ast b)}^{4},\dots \} for all a\in X.
Proof Given a,b\in X, since (X,\ast ) has an opposite exchange rule and b is an idempotent in X, b\ast (a\ast b)=a\ast (b\ast b)=a\ast b and (a\ast b)\ast [b\ast (a\ast b)]=(a\ast b)\ast (a\ast b)={(a\ast b)}^{2}. This proves that {[a,b]}_{{p}_{1}(x)}=\{a,b,a\ast b,{(a\ast b)}^{2},{(a\ast b)}^{3},{(a\ast b)}^{4},\dots \}. □
Proposition 4.4 Let (X,\ast ) be a groupoid having the condition (B). If b\ast (b\ast a) is an idempotent in X for some a,b\in X, then {[a,b]}_{S(x)}=\{a,b,b\ast a,b\ast (b\ast a),b\ast (b\ast a),\dots \}.
Proof Given a,b\in X, since (X,\ast ) has the condition (B), we have (b\ast (b\ast a))\ast (b\ast a)=b\ast (b\ast a) and [b\ast (b\ast a)]\ast [(b\ast (b\ast a))\ast (b\ast a)]=(b\ast (b\ast a))\ast (b\ast (b\ast a)). Since b\ast (b\ast a) is an idempotent in X, it follows that {[a,b]}_{S(x)}=\{a,b,b\ast a,b\ast (b\ast a),b\ast (b\ast a),\dots \}. □
Proposition 4.5 Let (X,\ast ) be a groupoid having the condition (B). If a\ast b is an idempotent in X for some a,b\in X, then {[a,b]}_{C(x)}=\{a,b,a\ast b,a\ast b,a\ast b,\dots \}.
Proof The proof is similar to Proposition 4.4. □
A groupoid (X,\ast ) is said to be preidempotent if x\ast y is an idempotent in X for any x,y\in X. Note that if (X,\ast ) is an idempotent groupoid, then it is a preidempotent groupoid as well. If (X,\ast ,f) is a leftoid, i.e., x\ast y:=f(x) for some map f:X\to X, then f(f(x))=f(x) implies (X,\ast ,f) is a preidempotent groupoid.
Theorem 4.6 Let (X,\ast ) be a groupoid. Let u\in X such that {[a,b]}_{p(x)}=\{a,b,u,u,\dots \} for any a,b\in X. Then (X,\ast ) is a preidempotent groupoid, and

(i)
if p(x)=0, then (b\ast a)\ast b=b\ast a,

(ii)
if p(x)=1, then (a\ast b)\ast b=a\ast b,

(iii)
if p(x)=x, then b\ast (b\ast a)=b\ast a,

(iv)
if p(x)=1+x, then b\ast (a\ast b)=a\ast b.
Proof (i) If p(x)=0, then {[a,b]}_{p(x)}=\{a,b,b\ast a,(b\ast a)\ast b,((b\ast a)\ast b)\ast (b\ast a),\dots \}. It follows that (b\ast a)\ast b=b\ast a and b\ast a=((b\ast a)\ast b)\ast (b\ast a)=(b\ast a)\ast (b\ast a), proving that (X,\ast ) is a preidempotent groupoid with (b\ast a)\ast b=b\ast a.

(ii)
If p(x)=1, then {[a,b]}_{p(x)}=\{a,b,(a\ast b)\ast b,((a\ast b)\ast b)\ast (a\ast b),\dots \}. It follows that (a\ast b)\ast b=a\ast b and a\ast b=((a\ast b)\ast b)\ast (a\ast b)=(a\ast b)\ast (a\ast b), proving that (X,\ast ) is a preidempotent groupoid with (a\ast b)\ast b=a\ast b.

(iii)
If p(x)=1x, then {[a,b]}_{p(x)}=\{a,b,b\ast a,b\ast (b\ast a),(b\ast (b\ast a))\ast (b\ast a),\dots \}. It follows that b\ast (b\ast a)=b\ast a and b\ast a=(b\ast (b\ast a))\ast (b\ast a)=(b\ast a)\ast (b\ast a), proving that (X,\ast ) is a preidempotent groupoid with b\ast (b\ast a)=b\ast a.

(iv)
If p(x)=1+1x, then {[a,b]}_{p(x)}=\{a,b,a\ast b,b\ast (a\ast b),(a\ast b)\ast (b\ast (a\ast b)),\dots \}. It follows that b\ast (a\ast b)=a\ast b and a\ast b=(a\ast b)\ast (b\ast (a\ast b))=(a\ast b)\ast (a\ast b), proving that (X,\ast ) is a preidempotent groupoid with b\ast (a\ast b)=a\ast b. □
Remark Not every generalized Fibonacci sequence has such an element u in X as in Theorem 4.6 in the cases of BCKalgebras.
Example 4.7 Let X:=\{0,1,2,3\} be a set with the following table:
Then (X,\ast ,0) is a BCKalgebra. If we let p(x):=1+0x, then it is easy to see that {[1,2]}_{p(x)}=\{1,2,1,2,0,0,\dots \}, {[2,3]}_{p(x)}=\{2,3,0,0,\dots \}, {[3,2]}_{p(x)}=\{3,2,1,1,0,0,\dots \}.
A groupoid (X,\ast ) is said to be a semilattice if it is idempotent, commutative and associative.
Theorem 4.8 If (X,\ast ) is a semilattice and p(x)={p}_{0}+{p}_{1}x\in {Z}_{2}[[x]], then there exists an element u\in X such that {[a,b]}_{p(x)}=\{a,b,u,u,\dots \} for any a,b\in X.
Proof If (X,\ast ) is a semilattice, then it is a preidempotent groupoid. Given a,b\in X, we have (b\ast a)\ast b=(a\ast b)\ast b=a\ast (b\ast b)=a\ast b, b\ast (b\ast a)=(b\ast a)\ast a=b\ast a, b\ast (a\ast b)=(b\ast a)\ast b=(a\ast b)\ast b=a\ast (b\ast b)=a\ast b, (a\ast b)\ast b=a\ast (b\ast b)=a\ast b. If we take u:=a\ast b, then {[a,b]}_{p(x)}=\{a,b,u,u,\dots \} for any a,b\in X, in any case of Theorem 4.6. □
5 Smarandache disjointness
Proposition 5.1 The class of dalgebras and the class of preidempotent groupoids are Smarandache disjoint.
Proof Let (X,\ast ,0) be both a dalgebra and a preidempotent groupoid. Then a\ast b=(a\ast b)\ast (a\ast b)=0 and b\ast a=(b\ast a)\ast (b\ast a)=0, by preidempotence and (D2), for any a,b\in X. By (D3), it follows that a=b, which proves that X=1. □
Proposition 5.2 The class of groups and the class of preidempotent groupoids are Smarandache disjoint.
Proof Let (X,\ast ,0) be both a group and a preidempotent groupoid. Then, for any x\in X, we have x=x\ast e=(x\ast e)\ast (x\ast e)=x\ast x. It follows that e=x\ast {x}^{1}=(x\ast x)\ast {x}^{1}=x\ast (x\ast {x}^{1})=x\ast e=x, proving that X=1. □
A groupoid (X,\ast ) is said to be an {L}^{4}groupoid if, for all a,b\in X,
(L1) ((b\ast a)\ast b)\ast (b\ast a)=b\ast a,
(L2) (b\ast a)\ast ((b\ast a)\ast b)=(b\ast a)\ast b.
Example 5.3 Let X:=\mathbf{R} be the set of all real numbers. Define a map \phi :X\to X by \phi (x):=\lceil x\rceil \frac{1}{2}, where \lceil x\rceil is the ceiling function. Then \phi (\phi (x))=\lceil \phi (x)\rceil \frac{1}{2}=\lceil \lceil x\rceil \frac{1}{2}\rceil \frac{1}{2}=\lceil \phi (x)\rceil \frac{1}{2}=\phi (x). Define a binary operation ‘∗’ on X by x\ast y:=\phi (y) for all x,y\in X. Then (X,\ast ) is an {L}^{4}groupoid. In fact, for all a,b\in X, ((b\ast a)\ast b)\ast (b\ast a)=\phi (b)\ast \phi (a)=\phi (\phi (a))=\phi (a)=b\ast a. Moreover, (b\ast a)\ast ((b\ast a)\ast b)=\phi (a)\ast \phi (b)=\phi (\phi (b))=\phi (b)=(b\ast a)\ast b.
Proposition 5.4 Let (X,\ast ) be a groupoid and let p(x)\in {Z}_{2}[[x]] such that p(x)={x}^{4}q(x) for some q(x)\in {Z}_{2}[[x]]. If there exist u,v\in X such that {[a,b]}_{p(x)}=\{a,b,u,v,u,v,{\alpha}_{1},{\alpha}_{2},\dots \}, where {\alpha}_{i}\in {Z}_{2} for any a,b\in X, then (X,\ast ) is an {L}^{4}groupoid.
Proof Since p(x)={x}^{4}q(x), we have {\bigwedge}_{p(x)}=\{L,L,L,L,{\alpha}_{1},{\alpha}_{2},\dots \}, where {\alpha}_{i}\in \{L,R\}. It follows that {[a,b]}_{p(x)}=\{a,b,b\ast a,(b\ast a)\ast b,((b\ast a)\ast b)\ast (b\ast a),(((b\ast a)\ast b)\ast (b\ast a))\ast ((b\ast a)\ast b),\dots \}. This shows that u=b\ast a, v=(b\ast a)\ast b, and hence ((b\ast a)\ast b)\ast (b\ast a)=b\ast a and (b\ast a)\ast ((b\ast a)\ast b)=(b\ast a)\ast b, proving the proposition. □
Proposition 5.5 Every {L}^{4}groupoid is preidempotent.
Proof Given a,b\in X, we have (b\ast a)\ast (b\ast a)=((b\ast a)\ast b)\ast (b\ast a)=b\ast a, proving the proposition. □
Proposition 5.6 The class of {L}^{4}groupoids and the class of groups are Smarandache disjoint.
Proof Let (X,\ast ) be both an {L}^{4}groupoid and a group with identity e. Then ((b\ast a)\ast b)\ast (b\ast a)=b\ast a for all a,b\in X. Since any group has the cancellation laws, we obtain (b\ast a)\ast b=e. If we apply this to (L2), then we have (b\ast a)\ast e=e. This means that b\ast a=e. It follows that e=b\ast a=((b\ast a)\ast b)\ast (b\ast a)=(e\ast b)\ast e=b, proving that X=1. □
Proposition 5.7 The class of {L}^{4}groupoids and the class of BCKalgebras are Smarandache disjoint.
Proof Let (X,\ast ) be both an {L}^{4}groupoid and a BCKalgebra with a special element 0\in X. Given a,b\in X, we have 0=0\ast a=(b\ast b)\ast a=(b\ast a)\ast b=(b\ast a)\ast ((b\ast a)\ast b)=(b\ast a)\ast 0=b\ast a. Similarly, a\ast b=0. Since X is a BCKalgebra, a=b for all a,b\in X, proving that X=\{0\}. □
Let p(x)\in {Z}_{2}[[x]]. A groupoid (X,\ast ) is said to be a Fibonacci semilattice if for any a,b\in X, there exists u=u(a,b,p(x)) in X depending on a, b, p(x) such that {[a,b]}_{p(x)}=\{a,b,u,u,\dots \}.
Note that every Fibonacci semilattice is a preidempotent groupoid satisfying one of the conditions (b\ast a)\ast b=a\ast b, b\ast (b\ast a)=b\ast a, b\ast (a\ast b)=a\ast b, (a\ast b)\ast b=a\ast b separately (and simultaneously).
Proposition 5.8 Let (X,\ast ) be a groupoid and let p(x)\in {Z}_{2}[[x]] such that p(x)={x}^{3}q(x) for some q(x)\in {Z}_{2}[[x]] with {q}_{0}=1. Then (X,\ast ) is a Fibonacci semilattice.
Proof Since p(x)={x}^{3}q(x), where q(x)\in {Z}_{2}[[x]] with {q}_{0}=1, we have {\bigwedge}_{p(x)}=\{L,L,L,R,{\alpha}_{1},{\alpha}_{2},\dots \}, where {\alpha}_{i}\in \{L,R\}. If we let u:=b\ast a, v:=(b\ast a)\ast b, then {[a,b]}_{p(x)}=\{a,b,b\ast a=u,(b\ast a)\ast b=v,((b\ast a)\ast b)\ast (b\ast a)=v\ast u=u,\dots \}. It follows that b\ast a=u=v\ast u=v=(b\ast a)\ast b. Hence {[a,b]}_{p(x)}=\{a,b,b\ast a,b\ast a,\dots \}, proving the proposition. □
A groupoid (X,\ast ) is said to be an {\mathit{LRL}}^{2}groupoid if for all a,b\in X,
({\mathit{LRL}}^{2}1) (b\ast (b\ast a))\ast (b\ast a)=b\ast a,
({\mathit{LRL}}^{2}2) (b\ast a)\ast (b\ast (b\ast a))=b\ast (b\ast a).
Proposition 5.9 Let (X,\ast ) be a groupoid and let p(x)\in {Z}_{2}[[x]] such that {p}_{0}={p}_{2}={p}_{3}=0, {p}_{1}=1. Then (X,\ast ) is an {\mathit{LRL}}^{2}groupoid.
Proof Since p(x)\in {Z}_{2}[[x]] such that {p}_{0}={p}_{2}={p}_{3}=0, {p}_{1}=1, we have {\bigwedge}_{p(x)}=\{L,R,L,L,{\alpha}_{1},{\alpha}_{2},\dots \}, where {\alpha}_{i}\in \{L,R\}. If we let u:=b\ast a, v:=b\ast (b\ast a), then {[a,b]}_{p(x)}=\{a,b,b\ast a=u,b\ast (b\ast a)=v,(b\ast (b\ast a))\ast (b\ast a)=u,[(b\ast (b\ast a))\ast (b\ast a)]\ast [b\ast (b\ast a)],\dots \}. It follows that (b\ast (b\ast a))\ast (b\ast a)=b\ast a and (b\ast a)\ast (b\ast (b\ast a))=b\ast (b\ast a), proving the proposition. □
Proposition 5.10 The class of {\mathit{LRL}}^{2}groupoids and the class of groups are Smarandache disjoint.
Proof Let (X,\ast ) be both an {\mathit{LRL}}^{2}groupoid and a group with a special element e\in X. Given a,b\in X, we have (b\ast (b\ast a))\ast (b\ast a)=b\ast a. Since every group has cancellation laws, we obtain b\ast (b\ast a)=e. It follows that b\ast a=(b\ast a)\ast e=(b\ast a)\ast (b\ast (b\ast a))=b\ast (b\ast a)=e, and hence e=b\ast (b\ast a)=b\ast e=b. This proves that X=1, proving the proposition. □
A groupoid (X,\ast ) is said to be an {R}^{4}groupoid if for all a,b\in X,
({R}^{4}1) (a\ast b)\ast (b\ast (a\ast b))=a\ast b,
({R}^{4}2) (b\ast (a\ast b))\ast (a\ast b)=b\ast (a\ast b).
Proposition 5.11 Let (X,\ast ) be a groupoid and let p(x)\in {Z}_{2}[[x]] such that {p}_{0}={p}_{1}={p}_{2}={p}_{3}=1. Then (X,\ast ) is an {R}^{4}groupoid.
Proof Since p(x)\in {Z}_{2}[[x]] such that {p}_{0}={p}_{1}={p}_{2}={p}_{3}=1, we have {\bigwedge}_{p(x)}=\{R,R,R,R,{\alpha}_{1},{\alpha}_{2},\dots \}, where {\alpha}_{i}\in \{L,R\}. If we let u:=a\ast b, v:=b\ast (a\ast b), then {[a,b]}_{p(x)}=\{a,b,a\ast b=u,b\ast (a\ast b)=v,(a\ast b)\ast (b\ast (a\ast b))=u,[b\ast (a\ast b)]\ast [(a\ast b)\ast (b\ast (a\ast b))],\dots \}. It follows that a\ast b=u=u\ast v=(a\ast b)\ast (b\ast (a\ast b)) and b\ast (a\ast b)=v=v\ast u=(b\ast (a\ast b))\ast (a\ast b), proving the proposition. □
Theorem 5.12 The class of {R}^{4}groupoids and the class of groups are Smarandache disjoint.
Proof Let (X,\ast ) be both an {R}^{4}groupoid and a group with a special element e\in X. Given a,b\in X, we have (a\ast b)\ast (b\ast (a\ast b))=a\ast b. Since every group has cancellation laws, we obtain b\ast (a\ast b)=e. By applying ({R}^{4}2), we have e\ast (a\ast b)=e, i.e., a\ast b=e. By ({R}^{4}1), b=e\ast (b\ast e)=e. This proves that X=1, proving the proposition. □
Proposition 5.13 Every implicative BCKalgebra is an {R}^{4}groupoid.
Proof If (X,\ast ,0) is an implicative BCKalgebra, then a\ast (b\ast a)=a and (a\ast b)\ast b=a\ast b for any a,b\in X. It follows immediately that (X,\ast ) is an {R}^{4}groupoid. □
Remark The condition, implicativity, is important for a BCKalgebra to be an {R}^{4}groupoid.
Example 5.14 Let X:=\{0,1,2,3\} be a set with the following table:
Then (X,\ast ,0) is a BCKalgebra, but not implicative, since 1\ast (3\ast 1)=0\ne 1. Moreover, it is not a {R}^{4}groupoid since 3\ast 2=1\ne 0=(3\ast 2)\ast [2\ast (3\ast 2)].
Theorem 5.15 Every BCKalgebra (X,\ast ,0) inherited from a poset (X,\le ) is an {R}^{4}groupoid.
Proof If (X,\ast ,0) is a BCKalgebra (X,\ast ,0) inherited from a poset (X,\le ), then the operation ‘∗’ is defined by
Then the condition ({R}^{4}1) holds. In fact, given x,y\in X, if x\le y, then x\ast y=0 and y\ast x=y. It follows that (x\ast y)\ast (y\ast (x\ast y))=0\ast (y\ast 0)=0=x\ast y. If y\le x, then y\ast x=0 and x\ast y=x. It follows that (x\ast y)\ast (y\ast (x\ast y))=x\ast (y\ast x)=x\ast 0=x=x\ast y. If x and y are incomparable, then x\ast y=x and y\ast x=y. It follows that (x\ast y)\ast (y\ast (x\ast y))=x\ast (y\ast x)=x\ast y.
We claim that ({R}^{4}2) holds. Given x,y\in X, if x\le y, then x\ast y=0, y\ast x=y. It follows that (y\ast (x\ast y))\ast (x\ast y)=(y\ast 0)\ast 0=y=y\ast 0=y\ast (x\ast y). If y\le x, then y\ast x=0, x\ast y=x. It follows that (y\ast (x\ast y))\ast (x\ast y)=(y\ast x)\ast x=0\ast x=0=y\ast x=y\ast (x\ast y). If x and y are incomparable, then x\ast y=x and y\ast x=y. It follows that (y\ast (x\ast y))\ast (x\ast y)=(y\ast x)\ast x=y\ast x=y\ast (x\ast y). This proves that the BCKalgebra (X,\ast ,0) inherited from a poset (X,\le ) is an {R}^{4}groupoid. □
Note that the BCKalgebra (X,\ast ,0) inherited from a poset (X,\le ) need not be an implicative BCKalgebra unless the poset (X,\le ) is an antichain [[14], Corollary 9].
Example 5.16 Let (X,\ast ) be a leftzero semigroup, i.e., x\ast y=x for all x,y\in X. Then (X,\ast ) is an {R}^{4}groupoid, but not a BCKalgebra.
References
Atanassov KT, Atanassova V, Shannon AG, Turner JC: New Visual Perspectives on Fibonacci Numbers. World Scientific, Singapore; 2002.
Dunlap RA: The Golden Ratio and Fibonacci Numbers. World Scientific, Singapore; 1997.
Kim HS, Neggers J: Fibonacci means and golden section mean. Comput. Math. Appl. 2008, 56: 228–232. 10.1016/j.camwa.2007.12.003
Han JS, Kim HS, Neggers J: The Fibonacci norm of a positive integer n observations and conjectures. Int. J. Number Theory 2010, 6: 371–385. 10.1142/S1793042110003009
Han JS, Kim HS, Neggers J: Fibonacci sequences in groupoids. Adv. Differ. Equ. 2012., 2012: Article ID 19. doi:10.1186/1687–1847–2012–19
Ma X, Zhan J, Jun YB: Some kinds of (\u03f5,\u03f5\vee q) intervalvalued fuzzy ideals of BCI algebras. Inf. Sci. 2008, 178: 3738–3754. 10.1016/j.ins.2008.06.006
Ma X, Zhan J, Jun YB: Some kinds of ({\u03f5}_{\gamma},{\u03f5}_{\gamma}\vee {q}_{\delta}) fuzzy ideals of BCI algebras. Comput. Math. Appl. 2011, 61: 1005–1015. 10.1016/j.camwa.2010.12.049
Zhan J, Jun YB: On (\u03f5,\u03f5\vee q) fuzzy ideals of BCI algebras. Neural Comput. Appl. 2011, 20: 319–328. 10.1007/s0052101003766
Zhan J, Tan Z: m maps of BCK algebras. Sci. Math. Jpn. 2002, 56: 309–311.
Zhan J, Tan Z: On the kp radical in BCI algebras. Sci. Math. Jpn. 2002, 56: 309–311.
Allen PJ, Kim HS, Neggers J:Smarandache disjoint in \mathit{BCK}/dalgebras. Sci. Math. Jpn. 2005, 61: 447–449.
Neggers J, Kim HS: On d algebras. Math. Slovaca 1999, 49: 19–26.
Meng J, Jun YB: BCKAlgebras. Kyung Moon Sa Co., Seoul; 1994.
Kim JY, Jun YB, Kim HS: BCK algebras inherited from the posets. Sci. Math. Jpn. 1997, 45: 119–123.
Acknowledgements
The authors are grateful for the referee’s valuable suggestions and help.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Kim, H.S., Neggers, J. & So, K.S. Generalized Fibonacci sequences in groupoids. Adv Differ Equ 2013, 26 (2013). https://doi.org/10.1186/16871847201326
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871847201326
Keywords
 (generalized) Fibonacci sequences
 ({L}^{4},{\mathit{LRL}}^{2},{R}^{4})groupoids
 d/\mathit{BCK}algebra
 (pre)idempotent
 Smarandache disjoint