Sub-APS of groups

From Groupprops
Jump to: navigation, search

Contents

This article gives a basic definition in the following area: APS theory
View other basic definitions in APS theory |View terms related to APS theory |View facts related to APS theory


BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]


Definition

Let (G,\Phi) be an APS of groups. A sub-APS H of G is, for every n, a subgroup H_n of G_n such that \Phi_{m,n}(g,h) \in H_{m+n} whenever g \in H_m, h \in H_n. Thus, H can be viewed as an APS of groups, in its own right.