05.01.2013 Views

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Groups 15<br />

notations (see the <strong>solutions</strong>) these tables co<strong>in</strong>cide. For many purposes it is<br />

natural to consider such groups <strong>of</strong> transformations as co<strong>in</strong>cid<strong>in</strong>g. Therefore<br />

we shall consider abstract objects rather than sets <strong>of</strong> real elements (<strong>in</strong><br />

our case <strong>of</strong> transformations). Furthermore, we shall consider those b<strong>in</strong>ary<br />

operations on arbitrary sets which possess the basic properties <strong>of</strong> the b<strong>in</strong>ary<br />

operation <strong>in</strong> a group <strong>of</strong> transformations. Thus any b<strong>in</strong>ary operation<br />

will be called a multiplication; if to the pair there corresponds the<br />

element we call the product <strong>of</strong> <strong>and</strong> <strong>and</strong> we write In some<br />

special cases the b<strong>in</strong>ary operation will be called differently, for example,<br />

composition, addition, etc..<br />

DEFINITION. A set G <strong>of</strong> elements <strong>of</strong> an arbitrary nature, on which<br />

one can def<strong>in</strong>e a b<strong>in</strong>ary operation such that the follow<strong>in</strong>g conditions are<br />

satisfied, is called a group:<br />

1) associativity : for any elements <strong>and</strong> <strong>of</strong> G;<br />

2) <strong>in</strong> G there is an element such that for every element<br />

<strong>of</strong> G; such element is called the unit (or neutral element) <strong>of</strong> group G;<br />

3) for every element <strong>of</strong> G there is <strong>in</strong> G an element such that<br />

such an element is called the <strong>in</strong>verse <strong>of</strong> element<br />

From the results <strong>of</strong> Problems 12–14 we see that any group <strong>of</strong> transformations<br />

is a group (<strong>in</strong> some sense the converse statement is also true<br />

(see 55)). In this way we have already seen a lot <strong>of</strong> examples <strong>of</strong> groups.<br />

All these groups conta<strong>in</strong> a f<strong>in</strong>ite number <strong>of</strong> elements: such groups are<br />

called f<strong>in</strong>ite groups. The number <strong>of</strong> elements <strong>of</strong> a f<strong>in</strong>ite group is called<br />

the order <strong>of</strong> the group. Groups conta<strong>in</strong><strong>in</strong>g an <strong>in</strong>f<strong>in</strong>ite number <strong>of</strong> elements<br />

are called <strong>in</strong>f<strong>in</strong>ite groups.<br />

Let us give some examples <strong>of</strong> <strong>in</strong>f<strong>in</strong>ite groups.<br />

EXAMPLE 7. Consider the set <strong>of</strong> all <strong>in</strong>teger numbers. In this set<br />

we shall take as b<strong>in</strong>ary operation the usual addition. We thus obta<strong>in</strong><br />

a group. Indeed, the role <strong>of</strong> the unit element is played by 0, because<br />

for every <strong>in</strong>teger Moreover, for every there exists<br />

the <strong>in</strong>verse element (which is called <strong>in</strong> this case the opposite element),<br />

because The associativity follows from the<br />

rules <strong>of</strong> arithmetic. The obta<strong>in</strong>ed group is called the group <strong>of</strong> <strong>in</strong>tegers<br />

under addition.<br />

15. Consider the follow<strong>in</strong>g sets: 1) all the real numbers; 2) all the<br />

real numbers without zero. Say whether the sets 1 <strong>and</strong> 2 form a group<br />

under multiplication.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!