Why are abelian groups of interest? What is their usefulness? I am reading about Abelian groups
So apparently it is a set, with an associative binary operation, and identity element, an inverse operation and the binary operation must also be symmetric.
But it is not clear to me how they are useful. Trying to find why they are important it seems they arise as "additive structures" in various systems but this is too abstract for me.
Could someone give some less formal/more practical application or usages showing what is important about abelian groups (layman's terms basically)?
 A: When considering the notion of Abelian groups, you are dealing with an algebraic abstraction: you will not find in mathematics any structures that are just Abelian groups without being something more specific, just like you won't find any animals that are mammals without belonging to some more specific species. The importance of an abstract notion is not that it describes something that cannot be described in a more specific way, but that the notion captures common properties of distinct structures in a useful way. Useful here means that it can explain certain properties common to all these distinct structures that follows the exact same pattern of explanation, even though the structures may be quite different. The same principle holds for all kinds of abstract notions, like (to stay within algebra) fields, vector spaces, rings, groups and whatnot.
The importance of the notion of Abelian groups then is that for certain purposes it captures a sweet spot: it is sufficiently restrictive to prove properties that do not hold for more general groups, while it is not so restrictive that it excludes numerous examples which, for these specific purposes, behave in a very similar way. It is not immediately obvious that Abelian groups do serve such a purpose, but experience shows that on one hand one very often encounters examples of Abelian groups, and on the other hand very many interesting mathematical questions can be treated by arguments that apply uniformly across all these examples, while they are not applicable to the even broader class of groups in general. Basically all structures where one can do the customary additive bookkeeping, adding and subtracting items at will, without constraints on the possibility to perform these operations and with associativity and commutativity guaranteeing that the order of such operations does not matter, are Abelian groups.
A: Informally speaking, an abelian group is a place where you can sum. It's the essence of what defines the sum of ordinary 'counting numbers'.
This allows you - after some exposure - to handle very abstract objects with the same familiarity you have for the latter.
As for any abstract definition, it is not going to make sense unless you have some examples at hand. And as for most abstract definitions, the examples came first. Many, many objects come with a binary operation that is associative and commutative (with unit and inverses) so we gave it at name.
Any "number system" $R$ (technically, I mean a ring here) has a notion of sum $+$, and $(R,+)$ is an abelian group. This includes very familiar number systems such as the integers, rational, real and complex numbers.
But is also includes for example matrices over these number systems. In general, product of matrices is known to depend on the order of the factors, but not their sum. Hence, we can sum matrices 'as if they were numbers'.
Another example is the "number system" $\mathbb{Z}_{12}$, which behaves like hours in a clock. You can think of it as the numbers from $1$ to $12$, but here e.g. $11+4 = 3$. It may be uncomfortable to work with this at first, but knowing that $+$ behaves similarly to ordinary numbers helps.
The list goes on, of course, but it becomes more abstract.
Another thing which may be useful to think about is... well, non-abelian groups. As we said before, in general for matrices $A,B$ we have $AB \neq BA$. Things get non-abelian really quickly in real life too: it is not the same to put your jacket on first and then your t-shirt than doing so in the reverse order.
Commutativity is far from a 'given', hence it is important to know when it does hold. It makes some things easier to organize. But as I said before, if you are not convinced that groups are important in the first place then it may not be clear why them being abelian is a thing to care about.
A: I'll start with the assumption that you think that the integers $\Bbb{Z}$, the rational numbers $\Bbb{Q}$, and/or the real numbers $\Bbb{R}$ are useful or interesting. All of these are examples of Abelian groups. An Abelian group is just an arithmetic system where "addition" makes sense (and is commutative, associative, etc.). It is a common idea in math to take an object of interest and to study an object one step more abstract. For instance, we formalize in the properties of an Abelian group the fundamental properties of $\Bbb{Z}$. Then, any theorem we can prove for Abelian groups $A$ will apply to any of the examples we care about, like $\Bbb{Z}$.
One might reasonably argue that proving results for $\Bbb{Z}$ on its own might be easier than proving more general results about Abelian groups since more should be true in a specific case. This is true to an extent, but sometimes in stripping down objects to their core properties the important features are no longer hidden by the less important features. This is the sort of thing you start to realize with experience, I think.
More concretely, we know that to study divisibility in the integers, modular arithmetic is essentially indispensable. While we could try to formulate theorems about $\Bbb{Z}$ and $\Bbb{Z}/n\Bbb{Z}$ (integers modulo $n$) separately, we would quickly begin to realize that we are wasting time as there are similar structures common to both of these objects. The notion of Abelian group allows us to treat $\Bbb{Z}$ and all of the $\Bbb{Z}/n\Bbb{Z}$'s on even footing.
Sometimes, it is also more conceptually simple to think of things in a more abstract manner. The polynomial rings $\Bbb{Q}[x],\Bbb{R}[x],\Bbb{C}[x]$ all have a division algorithm which gives them the structures of a Euclidean domain. When considering this, it is impossible to miss the resemblance to the division algorithm we learn in school for $\Bbb{Z}$. Viewing these objects as being members of the same family of objects allows us to prove theorems for them all at the same time and to compare and contrast their individual properties. For instance, we can compare the notions of prime factorization in these rings.
Finally, you might think about this like learning a foreign language in some sense. If you only speak your mother tongue, you will have a strong grasp of it no doubt. However, once you begin to learn other languages you can appreciate the features they have that your own language does not. In turn, this typically gives you a deeper appreciation of the structure of your own language. I would say it's the same thing: learning about Abelian groups will change the way you understand polynomials and the integers and enrich your knowledge of them.
A: The same question could really be asked about any abstract algebraic structure: why do we study fields or rings or groups or semigroups, etc.?  For that matter, why do we study abstract algebra at all?
As other answers have noted, algebraic structures are studied because they are useful abstractions.  For example, the reason why we study groups is because the definition of what counts as a group is:

*

*broad enough that a lot of things in mathematics satisfy it, but

*specific enough that we can prove quite a few useful theorems using only the group axioms, which means that these theorems automatically apply to everything that satisfies those axioms.

For example, the integers (and rationals and reals and even complex numbers) under addition, positive rational (and real) numbers under multiplication and invertible $n \times n$ matrices under matrix multiplication all satisfy the definition of a group.  This means that any theorems that we prove about groups in general apply to all of those systems, as different as they may seem on the surface.
And we study abelian groups because, as useful as groups are, it turns out that there are also quite a few useful theorems that we cannot prove just from the group axioms unless we also assume commutativity.  Adding the commutativity axiom thus allows us to prove more useful results — the tradeoff, of course, being that those results won't apply to groups that are not commutative, such as the group of $n \times n$ invertible matrices mentioned above.
This is a common situation in abstract algebra (and in many other areas of "abstract" mathematics): the more specific we make our abstractions, the more results we can prove, but the fewer things those results will apply to.  The trick here is to find abstractions that happen to hit a sweet spot where there are just enough axioms to prove useful results, but no unnecessary ones that we could remove and still prove essentially the same results.  Of course, in practice, there are many such "sweet spots" of varying specificity.  Experience has shown that groups are certainly one of them, while abelian groups are another.
