Aggregation of fuzzy subgroups

Given an aggregation function, and two fuzzy subgroups of a group, this study investigates whether the aggregation of them is also a fuzzy subgroup. It is proven that if the cardinal of the group is a prime power, then it is always a fuzzy subgroup. For a general group, it is proven that the existence of a binary relation between the fuzzy subgroups determines if their aggregation is a fuzzy subgroup. Moreover, given two fuzzy subgroups, if the aggregation of them is a fuzzy subgroup for some strictly monotone aggregation function, then it is a fuzzy subgroup for any aggregation function. The present study also examines conditions on the aggregation function that characterise the case where the aggregation of two arbitrary fuzzy subgroups is also a fuzzy subgroup.