# BFC-group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism

View a complete list of group propertiesVIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This is a variation of finiteness (groups)|Find other variations of finiteness (groups) |

This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.VIEW: Definitions built on this | Facts about this: (factscloselyrelated to BFC-group, all facts related to BFC-group) |Survey articles about this | Survey articles about definitions built on this

VIEW RELATED: Analogues of this | Variations of this | Opposites of this |

View a list of other standard non-basic definitions

## Definition

### Symbol-free definition

A group is termed a **BFC-group** if there is a finite constant such that no element in the group has more than distinct conjugates. Such a group is also termed a -BFC-group.

Any Abelian group is a 1-BFC-group.

## Relation with other properties

### Stronger properties

### Weaker properties

## Metaproperties

### Subgroups

This group property is subgroup-closed, viz., any subgroup of a group satisfying the property also satisfies the property

View a complete list of subgroup-closed group properties

Any subgroup of a BFC-group is a BFC-group. In fact, any subgroup of a -BFC group is a -BFC group. This follows from the fact that if two elements in the subgroup are conjugate in the subgroup, they are conjugate in the whole group. Hence, any conjugacy class in the subgroup is contained in a conjugacy class in the whole group.

### Direct products

This group property is direct product-closed, viz., the direct product of an arbitrary (possibly infinite) family of groups each having the property, also has the property

View other direct product-closed group properties

A direct product of BFC-groups is a BFC-group. In fact, a direct product of a -BFC-group and a -BFC-group is a -BFC-group. This follows from the fact that if two elements in the direct product of and are conjugate, then their -coordinates are conjugate and their -coordinates are conjugate. Hence, conjugacy classes in are simply the pairwise direct products of conjugacy classes in and .