# Category:Abelian Groups

This category contains results about Abelian Groups.

Definitions specific to this category can be found in Definitions/Abelian Groups.

An **abelian group** is a group $G$ where:

- $\forall a, b \in G: a b = b a$

That is, every element in $G$ commutes with every other element in $G$.

## Subcategories

This category has the following 14 subcategories, out of 14 total.

### B

### C

### E

### N

### P

## Pages in category "Abelian Groups"

The following 68 pages are in this category, out of 68 total.

### A

- Abelian Group Factored by Prime
- Abelian Group Factored by Prime/Corollary
- Abelian Group Induces Commutative B-Algebra
- Abelian Group Induces Entropic Structure
- Abelian Group is Simple iff Prime
- Abelian Group of Order Twice Odd has Exactly One Order 2 Element
- Abelian Group of Prime-power Order is Product of Cyclic Groups
- Abelian Group of Prime-power Order is Product of Cyclic Groups/Corollary
- Abelian Group of Semiprime Order is Cyclic
- Abelian Quotient Group
- Additive Group of Integers is Countably Infinite Abelian Group
- All Elements Self-Inverse then Abelian

### C

### E

### F

### G

### I

### M

### P

### Q

### S

- Sequence of Integers defining Abelian Group
- Set System Closed under Symmetric Difference is Abelian Group
- Structure Induced by Abelian Group Operation is Abelian Group
- Subgroup Generated by Commuting Elements is Abelian
- Subgroup of Abelian Group is Abelian
- Subgroup of Abelian Group is Normal
- Subgroup of Elements whose Order Divides Integer
- Subset of Abelian Group Generated by Product of Element with Inverse Element is Subgroup
- Subset Product of Abelian Subgroups
- Symmetric Difference on Power Set forms Abelian Group