Explore BrainMass
Share

# Group Theory: Formation of a Group under an Associative Product

This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

Question: Let G be a nonempty set closed under an associative product, which in addition satisfies:
(a) There exists an e in G such that e.a = a for all a in G.
(b) Given a in G, there exists an element y(a) in G such that y(a).a = e.
Then G is a group under this product.

https://brainmass.com/math/group-theory/formation-group-under-associative-product-57932

#### Solution Preview

The solution is present in the attached file.

Thanks for using BrainMass.

Let be a nonempty set closed under an associative product, which in addition satisfies:
(a) There exists an such that for all
(b) Given , there exists an element such that .
Prove that must be a group under this product.

Solution: Let be a nonempty set closed under an associative product, which in addition satisfies:
(a) There exists an such that for all
(b) Given , there exists an element such that .

Since is closed under an associative product,
Closure Property holds in
and associative law also holds in .

Let be any ...

#### Solution Summary

This solution provides a response which shows the formation of a group under an associative product. The solution is detailed, well presented and has been completed in a Word document file which is attached.

\$2.19