Groups

Groups, Rings, Domains, Modules, etc, Galois theory
Post Reply
kotsos24919
Posts: 10
Joined: Mon May 30, 2016 9:19 pm

Groups

#1

Post by kotsos24919 »

In $\mathbb{Z}$ we define $a*b=a$ . Prove that $(\mathbb{Z},*)$ isn't a group using the definition.
User avatar
Grigorios Kostakos
Founder
Founder
Posts: 461
Joined: Mon Nov 09, 2015 1:36 am
Location: Ioannina, Greece

Re: Groups

#2

Post by Grigorios Kostakos »

Assume that exists a zero element, say $e$. Then for every $a\in\mathbb{Z}$ must hold $a\ast e=a=e\ast a$. So, if we choose an element $b\neq e$ the same must hold, i.e. $b\ast e=b=e\ast b$. But then, by definition, must hold $b=b=e$. Contradiction. So, the operation $\ast$ does not define a group's structure on $\mathbb{Z}$.

P.S. By this specific operation, in any set with more than one elements we can not have a group's structure. It can be proved using the same argument.
Grigorios Kostakos
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 9 guests