Left-complemented subset

From Groupprops
Jump to: navigation, search
This article defines a property of subsets of groups
View other properties of subsets of groups|View properties of subsets of abelian groups|View subgroup properties


This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Left-complemented subset, all facts related to Left-complemented subset) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki

Definition

Symbol-free definition

A subset of a group is termed a left complemented subset if it satisfies the following equivalent conditions:

  • There exists another subset such that every element of the group can be written as the product of an element from the other subset and an element of the original subset, in a unique way.
  • There is a system of translates of the subset (under left multiplication by the group) that form a partition of the group.

We can analogously define right complemented subset.

Definition with symbols

A subset T of a group G is termed a left complemented subset if it satisfies the following equivalent conditions:

  • There exists another subset S such that every element of G can be uniquely written in the form st where s is in S and t is in T.
  • There exists a collection of translates xT of T such that the xT are pairwise disjoint and their union is the whole of G.

Relation with other properties

Stronger properties