# Category:Composition computations

From Groupprops

*This category lists computations related to the following subgroup property operator:* composition operator

## Pages in category "Composition computations"

The following 23 pages are in this category, out of 23 total. The count *includes* redirect pages that have been included in the category. Redirect pages are shown in italics.

### A

### B

### C

- CDIN of conjugacy-closed implies CDIN
- Characteristic central factor of WNSCDIN implies WNSCDIN
- Characteristic of CDIN implies CDIN
- Characteristic of normal implies normal
- Characteristic of potentially characteristic implies potentially characteristic
- Cofactorial automorphism-invariant implies left-transitively 2-subnormal