Класс колец можно обозначить
![$RNG$ $RNG$](https://dxdy-01.korotkov.co.uk/f/0/d/f/0df47b1d289775e84ff04b8b41ae193682.png)
, класс групп -
![$GRP$ $GRP$](https://dxdy-02.korotkov.co.uk/f/1/7/3/1736547afe48845e9bed0f4b169e8b5c82.png)
, класс коммутативных объектов -
![$COM$ $COM$](https://dxdy-03.korotkov.co.uk/f/2/5/c/25ca1539a65242522f5d108224519a4982.png)
.
Тогда класс абелевых (коммутативных) групп можно обозначить
![$COM.GRP$ $COM.GRP$](https://dxdy-01.korotkov.co.uk/f/4/6/8/468039923875a0382ca1cbdcc477ed6482.png)
, а запись
![$g \in G \in COM.GRP$ $g \in G \in COM.GRP$](https://dxdy-03.korotkov.co.uk/f/a/5/e/a5e9341de4c5c5d1d16fc3cf6afec40582.png)
будет расшифровываться как "
![$g$ $g$](https://dxdy-04.korotkov.co.uk/f/3/c/f/3cf4fbd05970446973fc3d9fa3fe3c4182.png)
является элементом абелевой группы
![$G$ $G$](https://dxdy-02.korotkov.co.uk/f/5/2/0/5201385589993766eea584cd3aa6fa1382.png)
".
В основной идее (перед аббревиатурой множества приписывать аббревиатуру свойства (коммутативность, максимальность), сужающего множество) принципиально нет ничего нового.
Аналогичный подход к обозначениям я встретил в книге С. И. Адяна "Проблема Бернсайда и тождества в группах" (1975 г.):
Прав
![$(\alpha, X)$ $(\alpha, X)$](https://dxdy-01.korotkov.co.uk/f/8/2/5/8251b7a0a721ea5d5d866f0f2be50b9482.png)
- множество всех правильных вхождений ранга
![$\alpha$ $\alpha$](https://dxdy-01.korotkov.co.uk/f/c/7/4/c745b9b57c145ec5577b82542b2df54682.png)
в слово
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
ВпПрав
![$(\alpha - 1, X)$ $(\alpha - 1, X)$](https://dxdy-04.korotkov.co.uk/f/3/e/6/3e6520d0f81ce7e9dfd2926adddb85f182.png)
- множество всех вполне правильных вхождений ранга
![$\alpha - 1$ $\alpha - 1$](https://dxdy-02.korotkov.co.uk/f/9/3/7/937dc4081fbbd8341bb7fbb4f3ee9a4882.png)
в слово
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
Норм
![$(\alpha, Z, r)$ $(\alpha, Z, r)$](https://dxdy-01.korotkov.co.uk/f/c/f/6/cf62d4eccda5467a202f596d6d98e6b982.png)
- множество всех нормированных вхождений элементарных
![$r$ $r$](https://dxdy-01.korotkov.co.uk/f/8/9/f/89f2e0d2d24bcf44db73aab8fc03252c82.png)
-степеней ранга
![$\alpha$ $\alpha$](https://dxdy-01.korotkov.co.uk/f/c/7/4/c745b9b57c145ec5577b82542b2df54682.png)
в слово
![$Z$ $Z$](https://dxdy-02.korotkov.co.uk/f/5/b/5/5b51bd2e6f329245d425b8002d7cf94282.png)
МаксНорм
![$(\alpha, Z, r)$ $(\alpha, Z, r)$](https://dxdy-01.korotkov.co.uk/f/c/f/6/cf62d4eccda5467a202f596d6d98e6b982.png)
- множество всех максимальных нормированных вхождений элементарных
![$r$ $r$](https://dxdy-01.korotkov.co.uk/f/8/9/f/89f2e0d2d24bcf44db73aab8fc03252c82.png)
-степеней ранга
![$\alpha$ $\alpha$](https://dxdy-01.korotkov.co.uk/f/c/7/4/c745b9b57c145ec5577b82542b2df54682.png)
в слово
![$Z$ $Z$](https://dxdy-02.korotkov.co.uk/f/5/b/5/5b51bd2e6f329245d425b8002d7cf94282.png)
Таким образом, предлагающийся мной метод применялся ещё до моего рождения.