# Left-complemented subset

From Groupprops

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 definitionVIEW: Definitions built on this | Facts about this: (factscloselyrelated 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 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 can be uniquely written in the form where is in and is in .
- There exists a collection of translates of such that the are pairwise disjoint and their union is the whole of .