Direct factor sub-IAPS
This article defines a group sub-IAPS property: a property that can be evaluated to true/false given an IAPS of groups and a sub-IAPS.
ANALOGY: This is an analogue in IAPS of a property encountered in group. Specifically, it is a sub-IAPS property analogous to the subgroup property: direct factor
View other analogues of direct factor | View other analogues in IAPSs of subgroup properties (OR, View as a tabulated list)
Definition
A sub-IAPS of an IAPS of groups is termed a direct factor if there exists another sub-IAPS such that the whole IAPS is the internal direct product of the two sub-IAPSes.