Order of Finite Soft Quasigroups with Application to Egalitarianism

Abstract In this work, a soft set (F, A) was introduced over a quasigroup (Q,) and the study of finite soft quasigroup was carried out, motivated by the study of algebraic structures of soft sets. By introducing the order of a finite soft quasigroup, various inequality relationships that exist between the order of a finite quasigroup, the order of its soft quasigroup and the cardinality of its set of parameters were established. By introducing the arithmetic mean 𝒜ℱ(F, A) and geometric mean 𝒢ℱ(F, A) of a finite soft quasigroup (F, A), a sort of Lagrange’s Formula |(F, A)| = |A|𝒜ℱ(F, A) for finite soft quasigroup was gotten. Some of the inequalities gotten gave an upper bound for the order of a finite soft quasigroup in terms of the order of its quasigroup and cardinality of its set of parameters, and a lower bound for the order of the quasigroup in terms of the arithmetic mean of the finite soft quasigroup. A chain of inequalities called the Maclaurin’s inequality for any finite soft quasigroup (F, A)(Q,·) was shown to exist. A necessary and sufficient condition for a type of finite soft quasigroup to be extensible to a finite super soft quasigroup was established. This result is of practical use whenever a larger set of parameters is required. The results therein were illustrated with examples. Application to uniformity, equality and equity in distribution for social living is considered.