Generalized topological ordered groups
F. J. García-Pacheco , M. A. Moreno-Frías , S. Rahbariyan
Electronic Research Archive ›› 2026, Vol. 34 ›› Issue (5) : 3277 -3288.
A structured group is a group endowed with a binary internal relation compatible with the group operation, which can be generalized to a type of partially ordered group. In this paper, we investigated two kinds of structured groups: first, those in which the binary internal relation is an equivalence relation, where we showed that the quotient set acquires a group structure, leading to a characterization of its normal subgroups. As a consequence, we obtained that group quotients by congruencies are equivalent to group quotients by normality. Additionally, we proved that the quotient set of a topological group with a compatible equivalence relation is also a topological group whose canonical projection is an open map. The second type of structured groups, we considered, are those with a partial order relation. In this case, we identified nonrestrictive sufficient conditions for the order topology to define a monoid topology, hence, a group topology.
topological group / ordered group / order topology
| [1] |
|
| [2] |
|
| [3] |
|
| [4] |
|
| [5] |
|
| [6] |
|
| [7] |
|
| [8] |
|
| [9] |
|
| [10] |
|
| [11] |
|
| [12] |
|
| [13] |
|
| [14] |
|
/
| 〈 |
|
〉 |