Quasicyclic group: Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
Let <math>p</math> be a [[prime number]]. The <math>p</math>-quasicyclic group is defined in the following equivalent ways: | Let <math>p</math> be a [[prime number]]. The '''<math>p</math>-quasicyclic group''' is defined in the following equivalent ways: | ||
* It is the group, under multiplication, of all complex <math>(p^n)^{th}</math> roots of unity for all <math>n</math>. | * It is the group, under multiplication, of all complex <math>(p^n)^{th}</math> roots of unity for all <math>n</math>. | ||
| Line 13: | Line 13: | ||
where the maps are multiplication by <math>p</math> maps. | where the maps are multiplication by <math>p</math> maps. | ||
==Particular cases== | |||
{| class="sortable" border="1" | |||
! Prime number <math>p</math> !! <math>p</math>-quasicyclic group | |||
|- | |||
| 2 || [[2-quasicyclic group]] | |||
|- | |||
| 3 || [[3-quasicyclic group]] | |||
|} | |||
==Group properties== | |||
{| class="sortable" border="1" | |||
! Property !! Satisfied? !! Explanation !! Corollary properties satisfied | |||
|- | |||
| [[satisfies property::abelian group]] || Yes || || Hence, it is also a [[nilpotent group]] and a [[solvable group]]. | |||
|- | |||
| [[satisfies property::locally cyclic group]] || Yes || || | |||
|- | |||
| [[satisfies property::locally finite group]] || Yes || || | |||
|- | |||
| [[satisfies property::p-group]] || Yes || || Hence, it is an [[satisfies property::abelian p-group]], so also a [[satisfies property::nilpotent p-group]]. | |||
|} | |||
Revision as of 21:51, 10 August 2012
This article is about a family of groups with a parameter that is prime. For any fixed value of the prime, we get a particular group.
View other such prime-parametrized groups
Definition
Let be a prime number. The -quasicyclic group is defined in the following equivalent ways:
- It is the group, under multiplication, of all complex roots of unity for all .
- It is the quotient where is the group of all rational numbers that can be expressed with denominator a power of .
- It is the direct limit of the chain of groups:
.
where the maps are multiplication by maps.
Particular cases
| Prime number | -quasicyclic group |
|---|---|
| 2 | 2-quasicyclic group |
| 3 | 3-quasicyclic group |
Group properties
| Property | Satisfied? | Explanation | Corollary properties satisfied |
|---|---|---|---|
| abelian group | Yes | Hence, it is also a nilpotent group and a solvable group. | |
| locally cyclic group | Yes | ||
| locally finite group | Yes | ||
| p-group | Yes | Hence, it is an abelian p-group, so also a nilpotent p-group. |