Professional Documents
Culture Documents
1 Seminor Cyclic Groups
1 Seminor Cyclic Groups
Professor,
Department of Mathematics,
University of Mandalay
Co supervisor : Dr Ni Ni Lwin,
Lecture,
Department of Mathematics,
University of Mandalay
Cyclic Groups
Abstract
modulo n. Finally, it is shown that if the order of a cyclic group is n then the
1. Introduction to Group
1.1 Definitions
and we write if .
A relation is called an equivalence relation if the following three axioms
(i) (reflexive),
1.2 Definition
3
(i) and
1.3 Definition
divide we write
1.4 Proposition
Proof:
We then conclude that there are precisely n distinct equivalence classes mod n,
these equivalence classes partition the integers . The set of equivalence classes
under this equivalence relation will be denoted by and is called the integers
modulo n or the integers mod n.
1.5 Definitions
have
1.6 Examples
(i) The usual addition, + is a commutative binary operation on since for any
(ii) The usual subtraction, is a binary operation but not commute since
1.7 Definition
5
all we have
such that
1.8 Example
is a group under the usual addition ,+. We have seen that the operation + is
all In fact,
for
1.10 Definition
A group is finite if contains only finitely many elements. In this case, the
Let and be integers with Then there exist unique integers q and r with
The greatest common divisor of two nonzero integers and is the largest
For any nonzero integers and , there exist integers and such that
For example,
1.16 Definition
The least common multiple of two nonzero integers and is the smallest
For example,
1.17 Theorem
1.18 Proposition
Let U(n) be the set of all congruence classes such that a is relatively
We observe that an integer has a multiplicative inverse mod if and only if,
and are relatively prime. So, define for all the set to be the set of all
that and
1.19 Definition
1.20 Example
2. Subgroups
We have known that every set has subsets. Analogously, we see that every
group has a subset, namely, subgroups. In this section, we define a subgroup, collect
subgroup tests and give examples.
2.1 Definition
2.2 Example
2.3 Definition
(ii) A singleton set forms a subgroup of all groups and is called the trivial
or
2.4 Example
Proof:
Since the operations on H and on G are same, this operation is associative. Next,
Proof:
10
Proof:
therefore, But,
2.8 Example
We show that every subgroup of has the form for . That is,
3. Cyclic Groups
Cyclic groups are groups in which every element is a power of some fixed
element. In this section, we discuss some results on cyclic groups, and find the
number elements of a given order in cyclic groups and the number of subgroups in
cyclic groups.
3.1 Theorem
the smallest subgroup of G that contains , that is, every subgroup containing a
contains H.
11
Proof:
3.2 Definition
3.3 Example
Next, we rewrite
3.4 Example
and
and
12
3.5 Example
3.6 Proposition
Let be a finite cyclic group where has order . Then the powers
are distinct.
Proof:
Since has order , are all different from . Now we will show
are distinct.
3.7 Proposition
Proof:
Therefore,
3.8 Proposition
Proof:
where Then
13
so that is abelian.
3.9 Theorem
Let be a group, and let . If has infinite order, then if and only
divides
Proof:
Clearly, .
Then
least positive integer such that is the identity, we must have , so that
divides
3.10 Corollary
Proof:
3.11 Corollary
Proof:
3.13 Theorem
and
Proof:
15
This proves .
3.14 Corollary
In a finite cyclic group, the order of an element divides the order of the group.
Proof:
3.15 Corollary
and only if .
Proof:
3.16 Corollary
if .
Proof:
3.17 Corollary
Proof:
3.19 Example
and
3.20 Example
Proof:
element of has the form and when belongs to with then belong
to also and is positive. Thus, our claim is verified. Now let be the least
, so must be 0. Therefore, .
To prove the last part of Theorem, let be any positive divisor of . We will
show that is the one and only subgroup of of order . By Theorem 3.13,
and
3.22 Example
.
That is,
order 30,
order 15,
order 10,
order 6,
order 5,
order 3,
order 2,
19
order 1.
3.23 Corollary
Proof:
divisor of by Theorem 3.21. Again, by Theorem 3.21, for each positive divisor
the group has exactly one subgroup of order . Since , the proof
is complete.
3.24 Example
order 30,
order 15,
order 10,
order 6,
order 5,
order 3,
order 2,
order 1.
By combining Theorem 3.13 and 3.21, we can easily count the number of
elements of each order in a finite cyclic group.
20
3.25 Definition
Let be the set of all positive integers. The Euler -function is defined as
relatively prime to .
3.26 Example
3.27 Theorem
group of order is .
Proof:
By Theorem 3.21, the group has exactly one subgroup of order , say . Then
precisely .
3.28 Example
Thus for a finite cyclic group of order , the number of elements of order for
3.29 Corollary
Proof:
all elements of order d in G are in , we are done. So, suppose that there are an
is a multiple of .
3.30 Proposition
Proof:
Thus, Hence
3.31 Example
by Proposition 3.30.
3.32 Proposition
Proof:
3.33 Proposition
Let a be an element in a group such that a has infinite order. Then the order of
Proof:
23
3.34 Proposition
H=
Proof:
3.35 Example
3.36 Proposition
Let G be an infinite cyclic group. Then e is the only element in G of finite order.
Proof:
Since G is an infinite cyclic group, for some such that the order of
3.37 Proposition
24
Proof:
3.38 Proposition
Proof:
Since
3.39 Proposition
Proof:
25
3.40 Proposition
Proof:
3.40 Theorem
Proof:
integer ), and this contradicts the assumption that has no nontrivial subgroups.
The converse of this theorem will see in Corollary 4.9. To see this we need
some definitions and theorems.
4.1 Definitions
4.2 Example
and
4.2 Lemma
(i)
(ii)
(iii)
Proof:
(i)
.
Proof:
4.4 Example
28
4.5 Definition
and is denoted by .
4.6 Corollary
Proof:
4.7 Corollary
In a finite group, the order of each element of the group divides the order of
the group.
Proof:
4.8 Corollary
Proof:
Suppose that G has prime order. Let and . Then divides and
4.9 Corollary
Proof:
Since the divisors of a cyclic group of prime order are 1 and its order, its
subgroups are and itself by Theorem 4.3. Thus the proof is complete.
4.10 Corollary
Let G be a group such that where p and q are prime. Then every proper
subgroup of G is cyclic.
Proof:
4.11 Example
5. Subgroup lattice
In this section, we introduce the basic concepts of lattice theory and develop
the elementary properties of subgroup lattices.
5.1 Definition
(i) (reflexivity).
(ii) If (antisymmetry).
30
(iii) If (transitivity).
5.2 Definitions
will be adapted and will be referred to as the meet and as the join.
5.3 Definitions
5.4 Definitions
Small finite posets are after described with a diagram called a Hasse diagram,
which is a graph whose nodes are labeled with the elements of the poset and whose
edges indicate the covering relation.
5.5 Example
for all
31
5.6 Definitions
5.7 Example
respect to set inclusion. Moreover, any subset of has a greatest lower bound in
the intersection of all its elements, and a least upper bound in the union
of all its elements. Thus is a complete lattice, and is called the subgroup lattice
of G.
5.8 Examples
n 2, 3, 4, 5, 6, 8,12
33
REFERENCES
[3] Dummit, D. S. and Foote, R. M., “Abstract Algebra”, Third Edition, John
Wiley and Sons, Inc., Newjersy, 2004.
[4] Fraleigh, J. B., “A First Course in Abstract Algebra”, Seventh Edition,
Addision Wesley, Toronto, 2003.
[6] Gilbert, J. and Gilbert, L., “Elements of Modern Algebra”, Seventh Edition,
Brooks/Cole, Cengage Learning, USA, 2009.
[7] Hampejs, M., Holighaus, N., Toth, L. and Wiesmeyr, C., “Representing and
[8] Kurzweil, H. and Stellmacher, B., “The Theory of Finite Groups”, Springer-
Verlag, New York, 2004.
[9] Schmidt, R., “Subgroup Lattices of Groups”, Walter de Gruyter, Berlin, 1994.
Group ”, Annals of Pure and Applied Mathematics, Vol. 14, No.1, pp.
119-123, 2017.