Изучая вопрос вычисления вероятности выбора
элементов в конечной абелевой группе, порождающих всю эту группу (где
- это мощность минимального порождающего множества), мною были найдены статьи, где вычисляется такая вероятность при следующей структуре группы
:
где
простое. Определим
Тогда
(событие
-случайно выбранный набор элементов будет системой образующих группы
).Но далее у меня возник вопрос, как вычислять вероятность этого события, если основания у порядков примарных циклических групп различны, то есть не только
присутствует. Тогда мною была найдена следующая статья:
https://msp.org/involve/2013/6-4/involv ... -p04-s.pdf, в которой рассматриваются некоторые частные случаи, для вычисления вероятности которых присутствуют предположения и гипотезы автора, например:
где
простые, тогда
(В статье, правда, числитель немного отличается от написанного, так как там перемножили скобки
и
, а также
и
).
Как видно отсюда и как замечено в статье формула аналогична предыдущей, но для случая случая, когда
, где
простые, не совсем понятно, откуда появляется скобка
и как она связана с множителем
:
Мне казалось, что раз в статье указано, что
- это мощность минимального порождающего множества (а в данном случае она равна 3), то у
разве не должна быть степень