My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
February 19th, 2015, 10:32 AM   #1
Joined: Feb 2015
From: Alabama

Posts: 3
Thanks: 0

Group Theory Proofs, least common multiples, and group operations HELP!

Let G be an infinite cyclic group and let m,n be integers. Prove that <a^m> intersect <a^n> = <a^d> when d is the least common multiple of m,n.

On the set G = Z x {-1, 1} = {(m,a) : m is in Z and a is in the set {-1.1}} we define the operation * by (m,a) * (n,b) = (m + an, ab). Is G a group under this operation? Is the operation commutative?
msv is offline  
February 19th, 2015, 11:19 AM   #2
Global Moderator
CRGreathouse's Avatar
Joined: Nov 2006
From: UTC -5

Posts: 16,046
Thanks: 933

Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms
For the first question, an element of <a^m> is of the form (a^m)^x = a^mx for some nonnegative integer x, and an element of <a^n> is of the form (a^n)^y = a^ny. If a^mx = a^ny then mx = ny (it can't wrap around or it would be a finite cyclic group, counter to our assumption). But then mx must be divisible by n and ny must be divisible by m, and clearly mx is divisible by m and ny is divisible by y, so mx = ny must be divisible by lcm(m, n).
CRGreathouse is offline  

  My Math Forum > College Math Forum > Abstract Algebra

common, group, lcm, least common multiple, multiples, operations, proofs, theory

Search tags for this page
Click on a term to search for related topics.
Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Abelian group or binary operations miran97 Abstract Algebra 7 March 11th, 2013 08:39 PM
group theory question Algebra 1 May 2nd, 2012 10:42 PM
Category-theory (finite group theory) prove butabi Abstract Algebra 8 September 3rd, 2011 01:52 PM
Group Theory ejote Abstract Algebra 1 November 4th, 2010 05:44 PM
Abelian group or binary operations miran97 Algebra 6 December 31st, 1969 04:00 PM

Copyright © 2017 My Math Forum. All rights reserved.