# CID-operator

## Contents

## Definition

The **CID-operator** or **centralizer-of-involution-domination-operator** is an operator that takes as input a subgroup-defining function (which may make sense for all groups or for a more restricted class like finite groups) and outputs a group property as follows. For a subgroup-defining function , we say that satisfies the CID of if for any involution in :

## Application to subgroup-defining functions

### 2-layer

The CID-operator applied to the 2-layer is the tautology. In other words, the 2-layer of any centralizer of involution is always contained in the 2-layer of the whole group.

### B-subgroup

It is conjectured that the CID-operator applied to the B-subgroup is also the tautology. This is the famous B-conjecture that has not yet been resolved.

### Brauer core

The image of the Brauer core subgroup-defining function under the CID-operator is the group property of being a balanced group.