Definitions are just definitions, so you may want to ask: even if a group ring is defined differently, doesn't the ring I defined make sense? What property does it lack? I'll use the same way of defining a ring in a few cases to show the answer depends on how you write down the group, but that there is a "best" way to write down the group that handles all the others. The best way is called both the regular representation and the group ring.
The small ring S
Your original ring S can be defined using G: $g = \left[\begin{array}{rr} . & 1 \\ -1 & -1 \end{array}\right] \qquad G = \langle g \rangle \qquad S = F[g] = \left\{ a g^0 + b g^1 : a,b \in F \right\}$
The ring S has an F-basis { g0, g1 }, since g2 + g1 + g0 = 0. In other words, we have an F-algebra generated by a single element subject to a relation. That means S ≅ F[x]/(x2+x+1).
This S is actually a field whenever x2+x+1 is irreducible, so when F is the field of two elements, S is the field of four elements. Fields are very nice, so S is a nice ring, but it turns out it is too small to really capture all cyclic groups of order three.
A bigger ring T
The original matrices of G can be cleverly expanded using the Kronecker product to form a group H, by defining: $ h = \left[\begin{array}{rr|rr} . & . & . & 1 \\ . & . & -1 & -1 \\ \hline . & -1 & . & -1 \\ 1 & 1 & 1 & 1 \end{array}\right] = \left[\begin{array}{rr} 0g & 1g \\ -1g & -1g \end{array}\right] \qquad H = \langle h \rangle \qquad T = F[h]$
Now one quickly verifies that while h3 = h0, the set { h0, h1, h2 } is linearly independent over F. Putting these two together we have that { h0, h1, h2 } is a basis of T. As before T is an F-algebra generated by a single element subject to a relation, and T ≅ F[x]/(x3−1) ≅ S × F.
It is still obvious that H ≅ C3, so we'd expect our rings for G and for H to be isomorphic. However S has F-dimension 2, and T has F-dimension 3, so they are not isomorphic over any field F.
Even worse, there is no (unital) ring homomorphism from S to T. This is particularly easy to see when F is the field of two elements, since then S is a field, and so the only (nonzero, unital) ring homomorphisms are isomorphisms. Another way to phrase this is to say that T is not even an S-module; this is true over all fields F, but is particularly easy to see when S is a field.
Simply put, the ring we defined using G, namely S, is too small; it does not capture properties of C3 that are clearly evident using H and T.
The just-right ring R
Ok, so maybe S is too small. Why don't we use T? Well, T is three-dimensional, but h is a 4×4 matrix. If we used the basis { h0, h1, h2 } then we can write each power of h as a 3×3 matrix actng as multiplication on that basis. We would get a group K, defined as: $k = \begin{bmatrix} . & 1 & . \\ . & . & 1 \\ 1 & . & . \end{bmatrix} \qquad K=\langle k\rangle \qquad R = F[k]$
Now again K ≅ C3. Coincidentally, R ≅ T, taking the basis { k0, k1, k2 } in the obvious way to the basis { h0, h1, h2 }. This matrix representation is called the regular representation and is used in the typical definition of the group ring. It represents the group of order n as n × n matrices acting as permutations on a basis indexed by the underlying group.
Would we ever need a bigger ring? I mean sure H looked bigger while the smaller K still covered it, but maybe there are versions of C3 that are even bigger! Luckily K is always big enough. Any ring we define for C3 should at the very least be spanned by the group, and so we can write down the group as a quotient of the polynomial ring in the variable x, subject of course to x3 = 1 so that x generates a group X isomorphic to C3. Thus we have a quotient of a three-dimensional ring, F[x]/(x3−1) = R.
In other words, every ring defined by a representation of C3 over the field F will be a quotient of the one-true ring R. Hence R is universal, and is called the group ring.
Other finite groups
Notice how S, T, and R were direct products of extension fields of F. This holds not just for C3, but for any finite abelian group and any base field whose characteristic is coprime to the order of the group. For any finite abelian group, the regular representation is the smallest dimensional representation that still generates the group ring. The fields involved are defined as the splitting fields of the irreducible factors of xn−1, where n is the exponent of the group. If the characteristic of the field divides the order of the group, then xn−1 is no longer separable and you get mildly more complicated rings.
For other finite groups, the rings involved cannot all be commutative, otherwise the group inside the group ring would still be commutative. As long as the characteristic of the field does not divide the group order, the rings involved are all matrix rings over division F-algebras. If xn−1 already splits over F, then you just get a direct product of matrix rings over F. When the characteristic of the field divides the order of the group, things are significantly more complicated. The regular representation is usually not the smallest representation generating the group ring, but it is still the easiest to understand.