Abelianness and equivalent definitions in general

In group theory, we say that a group $(G, \cdot)$ is abelian if (and only if) $a \cdot b = b \cdot a$ for all $a, b \in G$.

Abelian groups have certain properties that are generally (that is in the mathematical sense – meaning always) true, so if we know that a group we are dealing with is abelian, we can instantly deduce a variety of things about the group and how it behaves.

Once we know a group is abelian, we can make some useful deductions. Does it work the other way around? Are there truths that will allow us to conclude that a group is abelian?

For what statements are both of these true? What statements imply, and are implied by, the fact that a group is abelian? Essentially, we are asking:

What properties are equivalent to abelianness?

From here onwards we’ll use juxtaposition (like $ab$) rather than an explicit symbol (like $a \cdot b$) to indicate the group operation acting on elements $a$ and $b$.

As an example, take $$(xy)^2 = x^2 y^2 \;\forall x, y \in G$$ Clearly, if G is abelian this is true. Why? Because $$(xy)^2 = (xy)(xy) = x(yx)y = x(xy)y = (xx)(yy) = x^2 y^2$$ using the fact that the group operation is associative and $G$ is abelian.

However, if we write out our first condition slightly differently

$$xyxy = xxyy$$

and then apply the ‘cancellation property’ of groups (cancelling the leftmost $x$ and the rightmost $y$), we end up with

$$yx = xy$$

Succinctly, we have proven

$$(xy)^2 = x^2 y^2 \iff xy = yx$$

for arbitrary elements $x,y$ of a group $G$. Since the elements are arbitrary, we have proven that $G$ is abelian if and only if our original condition is true.

In fact, we might as well define a group to be abelian if it satisfies this property. It may seem strange, but this doesn’t change anything about the mathematics at all. Which definition of the long (and in some sense infinite) list of equivalent definitions we happen to choose to be ‘the definition’ is an entirely human distinction. We can take whichever one we like, and the others are then just consequences of this definition (theorems in our theory).

How about another example? Define the direct product of groups $(G, \circ_{G})$ and $(H, \circ_{H})$, denoted $G \oplus H$, to be the cartesian product $G \times H = \{ (g,h) : g \in G, h \in H \}$ with the group operation $\circ$ defined such that $(g_1, h_1) \circ (g_2, h_2) = (g_1 \circ_{G} g_2, h_1 \circ_{H} h_2)$.

Clearly, the direct product of some number of cyclic groups is abelian, since the cyclic groups themselves are abelian, and the componentwise multiplication of the direct product reduces abelianness in the product to abelianness in each participating group.

It is a much deeper fact that the converse is true too: every (finitely generated) abelian group, say $G$, is isomorphic to the direct product of some number of cyclic groups: this is the so-called Fundamental Theorem:

$$G \cong \bigoplus_{i=1}^{n} \mathbb{Z}_{k_i}$$

where $k_1, k_2, \dots, k_n$ are prime powers.

Again, we might as well define an abelian group to be one that has this form, and then the fact that an abelian group’s elements all commute with each other is just another provable theorem.

I think this subtle and perhaps surprising notion of equivalence is rather interesting. It is conceptually easy to prove that two statements are imply each other: just assume one and prove the other, and then repeat the other way around. But to state that the two statements are in fact perfectly equivalent—there exists no universe in which one of these statements is true and the other false—seems like a much stronger thing. And yet it isn’t.

What other interesting equivalences (or alternative definitions) are there in mathematics?

Well, for example: the definition of a prime number.

Most people, if asked, will probably state that a number is prime if and only if it has no factors other than itself and $1$. This seems reasonable, and indeed it is the original motivating definition. However, we can also say that a number $n$ is prime if and only if whenever $n$ divides $ab$, it divides $a$ or $b$ (or both). The first implication (that this is true if $n$ is prime) is a classical theorem called Euclid’s lemma, but in fact the converse is true too and so the statements are equivalent. We might as well define prime numbers this way.

However, something interesting happens when we move from the integers to something more general. In a general ring, these apparently equivalent definitions separate into two distinct notions called ‘prime’ and ‘irreducible’. It just so happens that in the integers (and in general, in a certain class of rings called GCD domains) they coincide.

