доказане на група относно странна операция

[Гост]

Тепърва започнах да уча за групи и неми е ясно, на ми е доста интересно като материя, можете ли да ми поогнете, намерих си няколко задачки и се опитвам да ги реша

Да се докаже че множеството на положителните реали числа е група относно операцията
a*b = a^2b^2

Тоест трябва да докажа че ако примерно вземем 2 и 13 то 2*13 = 4 упножено по 169, ако правилно съм разбрал понеже операцията * не съществува.

Предполагам че трябва да започна да се движа по теоремите. за акоциативност, комутативност и така нататък, проблема е че чета учебник в който няма примери а само теория.

Благодаря сърдечно на отзовалите се.