- Abstract algebra
- >
- Fields of abstract algebra
- >
- Group theory
- >
- Properties of groups

- Algebra
- >
- Abstract algebra
- >
- Algebraic structures
- >
- Properties of groups

- Fields of mathematics
- >
- Fields of abstract algebra
- >
- Group theory
- >
- Properties of groups

- Mathematical concepts
- >
- Mathematical structures
- >
- Algebraic structures
- >
- Properties of groups

- Mathematical objects
- >
- Mathematical structures
- >
- Algebraic structures
- >
- Properties of groups

Metabelian group

In mathematics, a metabelian group is a group whose commutator subgroup is abelian. Equivalently, a group G is metabelian if and only if there is an abelian normal subgroup A such that the quotient gr

Absolutely simple group

In mathematics, in the field of group theory, a group is said to be absolutely simple if it has no proper nontrivial serial subgroups. That is, is an absolutely simple group if the only serial subgrou

Prosolvable group

In mathematics, more precisely in algebra, a prosolvable group (less common: prosoluble group) is a group that is isomorphic to the inverse limit of an inverse system of solvable groups. Equivalently,

Nice subgroup

In algebra, a nice subgroup H of an abelian p-group G is a subgroup such that pα(G/H) = 〈pαG,H〉/H for all ordinals α. Nice subgroups were introduced by Hill. Knice subgroups are a modification of this

Complete group

In mathematics, a group G is said to be complete if every automorphism of G is inner, and it is centerless; that is, it has a trivial outer automorphism group and trivial center. Equivalently, a group

CN-group

In mathematics, in the area of algebra known as group theory, a more than fifty-year effort was made to answer a conjecture of: are all groups of odd order solvable? Progress was made by showing that

Finitely generated group

In algebra, a finitely generated group is a group G that has some finite generating set S so that every element of G can be written as the combination (under the group operation) of finitely many elem

Automatic group

In mathematics, an automatic group is a finitely generated group equipped with several finite-state automata. These automata represent the Cayley graph of the group. That is, they can tell if a given

Regular p-group

In mathematical finite group theory, the concept of regular p-group captures some of the more important properties of abelian p-groups, but is general enough to include most "small" p-groups. Regular

Torsion-free abelian group

In mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutati

Critical group

In mathematics, in the realm of group theory, a group is said to be critical if it is not in the variety generated by all its proper subquotients, which includes all its subgroups and all its quotient

Superperfect group

In mathematics, in the realm of group theory, a group is said to be superperfect when its first two homology groups are trivial: H1(G, Z) = H2(G, Z) = 0. This is stronger than a perfect group, which i

Thin group (combinatorial group theory)

In mathematics, in the realm of group theory, a group is said to be thin if there is a finite upper bound on the girth of the Cayley graph induced by any finite generating set. The group is called fat

Infinite conjugacy class property

In mathematics, a group is said to have the infinite conjugacy class property, or to be an ICC group, if the conjugacy class of every group element but the identity is infinite. The von Neumann group

Dihedral group

In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they p

Locally finite group

In mathematics, in the field of group theory, a locally finite group is a type of group that can be studied in ways analogous to a finite group. Sylow subgroups, Carter subgroups, and abelian subgroup

Subdirectly irreducible algebra

In the branch of mathematics known as universal algebra (and in its applications), a subdirectly irreducible algebra is an algebra that cannot be factored as a subdirect product of "simpler" algebras.

Elementary group

In algebra, more specifically group theory, a p-elementary group is a direct product of a finite cyclic group of order relatively prime to p and a p-group. A finite group is an elementary group if it

Serre's property FA

In mathematics, Property FA is a property of groups first defined by Jean-Pierre Serre. A group G is said to have property FA if every action of G on a tree has a global fixed point. Serre shows that

Characteristically simple group

In mathematics, in the field of group theory, a group is said to be characteristically simple if it has no proper nontrivial characteristic subgroups. Characteristically simple groups are sometimes al

Sofic group

In mathematics, a sofic group is a group whose Cayley graph is an initially subamenable graph, or equivalently a subgroup of an ultraproduct of finite-rank symmetric groups such that every two element

Perfect group