Another famous example of an interesting equivalence is of course due to the French mathematican Augustin-Louis Cauchy.

The standard definition of convergence of a real sequence is the following:

A sequence $(a_n): \mathbb{N} \to \mathbb{R}$ is said to converge (to $L \in \mathbb{R}$) if for all $\epsilon > 0$ there exists an $N \in \mathbb{N}$ such that for all $n > N$ we have $\lvert a_n – L \rvert < \epsilon$.

In words, it is saying that a sequence converges if and only if we can make the value of the sequence arbitrarily close (as close as we like) to the limit point $L$ by moving sufficiently far along the sequence towards infinity.

There are some functions that satisfy this definition for some (unique!) value of $L$, and some that don’t for any. Another similar but subtly different property a function might have is the following:

A sequence $(a_n): \mathbb{N} \to \mathbb{R}$ is said to be Cauchy if for all $\epsilon > 0$ there exists an $N \in \mathbb{N}$ such that for all $n, m > N$ we have $\lvert a_n – a_m \rvert < \epsilon$.

This one is saying, in words, that a sequence is Cauchy if and only if the terms in the sequence can be made arbitrarily close to each other by moving sufficiently far along the sequence.

As you may have suspected, these two properties turn out to imply each other: convergent sequences are Cauchy, and Cauchy sequences converge. The first implication is the easier one to prove, but both are true and therefore the two properties are equivalent. They are both perfectly good characterisations of convergence. This is particularly convenient since they contain an important conceptual difference: the second definition makes no mention of a limit, so we can prove convergence to some limit even when we don’t know what that limit actually is. Having these kind of equivalences is actually quite powerful!

So, what is the meaning of all of this? The question is perhaps not a mathematical one, and even then I’m not exactly sure of the answer.

My impression is this: definitions are less important than often assumed; it is the underlying properties of mathematical objects that are fundamental. Definitions are just a human way of putting an abstract concept into one-to-one correspondence with a more concrete ‘testable’ truth.

There are some sequences that are Cauchy, and some sequences that converge. In fact, we are talking about the same set of sequences that all have some ‘underlying property’ in common, but as humans we like to anchor this property to things we can more readily pin down in symbols—even if we end up doing so from two quite different angles.

