Displaying similar documents to “Orthogonal and additivity modulo a subgroup.”

Solvable groups with many BFC-subgroups.

O. D. Artemovych (2000)

Publicacions Matemàtiques

Similarity:

We characterize the solvable groups without infinite properly ascending chains of non-BFC subgroups and prove that a non-BFC group with a descending chain whose factors are finite or abelian is a Cernikov group or has an infinite properly descending chain of non-BFC subgroups.

Groups – Additive Notation

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense...