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
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
- 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 .