Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I can't understand the notation $\mathbb{Z}_{q}^{n} \times \mathbb{T}$ as defined below. As far as I know $\mathbb{Z_{q}}$ comprises all integers modulo $q$. But with $n$ as a power symbol I can't understand it. Also: $\mathbb{R/Z}$, what does it denote?

"... $ \mathbb{T} = \mathbb{R}/\mathbb{Z} $ the additive group on reals modulo one. Denote by $ A_{s,\phi} $ the distribution on $ \mathbb{Z}^n_q \times \mathbb{T}$ ..."

share|improve this question

migrated from crypto.stackexchange.com Jun 28 '12 at 8:55

This question came from our site for software developers, mathematicians and others interested in cryptography.

2 Answers 2

up vote 5 down vote accepted
  • $\mathbb{Z}_q^n$ means the vector space of lenght $n$ over $\mathbb{Z}_q$
  • $\times$ is for cartesian product
  • $\mathbb{R}/\mathbb{Z}$ means the set $\mathbb{R}$ modulus the set $\mathbb{Z}$ so in this specific case it means the set $\{ x | x \in \mathbb{R}\wedge 0\leq x < 1\}$
share|improve this answer
4  
Technically, $\mathbb R / \mathbb Z$ is the set of equivalence classes of the form $[x] = x + \mathbb Z = \{\dotsc, x-2, x-1, x, x+1, x+2, \dotsc\}$ for all $x \in \mathbb R$. But it's true that identifying each equivalence class with its smallest positive (or non-negative) representative is a commonly adopted convention, since it makes formulas look a lot nicer. –  Ilmari Karonen Jun 27 '12 at 14:32
    
Modulo $\Bbb Z$... –  anon Jun 27 '12 at 15:59
5  
To add a little more technical trivia to Ilmari Karonen's comment, $\mathbb Z_q$ is not a field unless $q$ is a prime, and so $\mathbb Z_q^n$ would in general be called a module and not a vector space. However, regardless of whether it is a vector space or a module, $\mathbb Z_q^n$ consists of the $q^n$ $n$-tuples with elements from $\mathbb Z_q$. –  Dilip Sarwate Jun 27 '12 at 16:32

You write "afaik $\mathbb Z_q$ comprises..." You have to be careful here what is meant by this notation. There are two common options:

1) $\mathbb Z_q$ is the ring of integers module $q$. Many people think this should be better written as $\mathbb Z/q$, to avoid confusion wth 2). However it is not uncommon to write $\mathbb Z_q$.

2) The ring of $q$-adic integers, i.e. formal powerseries in $q$ with coefficients in $\mathbb Z\cap [0,q-1]$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.