# Difference between revisions of "Mersenne number"

From Number

(Created page with '{{one-parameter sequence}} ==Definition== Let <math>n</math> be a natural number. The <math>n^{th}</math> '''Mersenne number''', denoted <math>M_n</math>, is defined as: <math...') |
(→Facts) |
||

(One intermediate revision by the same user not shown) | |||

Line 16: | Line 16: | ||

* [[Sierpinski number]] | * [[Sierpinski number]] | ||

+ | |||

+ | ==Facts== | ||

+ | |||

+ | ===Number theory facts=== | ||

+ | |||

+ | * [[Mersenne number for prime or Poulet implies prime or Poulet]] | ||

+ | * [[Mersenne number is prime implies number is prime]] | ||

+ | |||

+ | ===Facts in other branches of mathematics=== | ||

+ | |||

+ | * [[Groupprops:Order is product of Mersenne prime and one more implies normal Sylow subgroup|Order is product of Mersenne prime and one more implies normal Sylow subgroup (fact about groups)]] | ||

==Testing/listing== | ==Testing/listing== |

## Latest revision as of 18:59, 2 January 2012

This article describes a sequence of natural numbers. The parameter for the sequence is a positive integer (or sometimes, nonnegative integer).

View other one-parameter sequences

## Contents

## Definition

Let be a natural number. The **Mersenne number**, denoted , is defined as:

.

Sometimes the term Mersenne number is restricted to the case where itself is a prime number.

If itself is prime, it is termed a Mersenne prime. If is prime, so is .

## Relation with other properties

### Stronger properties

## Facts

### Number theory facts

- Mersenne number for prime or Poulet implies prime or Poulet
- Mersenne number is prime implies number is prime

### Facts in other branches of mathematics

## Testing/listing

The ID of the sequence in the Online Encyclopedia of Integer Sequences is A000225

The ID of the sequence in the Online Encyclopedia of Integer Sequences is A001348