Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Useful Lemmas for p-Groups

Description

This lecture covers useful lemmas for p-groups, including Lemma 2.4 which states that if p divides the index of every proper subgroup of a group G, then p also divides the order of the center of G. Additionally, Lemma 2.5 shows that in a finite abelian group G with p dividing its order, there exists an element a such that the order of a is p.

Official source

Related concepts (22)

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 written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

Finitely generated abelian group

In abstract algebra, an abelian group is called finitely generated if there exist finitely many elements in such that every in can be written in the form for some integers . In this case, we say that the set is a generating set of or that generate . Every finite abelian group is finitely generated. The finitely generated abelian groups can be completely classified. The integers, , are a finitely generated abelian group. The integers modulo , , are a finite (hence finitely generated) abelian group.

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 finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups. The study of finite groups has been an integral part of group theory since it arose in the 19th century.

P-group

In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p. Abelian p-groups are also called p-primary or simply primary. A finite group is a p-group if and only if its order (the number of its elements) is a power of p.

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 element is an nth multiple for each positive integer n. Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups. An abelian group is divisible if, for every positive integer and every , there exists such that .

Related lectures (39)

Existence: Proof of Classification Theorem

Covers the proof of the Classification Theorem for finite abelian groups, demonstrating the existence of a decomposition into cyclic groups.

Abelian Groups: First Approach

Introduces the theory of abelian groups, focusing on p-abelian groups and their structure.

Existence in Abelian Case and Group Center

Explores the existence of p-Sylow subgroups in finite groups and the abelian group center.

Uniqueness in Abelian Groups

Explores the uniqueness in abelian groups, emphasizing the structure and choices within the groups.

Torsion and Divisibility