research article product of the generalized...
TRANSCRIPT
Research ArticleProduct of the Generalized ð¿-Subgroups
Dilek Bayrak and Sultan Yamak
Department of Mathematics, Namik Kemal University, 59000 Tekirdag, Turkey
Correspondence should be addressed to Dilek Bayrak; [email protected]
Received 6 July 2015; Accepted 8 February 2016
Academic Editor: Ali Jaballah
Copyright © 2016 D. Bayrak and S. Yamak. This is an open access article distributed under the Creative Commons AttributionLicense, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properlycited.
We introduce the notion of (ð, ð)-product of ð¿-subsets. We give a necessary and sufficient condition for (ð, ð)-ð¿-subgroup of aproduct of groups to be (ð, ð)-product of (ð, ð)-ð¿-subgroups.
1. Introduction
Starting from 1980, by the concept of quasi-coincidence ofa fuzzy point with a fuzzy set given by Pu and Liu [1], thegeneralized subalgebraic structures of algebraic structureshave been investigated again. Using the concept mentionedabove, Bhakat and Das [2, 3] gave the definition of (ðŒ, ðœ)-fuzzy subgroup, where ðŒ, ðœ are any two of {â, ð, ââšð, â â§ð}with ðŒ =ââ§ð. The (â, ââšð)-fuzzy subgroup is an importantand useful generalization of fuzzy subgroups that were laidby Rosenfeld in [4]. After this, many other researchers usedthe idea of the generalized fuzzy sets that give several charac-terization results in different branches of algebra (see [5â10]).In recent years,many researchersmake generalizationswhichare referred to as (ð, ð)-fuzzy substructures and (âð, âðâšðð)-fuzzy substructures on this topic (see [11â15]).
Identifying the subgroups of a Cartesian product ofgroups plays an essential role in studying group theory. Manyimportant results on characterization of Cartesian product ofsubgroups, fuzzy subgroups, andðð¿-fuzzy subgroups exist inliterature. Chon obtained a necessary and sufficient conditionfor a fuzzy subgroup of a Cartesian product of groups tobe product of fuzzy subgroups under minimum operation[16]. Later, some necessary and sufficient conditions for aðð¿-subgroup of a Cartesian product of groups to be a ð-product of ðð¿-subgroups were given by Yamak et al. [17]. Asubgroup of a Cartesian product of groups is characterizedby subgroups in the same study. Consequently, it seems to beinteresting to extend this study to generalized ð¿-subgroups.In this paper, we introduce the notion of the (ð, ð)-product
of ð¿-subsets and investigate some properties of the (ð, ð)-product of ð¿-subgroups. Also, we give a necessary andsufficient condition for (ð, ð)-ð¿-subgroup of a Cartesianproduct of groups to be a product of (ð, ð)-ð¿-subgroups.
2. Preliminaries
In this section, we start by giving some known definitions andnotations. Throughout this paper, unless otherwise stated, ðºalways stands for any given groupwith amultiplicative binaryoperation, an identity ð and ð¿ denote a complete lattice withtop and bottom elements 1, 0, respectively.
An ð¿-subset ofð is any function fromð into ð¿, which isintroduced by Goguen [18] as a generalization of the notionof Zadehâs fuzzy subset [19]. The class of ð¿-subsets of ð willbe denoted by ð¹(ð, ð¿). In particular, if ð¿ = [0, 1], then it isappropriate to replace ð¿-subset with fuzzy subset. In this casethe set of all fuzzy subsets of ð is denoted by ð¹(ð). Let ðŽand ðµ be ð¿-subsets of ð. We say that ðŽ is contained in ðµ ifðŽ(ð¥) †ðµ(ð¥) for every ð¥ â ð and is denoted by ðŽ †ðµ. Then†is a partial ordering on the set ð¹(ð, ð¿).
Definition 1 (see [20]). An ð¿-subset of ðº is called an ð¿-subgroup of ðº if, for all ð¥, ðŠ â ðº, the following conditionshold:(G1) ðŽ(ð¥) ⧠ðŽ(ðŠ) †ðŽ(ð¥ðŠ).(G2) ðŽ(ð¥) †ðŽ(ð¥â1).In particular, when ð¿ = [0, 1], an ð¿-subgroup of ðº is
referred to as a fuzzy subgroup of ðº.
Hindawi Publishing CorporationJournal of MathematicsVolume 2016, Article ID 4918948, 5 pageshttp://dx.doi.org/10.1155/2016/4918948
2 Journal of Mathematics
Definition 2 (see [12]). Let ð, ð â ð¿ and ð < ð. Let ðŽ be anð¿-subset of ðº. ðŽ is called (ð, ð)-ð¿-subgroup of ðº if, for allð¥, ðŠ â ðº, the following conditions hold:
(i) ðŽ(ð¥ðŠ) âš ð ⥠ðŽ(ð¥) ⧠ðŽ(ðŠ) ⧠ð.
(ii) ðŽ(ð¥â1) âš ð ⥠ðŽ(ð¥) ⧠ð.
Denote by ð¹ð(ð, ð, ðº, ð¿) the set of all (ð, ð)-ð¿-subgroups ofðº. When ð¿ = [0, 1], its counterpart is written as ð¹ð(ð, ð, ðº).
Unless otherwise stated, ð¿ always represents any givendistributive lattice.
3. Product of (ð,ð)-ð¿-Subgroups
Definition 3 (see [16]). Let ðŽ ð be an ð¿-subset of ðºð for eachð = 1, 2, . . . , ð. Then product of ðŽ ð (ð = 1, 2, . . . , ð) denotedby ðŽ1 à ðŽ2 à â â â à ðŽð is defined to be the ð¿-subset of ðº1 Ãðº2 à â â â à ðºð that satisfies
(ðŽ1 à ðŽ2 à â â â à ðŽð) (ð¥1, ð¥2, . . . , ð¥ð)
= ðŽ1 (ð¥1) ⧠ðŽ2 (ð¥2) ⧠â â â ⧠ðŽð (ð¥ð) .(1)
Example 4. We define the fuzzy subsetsðŽ and ðµ ofZ andZ2,respectively, as follows:
ðŽ (ð¥) ={
{
{
0.5, ð¥ â 2Z,
0.3, otherwise,
ðµ (ð¥) ={
{
{
0.7, ð¥ = 0,
0.2, ð¥ = 1.
(2)
We obtain that
ðŽ à ðµ (ð¥) =
{{{{
{{{{
{
0.5, ð¥ â 2Z à {0} ,
0.3, ð¥ â Z â {2Z} à {0} ,
0.2, otherwise.
(3)
Theorem5. Letðº1, ðº2, . . . , ðºð be groups andâð
ð=1ðð < â
ð
ð=1ðð
such thatðŽ ð is (ðð, ðð)-ð¿-subgroup ofðºð for each ð = 1, 2, . . . , ð.Then ðŽ1 à ðŽ2 à â â â à ðŽð is (â
ð
ð=1ðð, âð
ð=1ðð)-ð¿-subgroup of
ðº1 à ðº2 à â â â à ðºð.
Proof. Let (ð¥1, ð¥2, . . . , ð¥ð), (ðŠ1, ðŠ2, . . . , ðŠð) â ðº1Ãðº2Ãâ â â Ãðºð.ThenðŽ1 à ðŽ2 à â â â à ðŽð ((ð¥1, ð¥2, . . . , ð¥ð) â (ðŠ1, ðŠ2, . . . , ðŠð))
âš
ð
âð=1
ðð = ðŽ1 à ðŽ2 à â â â
à ðŽð (ð¥1ðŠ1, ð¥2ðŠ2, . . . , ð¥ððŠð) âš ð1 âš
ð
âð=1
ðð
= (ðŽ1 (ð¥1ðŠ1) ⧠ðŽ2 (ð¥2ðŠ2) ⧠â â â ⧠ðŽð (ð¥ððŠð))
âš
ð
âð=1
ðð ⥠(ðŽ1 (ð¥1ðŠ1) âš ð1) ⧠(ðŽ2 (ð¥2ðŠ2) âš ð2)
⧠â â â ⧠(ðŽð (ð¥ððŠð) âš ðð) ⥠ðŽ1 (ð¥1) ⧠ðŽ1 (ðŠ1) ⧠ð1
⧠ðŽ2 (ð¥2) ⧠ðŽ2 (ðŠ2) ⧠ð2 ⧠â â â ⧠ðŽð (ð¥ð) ⧠ðŽð (ðŠð)
⧠ðð = ðŽ1 à ðŽ2 à â â â à ðŽð (ð¥1, ð¥2, . . . , ð¥ð) ⧠ðŽ1
à ðŽ2 à â â â à ðŽð (ðŠ1, ðŠ2, . . . , ðŠð) â§
ð
âð=1
ðð.
(4)
Similarly, it can be shown that
ðŽ1 à ðŽ2 à â â â à ðŽð ((ð¥1, ð¥2, . . . , ð¥ð)â1) âš
ð
âð=1
ðð
⥠ðŽ1 à ðŽ2 à â â â à ðŽð (ð¥1, ð¥2, . . . , ð¥ð) â§
ð
âð=1
ðð.
(5)
Corollary 6. If ðŽ1, ðŽ2, . . . , ðŽð are (ð, ð)-ð¿-subgroups ofðº1, ðº2, . . . , ðºð, respectively, then ðŽ1 à ðŽ2 à â â â à ðŽð is (ð, ð)-ð¿-subgroup of ðº1 à ðº2 à â â â à ðºð.
Theorem 7 (Theorem 2.9, [16]). Let ðº1, ðº2, . . . , ðºð begroups, let ð1, ð2, . . . , ðð be identities, respectively, and letðŽ be a fuzzy subgroup in ðº1 à ðº2 à â â â à ðºð. ThenðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) ⥠ðŽ(ð¥1, ð¥2, . . . , ð¥ð) for ð =1, 2, . . . , ðâ1, ð+1, . . . , ð if and only ifðŽ = ðŽ1ÃðŽ2Ãâ â â ÃðŽð,where ðŽ1, ðŽ2, . . . , ðŽð are fuzzy subgroups of ðº1, ðº2, . . . , ðºð,respectively.
The following example shows that Theorem 7 may not betrue for any (ð, ð)-ð¿-subgroup.
Example 8. Consider
ðŽ (ð¥) =
{{{{{{{
{{{{{{{
{
0.8, ð¥ = (0, 0) ,
0.7, ð¥ = (1, 0) ,
0.6, ð¥ = (0, 1) ,
0.5, ð¥ = (1, 1) .
(6)
It is easy to see that ðŽ is (0, 0.5)-fuzzy subgroup of Z2 à Z2.Since ðŽ(1, 0) ⥠ðŽ(1, 1) and ðŽ(0, 1) ⥠ðŽ(1, 1), ðŽ satisfies the
Journal of Mathematics 3
condition of Theorem 7, but there do not exist ðŽ1, ðŽ2 fuzzysubgroups of Z2 à Z2 such that ðŽ = ðŽ1 à ðŽ2.
In fact, suppose that there exist ðŽ1, ðŽ2 â ð¹ð(0, 0.5,Z2 ÃZ2) such that ðŽ = ðŽ1 ÃðŽ2. Since ðŽ(1, 0) = 0.7 and ðŽ(0, 1) =0.6, we have ðŽ1(1) ⥠0.7 and ðŽ2(1) ⥠0.6. Hence
0.5 = ðŽ1 à ðŽ2 (1, 1) = ðŽ1 (1) ⧠ðŽ2 (1) ⥠0.7 ⧠0.6
= 0.6,
(7)
a contradiction.
Definition 9. Let ðŽ ð be an ð¿-subset of ðºð for each ð =1, 2, . . . , ð.Then (ð, ð)-product ofðŽ ð (ð = 1, 2, . . . , ð) denotedby ðŽ1Ã
ð
ððŽ2Ãð
ðâ â â ÃðððŽð is defined to be an ð¿-subset of ðº1 Ã
ðº2 à â â â à ðºð that satisfies
(ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð) (ð¥1, ð¥2, . . . , ð¥ð)
= (ðŽ1 (ð¥1) ⧠ðŽ2 (ð¥2) ⧠â â â ⧠ðŽð (ð¥ð) ⧠ð) âš ð
= (
ð
âð=1
ðŽ ð (ð¥ð) ⧠ð) âš ð.
(8)
Example 10. We define the fuzzy subsets ðŽ and ðµ of Z andZ2, respectively, as in Example 4. Then (0.4, 0.6)-product ofðŽ and ðµ is as follows:
ðŽÃ0.4
0.6ðµ (ð¥) =
{
{
{
0.5, ð¥ â 2Z à {0} ,
0.4, otherwise.(9)
Lemma 11. Let ðº1, ðº2, . . . , ðºð be groups. Then we have thefollowing:
(1) If ðŽ is (ð, ð)-ð¿-subgroup of ðº1 à ðº2Ã, . . . , ðºð andðŽ ð(ð¥) = ðŽ(ð1, ð2, . . . , ððâ1, ð¥, ðð+1, . . . , ðð) for ð =
1, 2, . . . , ð, then ðŽ ð is (ð, ð)-ð¿-subgroup of ðºð for allð = 1, 2, . . . , ð.
(2) If ðŽ ð is (ð, ð)-ð¿-subgroup of ðºð for all ð = 1, 2, . . . , ð,then ðŽ1ÃðððŽ2Ã
ð
ðâ â â ÃðððŽð is (ð, ð)-ð¿-subgroup of ðº1 Ã
ðº2Ã, . . . , ðºð.
Proof. (1) Let ð¥, ðŠ â ðºð. Since ðŽ â ð¹ð(ð, ð, ðº1 à ðº2Ã,
. . . , ðºð, ð¿), we have
ðŽ ð (ð¥) ⧠ðŽ ð (ðŠ) ⧠ð
= ðŽ (ð1, ð2, . . . , ððâ1, ð¥, ðð+1, . . . , ðð)
⧠ðŽ (ð1, ð2, . . . , ððâ1, ðŠ, ðð+1, . . . , ðð) ⧠ð
†ðŽ (ð1, ð2, . . . , ððâ1, ð¥ â ðŠ, ðð+1, . . . , ðð) âš ð
= ðŽ ð (ð¥ â ðŠ) âš ð.
(10)
Similarly, we can show that ðŽ ð(ð¥) ⧠ð †ðŽ ð(ð¥â1) âš ð. Hence,
ðŽ ð â ð¹ð(ð, ð, ðºð, ð¿) by Definition 2 for ð = 1, 2, . . . , ð.
(2) Let (ð¥1, ð¥2, . . . , ð¥ð), (ðŠ1, ðŠ2, . . . , ðŠð) â ðº1Ãðº2Ã, . . . , ðºð.Then,
ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð ((ð¥1, ð¥2, . . . , ð¥ð) (ðŠ1, ðŠ2, . . . , ðŠð))
âš ð = ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð (ð¥1ðŠ1, ð¥2ðŠ2, . . . , ð¥ððŠð)
âš ð = (
ð
âð=1
ðŽ ð (ð¥ððŠð) ⧠ð) âš ð = ((ðŽ1 (ð¥1ðŠ1) âš ð)
⧠(ðŽ2 (ð¥2ðŠ2) âš ð) ⧠â â â ⧠(ðŽð (ð¥ððŠð) âš ð) ⧠ð)
âš ð ⥠(ðŽ1 (ð¥1) ⧠ðŽ1 (ðŠ1) ⧠ð ⧠ðŽ2 (ð¥2) ⧠ðŽ2 (ðŠ2)
⧠ð ⧠â â â ⧠ðŽð (ð¥ð) ⧠ðŽð (ðŠð) ⧠ð) âš ð
= ((
ð
âð=1
ðŽ ð (ð¥ð) ⧠ð) âš ð) ⧠((
ð
âð=1
ðŽ ð (ðŠð) ⧠ð)
âš ð) ⧠ð = ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð (ð¥1, ð¥2, . . . , ð¥ð)
⧠ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð (ðŠ1, ðŠ2, . . . , ðŠð) ⧠ð.
(11)
Similarly, we can show that
ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð ((ð¥1, ð¥2, . . . , ð¥ð)
â1) âš ð
⥠ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð (ð¥1, ð¥2, . . . , ð¥ð) ⧠ð.
(12)
Hence, ðŽ1Ãð
ððŽ2Ãð
ðâ â â ÃðððŽð is (ð, ð)-ð¿-subgroup of ðº1 Ã
ðº2Ã, . . . , ðºð.
Theorem 12. Let ðº1, ðº2, . . . , ðºð be groups and ðŽ â ð¹ð(ð, ð,ðº1Ãðº2Ãâ â â Ãðºð, ð¿).Then (ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) â§ðŽ(ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð)â§ð) âšð = ðŽ(ð¥1, ð¥2, . . . , ð¥ð)
for ð = 1, 2, . . . , ð if and only ifðŽ = ðŽ1ÃðððŽ2Ãð
ðâ â â ÃðððŽð, where
ðŽ ð(ð¥) = ðŽ(ð1, ð2, . . . , ððâ1, ð¥, ðð+1, . . . , ðð).
Proof. Suppose that (ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð)⧠ðŽ(ð¥1,ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð) ⧠ð) âš ð = ðŽ(ð¥1, ð¥2, . . . , ð¥ð) forð = 1, 2, . . . , ð. Now, for any (ð¥1, ð¥2, . . . , ð¥ð) â ðº1Ãðº2Ãâ â â Ãðºð,we have
ðŽ (ð¥1, ð¥2, . . . , ð¥ð) = (ðŽ (ð¥1, ð2, . . . , ðð)
⧠ðŽ (ð1, ð¥2, . . . , ð¥ð) ⧠ð) âš ð
= (ðŽ1 (ð¥1)
⧠((ðŽ (ð1, ð¥2, . . . , ðð) ⧠ðŽ (ð1, ð2, ð¥3, . . . , ð¥ð) ⧠ð)
âš ð) ⧠ð) âš ð
4 Journal of Mathematics
= (ðŽ1 (ð¥1) ⧠ðŽ2 (ð¥2) ⧠ðŽ (ð1, ð2, ð¥3, . . . , ð¥ð) ⧠ð)
âš ð
...
= (ðŽ1 (ð¥1) ⧠ðŽ2 (ð¥2) ⧠â â â ⧠ðŽ (ð1, ð2, . . . , ð¥ð) ⧠ð)
âš ð
= ðŽ1Ãð
ððŽ2Ãð
ðâ â â Ãð
ððŽð (ð¥1, ð¥2, . . . , ð¥ð) .
(13)
Hence we obtain that ðŽ = ðŽ1Ãð
ððŽ2Ãð
ðâ â â ÃðððŽð. Conversely,
assume that ðŽ = ðŽ1Ãð
ððŽ2Ãð
ðâ â â ÃðððŽð. Then, we obtain
ðŽ (ð¥1, ð¥2, . . . , ð¥ð) = ðŽ1Ãð
ððŽ2Ãð
ð
â â â Ãð
ððŽð (ð¥1, ð¥2, . . . , ð¥ð)
= (ðŽ (ð¥1, ð2, . . . , ðð) ⧠ðŽ (ð1, ð¥2, . . . , ðð) ⧠â â â
⧠ðŽ (ð1, ð2, . . . , ð¥ð) ⧠ð) âš ð
†(ðŽ (ð¥1, ð2, . . . , ðð) ⧠ðŽ (ð1, ð¥2, . . . , ðð) ⧠â â â
⧠(ðŽ (ð1, ð2, . . . , ð¥ðâ1, ð¥ð) âš ð) ⧠ð) âš ð
= (ðŽ (ð¥1, ð2, . . . , ðð) ⧠ðŽ (ð1, ð¥2, . . . , ðð) ⧠â â â
⧠ðŽ (ð1, ð2, . . . , ð¥ðâ1, ð¥ð) ⧠ð) âš ð
...
†(ðŽ (ð¥1, ð2, . . . , ðð) ⧠ðŽ (ð1, ð¥2, . . . , ð¥ð) ⧠ð) âš ð.
(14)
On the other hand, (ðŽ(ð¥1, ð2, . . . , ðð)â§ðŽ(ð1, ð¥2, . . . , ð¥ð)â§ð)âšð †ðŽ(ð¥1, ð¥2, . . . , ð¥ð) âš ð.
Since ðŽ(ð¥1, ð¥2, . . . , ð¥ð) ⥠ð, (ðŽ(ð¥1, ð2, . . . , ðð) ⧠ðŽ(ð1, ð¥2,. . . , ð¥ð) ⧠ð) âš ð †ðŽ(ð¥1, ð¥2, . . . , ð¥ð).
Hence, ðŽ(ð¥1, ð¥2, . . . , ð¥ð) = (ðŽ(ð¥1, ð2, . . . , ðð) ⧠ðŽ(ð1, ð¥2,. . . , ð¥ð) ⧠ð) âš ð.
Similarly, we get (ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) â§ðŽ(ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð)â§ð)âš ð = ðŽ(ð¥1, ð¥2, . . . , ð¥ð)
for ð = 2, 3, . . . , ð.
Lemma 13. Let ðº1, ðº2, . . . , ðºð be groups, let ð1, ð2, . . . , ðð beidentities ofðº1, ðº2, . . . , ðºð, respectively, andðŽ â ð¹ð(ð, ð, ðº1 Ãðº2 à â â â à ðºð). If (ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) ⧠ð) âš ð â¥ðŽ(ð¥1, ð¥2, . . . , ð¥ð) for ð = 1, 2, . . . , ð â 1, ð + 1, . . . , ð,then (ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) ⧠ð) âš ð ⥠ðŽ(ð¥1,
ð¥2, . . . , ð¥ð).
Proof. By Definition 2, we observe that
(ðŽ (ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) ⧠ð) âš ð
= (ðŽ ((ð¥1, ð¥2, . . . , ð¥ð)
â (ð¥â1
1, ð¥â1
2, . . . , ð¥
â1
ðâ1, ðð, ð¥â1
ð+1, . . . , ð¥
â1
ð)) ⧠ð) âš ð
= (ðŽ ((ð¥1, ð¥2, . . . , ð¥ð)
â (ð¥â1
1, ð¥â1
2, . . . , ð¥
â1
ðâ1, ðð, ð¥â1
ð+1, . . . , ð¥
â1
ð)) âš ð) ⧠ð
⥠(ðŽ (ð¥1, ð¥2, . . . , ð¥ð)
⧠ðŽ (ð¥â1
1, ð¥â1
2, . . . , ð¥
â1
ðâ1, ðð, ð¥â1
ð+1, . . . , ð¥
â1
ð) ⧠ð) âš ð
= (ðŽ (ð¥1, ð¥2, . . . , ð¥ð) âš ð)
⧠(ðŽ (ð¥â1
1, ð¥â1
2, . . . , ð¥
â1
ðâ1, ðð, ð¥â1
ð+1, . . . , ð¥
â1
ð) âš ð)
⧠ð
⥠((ðŽ (ð¥1, ð¥2, . . . , ð¥ð) âš ð)
⧠ðŽ (ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð) ⧠ð) âš ð
= (ðŽ (ð¥1, ð¥2, . . . , ð¥ð) âš ð)
⧠(ðŽ (ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð) âš ð) ⧠ð
⥠((ðŽ (ð¥1, ð¥2, . . . , ð¥ð) âš ð)
⧠(ðŽ (ð1, . . . , ððâ2, ð¥ðâ1, ðð, . . . , ðð)
⧠ðŽ (ð¥1, . . . , ððâ1, ðð, ð¥ð+1, . . . , ð¥ð) ⧠ð)) âš ð
= (ðŽ (ð¥1, ð¥2, . . . , ð¥ð) âš ð)
⧠(ðŽ (ð¥1, . . . , ððâ1, ðð, ð¥ð+1, . . . , ð¥ð) ⧠ð) âš ð
...
⥠ðŽ (ð¥1, ð¥2, . . . , ð¥ð) âš ð
⥠ðŽ (ð¥1, ð¥2, . . . , ð¥ð) .
(15)
Lemma 14. Let ðº1, ðº2, . . . , ðºð be groups and ðŽ â ð¹ð(0,
ð, ðº1Ãðº2Ãâ â â Ãðºð, ð¿).ThenðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð)â§ðŽ(ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð) ⧠ð = ðŽ(ð¥1, ð¥2, . . . , ð¥ð) forð = 1, 2, . . . , ð if and only if ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) â§ð ⥠ðŽ(ð¥1, ð¥2, . . . , ð¥ð) for ð = 1, 2, . . . , ð â 1, ð + 1, . . . , ð.
Proof. Now assume that ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) â§ðŽ(ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð) ⧠ð = ðŽ(ð¥1, ð¥2, . . . , ð¥ð) forð = 1, 2, . . . , ð. Next, for any (ð¥1, ð¥2, . . . , ð¥ð) â ðº1Ãðº2Ãâ â â Ãðºð,we have
ðŽ (ð¥1, ð¥2, . . . , ð¥ð)
= ðŽ (ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð)
⧠ðŽ (ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð) ⧠ð
†ðŽ (ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) ⧠ð.
(16)
Conversely, assume that ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) â§ð ⥠ðŽ(ð¥1, ð¥2, . . . , ð¥ð) for ð = 1, 2, . . . , ð â 1, ð + 1, . . . , ð. By
Journal of Mathematics 5
Definition 2 and Lemma 11, we obtain that
ðŽ (ð¥1, ð¥2, . . . , ð¥ð) = ðŽ (ð¥1, ð¥2, . . . , ð¥ð)
⧠ðŽ (ð¥1, ð¥2, . . . , ð¥ð) ⧠â â â ⧠ðŽ (ð¥1, ð¥2, . . . , ð¥ð)
†ðŽ (ð¥1, ð2, . . . , ðð) ⧠ðŽ (ð1, ð¥2, . . . , ðð) ⧠â â â
⧠ðŽ (ð1, ð2, . . . , ð¥ð) ⧠ð
†ðŽ (ð¥1, ð2, . . . , ðð) ⧠ðŽ (ð1, ð¥2, . . . , ðð) ⧠â â â
⧠ðŽ (ð1, ð2, . . . , ð¥ðâ1, ð¥ð) ⧠ð
...
†ðŽ (ð¥1, ð2, . . . , ðð) ⧠ðŽ (ð1, ð¥2, . . . , ð¥ð) ⧠ð
†ðŽ (ð¥1, ð¥2, . . . , ð¥ð) .
(17)
Hence, ðŽ(ð¥1, ð¥2, . . . , ð¥ð) = ðŽ(ð¥1, ð2, . . . , ðð) ⧠ðŽ(ð1, ð¥2, . . . ,ð¥ð) ⧠ð. Similarly, we get ðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) â§ðŽ(ð¥1, ð¥2, . . . , ð¥ðâ1, ðð, ð¥ð+1, . . . , ð¥ð) = ðŽ(ð¥1, ð¥2, . . . , ð¥ð) for ð =2, 3, . . . , ð.
As a consequence of Theorem 12 and Lemma 14, we havethe following corollary.
Corollary 15. Let ðº1, ðº2, . . . , ðºð be groups and ðŽ â ð¹ð(0, ð,ðº1 Ãðº2 à â â â Ãðºð, ð¿). ThenðŽ(ð1, ð2, . . . , ððâ1, ð¥ð, ðð+1, . . . , ðð) â§ð ⥠ðŽ(ð¥1, ð¥2, . . . , ð¥ð) for ð = 1, 2, . . . , ð â 1, ð + 1, . . . , ð if andonly if ðŽ = ðŽ1ÃððŽ2Ãð â â â ÃððŽð, where ðŽ ð(ð¥) = ðŽ(ð1,
ð2, . . . , ððâ1, ð¥, ðð+1, . . . , ðð).
The following example shows that Corollary 15 may notbe true when ð = 0.
Example 16. Consider
ðŽ (ð¥) =
{{{{{{{
{{{{{{{
{
0.4, ð¥ = (0, 0) ,
0.3, ð¥ = (1, 0) ,
0.2, ð¥ = (0, 1) ,
0.1, ð¥ = (1, 1) .
(18)
ðŽ is (0.2, 0.5)-fuzzy subgroup of Z2 à Z2 and satisfies thenecessary condition of Corollary 15. But there is not any ðŽ1and ðŽ2, (0.2, 0.5)-fuzzy subgroup of Z2 à Z2, which holdðŽ = ðŽ1Ã
0.2
0.5ðŽ2.
4. Conclusion
In this study, we give a necessary and sufficient condition for(0, ð)-ð¿-subgroup of a Cartesian product of groups to be aproduct of (0, ð)-ð¿-subgroups. The results obtained are notvalid for ð = 0, and a counterexample is provided.
Conflict of Interests
The authors declare that there is no conflict of interestsregarding the publication of this paper.
References
[1] P.M. Pu and Y.M. Liu, âFuzzy topology. I. Neighborhood struc-ture of a fuzzy point and Moore-Smith convergence,â Journal ofMathematical Analysis and Applications, vol. 76, no. 2, pp. 571â599, 1980.
[2] S. K. Bhakat and P. Das, â(â, â âšq)-fuzzy subgroup,â Fuzzy Setsand Systems, vol. 80, no. 3, pp. 359â368, 1996.
[3] S. K. Bhakat and P. Das, âOn the definition of a fuzzy subgroup,âFuzzy Sets and Systems, vol. 51, no. 2, pp. 235â241, 1992.
[4] A. Rosenfeld, âFuzzy groups,â Journal of Mathematical Analysisand Applications, vol. 35, pp. 512â517, 1971.
[5] M. Akram, K. H. Dar, and K. P. Shum, âInterval-valued (ðŒ,ðœ)-fuzzy K-algebras,â Applied Soft Computing Journal, vol. 11, no. 1,pp. 1213â1222, 2011.
[6] M. Akram, B. Davvaz, and K. P. Shum, âGeneralized fuzzy LIEideals of LIE algebras,â Fuzzy Systems and Mathematics, vol. 24,no. 4, pp. 48â55, 2010.
[7] M. Akram, âGeneralized fuzzy Lie subalgebras,â Journal of Gen-eralized Lie Theory and Applications, vol. 2, no. 4, pp. 261â268,2008.
[8] S. K. Bhakat, â(â, ââšq)-fuzzy normal, quasinormal andmaximalsubgroups,â Fuzzy Sets and Systems, vol. 112, no. 2, pp. 299â312,2000.
[9] M. Shabir, Y. B. Jun, and Y. Nawaz, âCharacterizations of regularsemigroups by (ðŒ,ðœ)-fuzzy ideals,â Computers & Mathematicswith Applications, vol. 59, no. 1, pp. 161â175, 2010.
[10] X. Yuan, C. Zhang, and Y. Ren, âGeneralized fuzzy groups andmany-valued implications,â Fuzzy Sets and Systems, vol. 138, no.1, pp. 205â211, 2003.
[11] S. Abdullah, M. Aslam, T. A. Khan, and M. Naeem, âA newtype of fuzzy normal subgroups and fuzzy cosets,â Journal ofIntelligent and Fuzzy Systems, vol. 25, no. 1, pp. 37â47, 2013.
[12] D. Bayrak and S. Yamak, âThe lattice of generalized normal L-subgroups,â Journal of Intelligent and Fuzzy Systems, vol. 27, no.3, pp. 1143â1152, 2014.
[13] Y. Feng and P. Corsini, â(ð, ð)-Fuzzy ideals of ordered semi-groups,â Annals of Fuzzy Mathematics and Informatics, vol. 4,no. 1, pp. 123â129, 2012.
[14] Y. B. Jun, M. S. Kang, and C. H. Park, âFuzzy subgroups basedon fuzzy points,â Communications of the Korean MathematicalSociety, vol. 26, no. 3, pp. 349â371, 2011.
[15] B. Yao, â(ð, ð)-Fuzzy normal subgroups, (ð, ð)-fuzzy quotientsubgroups,âThe Journal of Fuzzy Mathematics, vol. 13, no. 3, pp.695â705, 2005.
[16] I. Chon, âFuzzy subgroups as products,â Fuzzy Sets and Systems,vol. 141, no. 3, pp. 505â508, 2004.
[17] S. Yamak, O. Kazancı, and D. Bayrak, âA solution to an openproblem on the T-product of TL-fuzzy subgroups,â Fuzzy Setsand Systems, vol. 178, pp. 102â106, 2011.
[18] J. A. Goguen, âL-fuzzy sets,â Journal of Mathematical Analysisand Applications, vol. 18, pp. 145â174, 1967.
[19] L. A. Zadeh, âFuzzy sets,â Information and Computation, vol. 8,pp. 338â353, 1965.
[20] J. N. Mordeson and D. S. Malik, Fuzzy Commutative Algebra,World Scientific, 1998.
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Operations ResearchAdvances in
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Decision SciencesAdvances in
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Stochastic AnalysisInternational Journal of