Difference between revisions of "Group (mathematics)"
Jump to navigation
Jump to search
(the Klein four group is going to need more explanation) |
(move up clearer example) |
||
| Line 11: | Line 11: | ||
# the set of [[integers]] <math>\mathbb{Z}</math> under addition: here, zero is the identity, and the inverse of an element <math>a \in \mathbb{Z}</math> is <math>-a</math>. | # the set of [[integers]] <math>\mathbb{Z}</math> under addition: here, zero is the identity, and the inverse of an element <math>a \in \mathbb{Z}</math> is <math>-a</math>. | ||
# the set of the positive [[rational number]]s <math>\mathbb{Q}_+</math> under multiplication: <math>1</math> is the identity, while the inverse of an element <math>\frac{m}{n} \in \mathbb{Q}_+</math> is <math>\frac{n}{m}</math>. | # the set of the positive [[rational number]]s <math>\mathbb{Q}_+</math> under multiplication: <math>1</math> is the identity, while the inverse of an element <math>\frac{m}{n} \in \mathbb{Q}_+</math> is <math>\frac{n}{m}</math>. | ||
| + | # the set of complex numbers {1, -1, <i>i</i>,<i>-i</i>} under multiplication, where <i>i</i> is the square root of -1, the basis of the [[imaginary number]]s. This group is [[isomorphism|isomorphic]] to <math> \mathbb{Z}_{4} </math> under mod addition. | ||
# the [[Klein four group]] consists of the set of formal symbols <math>\{1, i, j, k \} </math> with the relations <math> i^{2} =j^{2}=k^{2}=1, \; ij=k, \; jk=i, \; ki=j. </math> All elements of the Klein four group (except the identity 1) have [[order]] 2. The Klein four group is [[isomorphism|isomorphic]] to <math>\mathbb{Z}_{2} \times \mathbb{Z}_{2}</math> under mod addition. | # the [[Klein four group]] consists of the set of formal symbols <math>\{1, i, j, k \} </math> with the relations <math> i^{2} =j^{2}=k^{2}=1, \; ij=k, \; jk=i, \; ki=j. </math> All elements of the Klein four group (except the identity 1) have [[order]] 2. The Klein four group is [[isomorphism|isomorphic]] to <math>\mathbb{Z}_{2} \times \mathbb{Z}_{2}</math> under mod addition. | ||
| − | |||
Groups are the appropriate mathematical structures for any application involving [[symmetry]]. | Groups are the appropriate mathematical structures for any application involving [[symmetry]]. | ||
[[Category:Algebra]] | [[Category:Algebra]] | ||
Revision as of 12:43, November 17, 2008
A group is a mathematical structure consisting of a set of elements combined with a binary operator which satisfies four conditions:
- Closure: applying the binary operator to any two elements of the group produces a result which itself belongs to the group
- Associativity: where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} are any element of the group
- Existence of Identity: there must exist an identity element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle I} such that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle IA = AI = A} ; that is, applying the binary operator to some element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and the identity element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle I} leaves Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} unchanged
- Existence of Inverse: for each element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , there must exist an inverse Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A^{-1}} such that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle AA^{-1} = A^{-1}A = I}
A group with commutative binary operator is known as Abelian.
Examples
- the set of integers Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}} under addition: here, zero is the identity, and the inverse of an element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in \mathbb{Z}} is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -a} .
- the set of the positive rational numbers Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Q}_+} under multiplication: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} is the identity, while the inverse of an element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{m}{n} \in \mathbb{Q}_+} is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{n}{m}} .
- the set of complex numbers {1, -1, i,-i} under multiplication, where i is the square root of -1, the basis of the imaginary numbers. This group is isomorphic to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}_{4} } under mod addition.
- the Klein four group consists of the set of formal symbols Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{1, i, j, k \} } with the relations Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^{2} =j^{2}=k^{2}=1, \; ij=k, \; jk=i, \; ki=j. } All elements of the Klein four group (except the identity 1) have order 2. The Klein four group is isomorphic to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}_{2} \times \mathbb{Z}_{2}} under mod addition.
Groups are the appropriate mathematical structures for any application involving symmetry.