Connected group for logicians
This article defines a property of a group (possibly with additional operations and structure) as viewed in logic/model theory
This article is about a standard (though not very rudimentary) definition in an area related to, but not strictly part of, group theory
Definition
Generic notion
A group (possibly with additional structure and relations) is said to be connected or irreducible if it has no proper definable subgroup of finite index. Here by definable subgroup we mean subgroup definable with respect to the first-order theory of the group.
Metaproperties
Template:Strengthens with structure
The more structure we impose on a group, the harder it is for the group to remain connected. In other words, if a group is connected with a certain amount of additional structure, then it will continue to remain connected when that additional structure is removed.