This paper aims to expand soft int-group theory by analyzing its many aspects and structural properties regarding soft cosets and soft quotient groups, which are crucial concepts of the theory. All the characteristics of soft cosets are given in accordance with the properties of classical cosets in abstract algebra, and many interesting analogous results are obtained. It is proved that if an element is in the e-set, then its soft left and right cosets are the same and equal to the soft set itself. The main and remarkable contribution of this paper to the theory is that the relation between the e-set and the normality of the soft int-group is obtained, and it is proved that if the e-set has an element other than the identity of the group, then the soft int-group is normal. Based on this significant fact, it is revealed that if the soft set is not normal, then there do not exist any equal soft left (right) cosets. These relations are quite striking for the theory, since based on these facts, we show that the normality condition on the soft int-group is unnecessary in many definitions, propositions, and theorems given before. Furthermore, we come up with a fascinating result, unlike classical algebra that to construct a soft quotient group and to hold the fundamental homomorphism theorem, the soft int-group needs not to be normal. It is also demonstrated that the soft int-group is an abelian (normal) int-group if and only if the soft quotient group of G relative to the soft group is abelian. Finally, the torsion soft-int group and 𝑝-soft int-group are introduced, and we show that soft int-group f_G is a torsion soft-int group (𝑝-soft int-group) if and only if the soft quotient group G⁄f_G is a torsion (𝑝-group), respectively.
Read full abstract