The paper examines various properties of [Formula: see text]-[Formula: see text]-subgroup structures and addresses an open problem on the existence of topological group structures on the [Formula: see text]-dimensional Khalimsky ([Formula: see text]-, for brevity) topological space and Marcus–Wyse ([Formula: see text]-, for short) topological plane. In particular, we obtain many types of totally [Formula: see text]-disconnected or [Formula: see text]-connected subgroups of a [Formula: see text]-connected [Formula: see text]-[Formula: see text]-group. Besides, we prove that each of the [Formula: see text]-dimensional [Formula: see text]-topological space and the [Formula: see text]-topological plane cannot be a typical topological group. Unlike an existence of a [Formula: see text]-[Formula: see text]-group structure of [Formula: see text] (see Proposition 4.7), we prove that neither of [Formula: see text] and [Formula: see text] is a topological group, where [Formula: see text] (respectively, [Formula: see text]) is a simple closed [Formula: see text]- (respectively, [Formula: see text]-) topological curve with [Formula: see text] elements in [Formula: see text] (respectively, [Formula: see text]) and the operation “∗” is a special kind of binary operation for establishing a group structure of each of [Formula: see text] and [Formula: see text]. Finally, given a [Formula: see text]-[Formula: see text]-group structure of [Formula: see text], we find several types of [Formula: see text]-[Formula: see text]-subgroup structures of it (see Theorem 5.7).