SubgroupSubset of a group that forms a group itself Algebraic structure → Group theoryGroup theory Basic notions Subgroup Normal subgroup Group action Quotient group (Semi-)direct product Direct sum Free product Wreath product Group homomorphisms kernel image simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable Glossary of group theory List of group theory topics Finite groups Cyclic group Zn Symmetric group Sn Alternating group An Dihedral group Dn Quaternion group Q Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic Discrete groupsLattices Integers ( Z {\displaystyle \mathbb {Z} } ) Free group Modular groups PSL(2, Z {\displaystyle \mathbb {Z} } )SL(2, Z {\displaystyle \mathbb {Z} } ) Arithmetic group Lattice Hyperbolic group Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞)SU(∞)Sp(∞) Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve vte In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗.
SubringIn mathematics, a subring of a ringR is a subset of R that is itself a ring when binary operations of addition and multiplication on R are restricted to the subset, and that shares the same multiplicative identity as R. DefinitionA subring of a ring (R, +, *, 0, 1) is a subset S of R that preserves the structure of the ring, i.e. a ring (S, +, *, 0, 1) with S ⊆ R. Equivalently, it is both a subgroup of (R, +, 0) and a submonoid of (R, *, 1).
SemigroupIn mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. In mathematical analysis, the term also appears in the theory of one-parameter operator semigroups: see C0-semigroup.
SubsetIn mathematics, a setA is a subset of a set Bif and only if all elements of A are also elements of B; B is then a superset of A. It is possible for A and B to be equal; if they are unequal, then A is a proper subset of B. The relationship of one set being a subset of another is called inclusion (or sometimes containment). A is a subset of B may also be expressed as B includes (or contains) A or A is included (or contained) in B. A k-subset is a subset with k elements.
Group theoryIn abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra.
Group (mathematics)Set with associative invertible operationThe manipulations of the Rubik's Cube form the Rubik's Cube group.In mathematics, a group is a set with an operation that combines any two elements of the set to produce a third element within the same set. The following conditions must hold: the operation is associative, it has an identity element, and every element of the set has an inverse element. For example, the integers with the addition operation form a group.Ring (mathematics)Algebraic structure with addition and multiplicationIn mathematics, a ring is an algebraic structure consisting of a set with two binary operations typically called addition and multiplication and denoted like addition and multiplication of integers. They work similarly to integer addition and multiplication, except that multiplication in a ring does not need to be commutative.
Set (mathematics)In mathematics, a set is a collection of different things; the things are called elements or members of the set and are typically mathematical objects: numbers, symbols, points in space, lines, other geometric shapes, variables, functions, or even other sets. Mathematics typically does not define precisely what constitutes a "set" or "collection", because such a definition would have to be in terms of something else previously defined.Ring theoryIn algebra, ring theory is the study of rings, algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers.
Conjugacy classIn mathematics, especially group theory, two elements a{\displaystyle a} and b{\displaystyle b} of a group are conjugate if there is an element g{\displaystyle g} in the group such that b=gag−1.{\displaystyle b=gag^{-1}.} This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under the maps a↦gag−1,{\displaystyle a\mapsto gag^{-1},} with g{\displaystyle g} an element of the group.
MathematicsMathematics is a field of knowledge concerned with abstract concepts such as numbers, geometric shapes, sets, functions, and probabilities. It uses logical reasoning and proof to study and establish their properties, often expressed as theorems, formulas, and equations. Mathematics is used to model and solve problems in science, engineering, technology, economics, and everyday life.
Commutative propertyIn mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a property of arithmetic, e.g. "3 + 4 = 4 + 3" or "2 × 5 = 5 × 2", the property can also be used in more advanced settings.*As an Amazon Associate I earn from qualifying purchases.