Abstract Algebra/Group Theory/Group/Definition of a Group/Definition of Closure
Jump to navigation Jump to search
Definition of Closure[edit | edit source]
Let G be a group with binary operation
Usage[edit | edit source]
- If a, b are in G, a b is in G.
Notice[edit | edit source]
- G has to be a group
- Both a and b have to be elements of G.
- has to be the binary operation of G
- The converse is not necessary true:
- a b is in G does not mean a or b must be in G.