610 Replies to “Abelianness and equivalent definitions in general”

  1. Pingback: metformin 500
  2. Pingback: duloxetine 20 mg
  3. Pingback: amitriptyline cost
  4. Pingback: duloxetine 60mg
  5. Pingback: bayer levitra
  6. Pingback: cialis forms
  7. Pingback: 150 mg viagra
  8. Pingback: losartan doses
  9. Pingback: meloxicam 15mg
  10. Pingback: does viagra expire
  11. Pingback: levitra
  12. Pingback: cialis 20mg sale
  13. Pingback: neurontin 900 mg
  14. Pingback: viagra results
  15. Pingback: cialis 5mg
  16. Pingback: comprar viagra
  17. Pingback: lilly cialis
  18. Pingback: ivermectin gold
  19. Pingback: is viagra safe
  20. Pingback: tadalafil 20 mg
  21. Pingback: sildenafil viagra
  22. Pingback: generic cialis buy
  23. Pingback: cialis pills india
  24. Pingback: buy tadalafil
  25. Pingback: buy cialis without
  26. Pingback: name brand cialis
  27. Pingback: cialis canadian
  28. Pingback: buy insurance
  29. Pingback: buy insurance
  30. Pingback: tinderentrar.com
  31. Pingback: ivermectin tablets
  32. Pingback: buy levitra online
  33. Pingback: cialis otc fda
  34. Pingback: buy sildenafil us
  35. Pingback: drinking on paxil
  36. Pingback: make viagra
  37. Pingback: viagra april 2020
  38. Pingback: online cialis
  39. Pingback: cartoon cialis
  40. Pingback: propecia medicine
  41. Pingback: viagra cialis
  42. Pingback: diflucan 50 mg
  43. Pingback: cialis wikipedia
  44. Pingback: clomid uk
  45. Pingback: acheter viagra
  46. Pingback: cialis 5 mg
  47. Pingback: slipped viagra mom
  48. Pingback: canadian viagra
  49. Pingback: sildenafil dosage
  50. Pingback: ventolin otc uk
  51. Pingback: furosemide 500
  52. Pingback: amoxicillin 125
  53. Pingback: cialis in europe
  54. Pingback: buy cialis ebay
  55. Pingback: wxgajzkv
  56. Pingback: zithromax otc
  57. Pingback: cymbalta wright
  58. Pingback: cialis 5mg tablet
  59. Pingback: cialis otc
  60. Pingback: cialis site
  61. Pingback: buy levitra
  62. Pingback: i took viagra mom
  63. Pingback: mail order viagra
  64. Pingback: viagra discount
  65. Pingback: viagra cost
  66. Pingback: celebrex rating
  67. Pingback: 20 mg buspirone
  68. Pingback: is buspirone
  69. Pingback: baclofen med
  70. Pingback: atorvastatin s
  71. Pingback: abilify definition
  72. Hi there! Someone in my Myspace group shared this website
    with us so I came to take a look. I’m definitely loving
    the information. I’m book-marking and will be tweeting this to my followers!
    Excellent blog and excellent design and style.

  73. I’ve been surfing on-line more than 3 hours these days, yet I never discovered any fascinating article like yours.
    It is lovely price enough for me. Personally, if all web owners
    and bloggers made excellent content as you probably did, the web
    shall be much more helpful than ever before.

  74. Pingback: sildenafil prices
  75. Pingback: viagra on sale
  76. I have been surfing on-line greater than 3 hours today, yet I by no means found any fascinating article like yours.

    It is pretty worth enough for me. In my view, if all web owners and
    bloggers made excellent content material as you
    did, the internet will probably be much more helpful than ever before.

  77. Pingback: viagra meme
  78. YOU NEED QUALITY VISITORS FOR YOUR: xanderlewis.co.uk


    – visitors from search engines
    – visitors from social media
    – visitors from any country you want

    CLAIM YOUR 24 HOURS FREE TEST => https://bit.ly/2HQZggh

  79. YOU NEED QUALITY VISITORS FOR YOUR: xanderlewis.co.uk


    – visitors from search engines
    – visitors from social media
    – visitors from any country you want

    CLAIM YOUR 24 HOURS FREE TEST => https://bit.ly/2HQZggh

  80. Pingback: avanafil vs viagra
  81. Pingback: sildenafil
  82. It is perfect time to make some plans for the future and it is
    time to be happy. I’ve read this post and if I could I desire to suggest you few interesting things or
    tips. Perhaps you could write next articles referring to this article.
    I want to read even more things about it!

  83. Pingback: atorvastatin aka
  84. Pingback: viagra uk
  85. Pingback: marley drug viagra
  86. The other day, while I was at work, my cousin stole my iphone and tested to see if
    it can survive a thirty foot drop, just so she can be a
    youtube sensation. My iPad is now destroyed and she has
    83 views. I know this is totally off topic but I had to share it with someone!

  87. Pingback: cialis or viagra
  88. Pingback: cialis viagra
  89. Pingback: viagra working
  90. Pingback: viagra 100mg
  91. I will immediately grasp your rss feed as I can’t to find your email subscription hyperlink
    or newsletter service. Do you’ve any? Please permit me know so that I may just subscribe.

  92. Pingback: otc viagra
  93. Pingback: cialis copay card
  94. Greetings from Idaho! I’m bored to death at work so I decided to browse your
    blog on my iphone during lunch break. I enjoy the information you present
    here and can’t wait to take a look when I get home. I’m surprised at how fast
    your blog loaded on my mobile .. I’m not even using WIFI, just 3G ..
    Anyhow, amazing site!

  95. YOU NEED QUALITY VISITORS for your: xanderlewis.co.uk

    My name is Nadine Kittredge, and I’m a Web Traffic Specialist. I can get:
    – visitors from search engines
    – visitors from social media
    – visitors from any country you want
    – very low bounce rate & long visit duration

    CLAIM YOUR 24 HOURS FREE TEST => https://bit.ly/3nnmM4I

  96. Great V I should certainly pronounce, impressed with your website. I had no trouble navigating through all the tabs and related info ended up being truly easy to do to access. I recently found what I hoped for before you know it in the least. Quite unusual. Is likely to appreciate it for those who add forums or anything, web site theme . a tones way for your customer to communicate. Nice task..

Leave a Reply