Quasicyclic group: Difference between revisions

From Groupprops
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.


The quasicyclic group is Abelian, locally finite, and locally cyclic, any two subgroups of it are comparable, and every subgroup is characteristic.
==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.