In mathematics, more specifically in group theory, a group is said to be perfect if it equals its own commutator subgroup, or equivalently, if the group has no non-trivial abelian quotients (equivalen

Metacyclic group

In group theory, a metacyclic group is an extension of a cyclic group by a cyclic group. That is, it is a group G for which there is a short exact sequence where H and K are cyclic. Equivalently, a me

Imperfect group

In mathematics, in the area of algebra known as group theory, an imperfect group is a group with no nontrivial perfect quotients. Some of their basic properties were established in. The study of imper

Complemented group

In mathematics, in the realm of group theory, the term complemented group is used in two distinct, but similar ways. In, a complemented group is one in which every subgroup has a group-theoretic compl

P-soluble group

No description available.

Abelian group

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are w

Nielsen–Schreier theorem

In group theory, a branch of mathematics, the Nielsen–Schreier theorem states that every subgroup of a free group is itself free. It is named after Jakob Nielsen and Otto Schreier.

Dedekind group

In group theory, a Dedekind group is a group G such that every subgroup of G is normal.All abelian groups are Dedekind groups.A non-abelian Dedekind group is called a Hamiltonian group. The most famil

Gromov boundary

In mathematics, the Gromov boundary of a δ-hyperbolic space (especially a hyperbolic group) is an abstract concept generalizing the boundary sphere of hyperbolic space. Conceptually, the Gromov bounda

Stable group

In model theory, a stable group is a group that is stable in the sense of stability theory. An important class of examples is provided by groups of finite Morley rank (see below).

Polycyclic group

In mathematics, a polycyclic group is a solvable group that satisfies the maximal condition on subgroups (that is, every subgroup is finitely generated). Polycyclic groups are finitely presented, whic

Free group

In mathematics, the free group FS over a given set S consists of all words that can be built from members of S, considering two words to be different unless their equality follows from the group axiom

Metanilpotent group

In mathematics, in the field of group theory, a metanilpotent group is a group that is nilpotent by nilpotent. In other words, it has a normal nilpotent subgroup such that the quotient group is also n

Residual property (mathematics)

In the mathematical field of group theory, a group is residually X (where X is some property of groups) if it "can be recovered from groups with property X". Formally, a group G is residually X if for

SQ-universal group

In mathematics, in the realm of group theory, a countable group is said to be SQ-universal if every countable group can be embedded in one of its quotient groups. SQ-universality can be thought of as

Hopfian group

In mathematics, a Hopfian group is a group G for which every epimorphism G → G is an isomorphism. Equivalently, a group is Hopfian if and only if it is not isomorphic to any of its proper quotients. A

Algebraically compact group

In mathematics, in the realm of abelian group theory, a group is said to be algebraically compact if it is a direct summand of every abelian group containing it as a pure subgroup. Equivalent characte

Simple group

In mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, namely a

Powerful p-group

In mathematics, in the field of group theory, especially in the study of p-groups and pro-p-groups, the concept of powerful p-groups plays an important role. They were introduced in, where a number of

Free-by-cyclic group

In group theory, especially, in geometric group theory, the class of free-by-cyclic groups have been deeply studied as important examples. A group is said to be free-by-cyclic if it has a free normal

Representation rigid group

In mathematics, in the representation theory of groups, a group is said to be representation rigid if for every , it has only finitely many isomorphism classes of complex irreducible representations o

P-constrained group

In mathematics, a p-constrained group is a finite group resembling the centralizer of an element of prime order p in a group of Lie type over a finite field of characteristic p. They were introduced b

Class of groups

A class of groups is a set theoretical collection of groups satisfying the property that if G is in the collection then every group isomorphic to G is also in the collection. This concept arose from t

T-group (mathematics)

In mathematics, in the field of group theory, a T-group is a group in which the property of normality is transitive, that is, every subnormal subgroup is normal. Here are some facts about T-groups:
*

Triangle group

In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangl

Word metric

In group theory, a word metric on a discrete group is a way to measure distance between any two elements of . As the name suggests, the word metric is a metric on , assigning to any two elements , of

Cotorsion group

In abelian group theory, an abelian group is said to be cotorsion if every extension of it by a torsion-free group splits. If the group is , this says that for all torsion-free groups . It suffices to

Iwasawa group

In mathematics, a group is called an Iwasawa group, M-group or modular group if its lattice of subgroups is modular. Alternatively, a group G is called an Iwasawa group when every subgroup of G is per

HN group

In mathematics, in the field of group theory, a HN group or hypernormalizing group is a group with the property that the of any subnormal subgroup is the whole group. For finite groups, this is equiva

Parafree group

In mathematics, in the realm of group theory, a group is said to be parafree if its quotients by the terms of its lower central series are the same as those of a free group and if it is residually nil

Locally cyclic group

In mathematics, a locally cyclic group is a group (G, *) in which every finitely generated subgroup is cyclic.

Finite group

In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a

Slender group

In mathematics, a slender group is a torsion-free abelian group that is "small" in a sense that is made precise in the definition below.

A-group

In mathematics, in the area of abstract algebra known as group theory, an A-group is a type of group that is similar to abelian groups. The groups were first studied in the 1940s by Philip Hall, and a

Nilpotent group

In mathematics, specifically group theory, a nilpotent group G is a group that has an upper central series that terminates with G. Equivalently, its central series is of finite length or its lower cen

Random group

In mathematics, random groups are certain groups obtained by a probabilistic construction. They were introduced by Misha Gromov to answer questions such as "What does a typical group look like?" It so

Cyclic group

In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted Cn, that is generated by a single element. That is, it is a set of invertible

Capable group

In mathematics, in the realm of group theory, a group is said to be capable if it occurs as the inner automorphism group of some group. These groups were first studied by Reinhold Baer, who showed tha

Triple product property

In abstract algebra, the triple product property is an identity satisfied in some groups. Let be a non-trivial group. Three nonempty subsets are said to have the triple product property in if for all

Algebraic group

In mathematics, an algebraic group is an algebraic variety endowed with a group structure which is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs bot

Solvable group

In mathematics, more specifically in the field of group theory, a solvable group or soluble group is a group that can be constructed from abelian groups using extensions. Equivalently, a solvable grou

CA-group

In mathematics, in the realm of group theory, a group is said to be a CA-group or centralizer abelian group if the centralizer of any nonidentity element is an abelian subgroup. Finite CA-groups are o

Baer group

In mathematics, a Baer group is a group in which every cyclic subgroup is subnormal. Every Baer group is locally nilpotent. Baer groups are named after Reinhold Baer.

Divisible group

In mathematics, especially in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every ele

Acyclic group

No description available.

Almost simple group

In mathematics, a group is said to be almost simple if it contains a non-abelian simple group and is contained within the automorphism group of that simple group – that is, if it fits between a (non-a

Algebraically closed group

In group theory, a group is algebraically closed if any finite set of equations and inequations that are applicable to have a solution in without needing a group extension. This notion will be made pr

Z-group

In mathematics, especially in the area of algebra known as group theory, the term Z-group refers to a number of distinct types of groups:
* in the study of finite groups, a Z-group is a finite group

List of group theory topics

In mathematics and 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 a

Elementary amenable group

In mathematics, a group is called elementary amenable if it can be built up from finite groups and abelian groups by a sequence of simple operations that result in amenable groups when applied to amen

Hyperbolic group

In group theory, more precisely in geometric group theory, a hyperbolic group, also known as a word hyperbolic group or Gromov hyperbolic group, is a finitely generated group equipped with a word metr

Non-abelian group

In mathematics, and specifically in group theory, a non-abelian group, sometimes called a non-commutative group, is a group (G, ∗) in which there exists at least one pair of elements a and b of G, suc

Monomial group

In mathematics, in the area of algebra studying the character theory of finite groups, an M-group or monomial group is a finite group whose complex irreducible characters are all monomial, that is, in

FC-group

In mathematics, in the field of group theory, an FC-group is a group in which every conjugacy class of elements has finite cardinality. The following are some facts about FC-groups:
* Every finite gr

Pro-p group

In mathematics, a pro-p group (for some prime number p) is a profinite group such that for any open normal subgroup the quotient group is a p-group. Note that, as profinite groups are compact, the ope

Strictly simple group

In mathematics, in the field of group theory, a group is said to be strictly simple if it has no proper nontrivial ascendant subgroups. That is, is a strictly simple group if the only ascendant subgro

Free abelian group

In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basi

Quasisimple group

In mathematics, a quasisimple group (also known as a covering group) is a group that is a perfect central extension E of a simple group S. In other words, there is a short exact sequence such that , w

Torsion group

In group theory, a branch of mathematics, a torsion group or a periodic group is a group in which every element has finite order. The exponent of such a group, if it exists, is the least common multip

Monothetic group

In mathematics, a monothetic group is a topological group with a dense cyclic subgroup. They were introduced by Van Dantzig. An example is the additive group of p-adic integers, in which the integers

Surjunctive group

In mathematics, a surjunctive group is a group such that every injective cellular automaton with the group elements as its cells is also surjective. Surjunctive groups were introduced by . It is unkno

Residually finite group

In the mathematical field of group theory, a group G is residually finite or finitely approximable if for every element g that is not the identity in G there is a homomorphism h from G to a finite gro

Tame group

In mathematical group theory, a tame group is a certain kind of group defined in model theory. Formally, we define a bad field as a structure of the form (K, T), where K is an algebraically closed fie

© 2023 Useful Links.